ExhaustiveMatching.Analyzer 0.5.0

.NET Standard 2.0
dotnet add package ExhaustiveMatching.Analyzer --version 0.5.0
NuGet\Install-Package ExhaustiveMatching.Analyzer -Version 0.5.0
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.
<PackageReference Include="ExhaustiveMatching.Analyzer" Version="0.5.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add ExhaustiveMatching.Analyzer --version 0.5.0
#r "nuget: ExhaustiveMatching.Analyzer, 0.5.0"
#r directive can be used in F# Interactive, C# scripting and .NET Interactive. Copy this into the interactive tool or source code of the script to reference the package.
// 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
Compatible target framework(s)
Additional computed target framework(s)
Learn more about Target Frameworks and .NET Standard.

This package has no dependencies.

NuGet packages (2)

Showing the top 2 NuGet packages that depend on ExhaustiveMatching.Analyzer:

Package Downloads
PromQL.Parser

A parser for the Prometheus Query Language (PromQL).

LanguageExt.Effects.Database

This library adds Database effect to the LanguageExt library.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
0.5.0 154,982 5/26/2020
0.4.0 10,226 11/4/2019
0.3.2 399 11/2/2019
0.3.1 389 9/30/2019
0.3.0 456 9/29/2019
0.2.2 400 9/18/2019
0.2.1 406 9/17/2019
0.2.0 382 9/15/2019
0.1.2 388 9/15/2019
0.1.1 391 9/15/2019
0.1.0 451 9/15/2019