ExhaustiveMatching.Analyzer
0.5.0
dotnet add package ExhaustiveMatching.Analyzer --version 0.5.0
NuGet\Install-Package ExhaustiveMatching.Analyzer -Version 0.5.0
<PackageReference Include="ExhaustiveMatching.Analyzer" Version="0.5.0" />
paket add ExhaustiveMatching.Analyzer --version 0.5.0
#r "nuget: ExhaustiveMatching.Analyzer, 0.5.0"
// Install ExhaustiveMatching.Analyzer as a Cake Addin
#addin nuget:?package=ExhaustiveMatching.Analyzer&version=0.5.0
// Install ExhaustiveMatching.Analyzer as a Cake Tool
#tool nuget:?package=ExhaustiveMatching.Analyzer&version=0.5.0
ExhaustiveMatching.Analyzer
ExhaustiveMatching.Analyzer
adds exhaustive matching to C# switch statements
and expressions.
Get compiler errors for missing cases in a switch statement or expression.
Mark which switches should have exhaustiveness checking by throwing an exception
in the default case. Exhaustiveness checking works not just for enums, but for
classes and interfaces. Turn them into discriminated unions (aka sum
types) by marking them with the
Closed
attribute and listing the cases. ExhaustiveMatching.Analyzer
goes
beyond what other languages support by handling full inheritance hierarchies.
Full documentation on the GitHub Project.
Quickstart Guide
Mark a switch statement or expression as exhaustive and get errors for missing cases.
using ExhaustiveMatching;
public enum CoinFlip { Heads, Tails }
// ERROR Enum value not handled by switch: Tails
switch (coinFlip)
{
default:
throw ExhaustiveMatch.Failed(coinFlip);
case CoinFlip.Heads:
Console.WriteLine("Heads!");
break;
}
// ERROR Enum value not handled by switch: Tails
_ = coinFlip switch
{
CoinFlip.Heads => "Heads!",
_ => throw ExhaustiveMatch.Failed(coinFlip),
};
Create discriminated unions (aka sum types) and get errors for missing switch cases.
[Closed(typeof(IPv4Address), typeof(IPv6Address))]
public abstract class IPAddress { … }
public class IPv4Address : IPAddress { … }
public class IPv6Address : IPAddress { … }
// ERROR Subtype not handled by switch: IPv6Address
switch (ipAddress)
{
default:
throw ExhaustiveMatch.Failed(ipAddress);
case IPv4Address ipv4Address:
return ipv4Address.MapToIPv6();
}
Product | Versions |
---|---|
.NET | net5.0 net5.0-windows net6.0 net6.0-android net6.0-ios net6.0-maccatalyst net6.0-macos net6.0-tvos net6.0-windows net7.0 net7.0-android net7.0-ios net7.0-maccatalyst net7.0-macos net7.0-tvos net7.0-windows |
.NET Core | netcoreapp2.0 netcoreapp2.1 netcoreapp2.2 netcoreapp3.0 netcoreapp3.1 |
.NET Standard | netstandard2.0 netstandard2.1 |
.NET Framework | net461 net462 net463 net47 net471 net472 net48 |
MonoAndroid | monoandroid |
MonoMac | monomac |
MonoTouch | monotouch |
Tizen | tizen40 tizen60 |
Xamarin.iOS | xamarinios |
Xamarin.Mac | xamarinmac |
Xamarin.TVOS | xamarintvos |
Xamarin.WatchOS | xamarinwatchos |
This package has no dependencies.
NuGet packages (3)
Showing the top 3 NuGet packages that depend on ExhaustiveMatching.Analyzer:
Package | Downloads |
---|---|
PromQL.Parser
A parser for the Prometheus Query Language (PromQL). |
|
Divis.DarkMusicConcepts
A code model for western music concepts. |
|
LanguageExt.Effects.Database
This library adds Database effect to the LanguageExt library. |
GitHub repositories
This package is not used by any popular GitHub repositories.