This library aims to bring discriminated unions to C#.
Discriminated unions (aka. "tagged unions", "disjoint unions", or "coproducts") are data structures which can hold a set of several different types. However, unions are designed to only hold one of the specified data types at any one time. (Read more: https://en.wikipedia.org/wiki/Tagged_union)

F#'s discriminated union:

type IntOrBool = Case0 of int
               | Case1 of bool

Discriminated unions such as the one above do not (yet) exist in C#. This project therefore aims to fill this gap by providing a set of generic union data types:

Union<int, bool> union1 = 315;
Union<int, bool> union2 = false;

if (union1.Is(out int i))
    Console.WriteLine("the union stores the integer value " + i);
else if (union1.Is(out bool b))
    Console.WriteLine("the union stores the boolean value " + b);

Use one of the follwing methods to install and use this library:

• Package Manager:

  PM> Install-Package Unknown6656.DiscriminatedUnions

• .NET CLI:

  > dotnet add package Unknown6656.DiscriminatedUnions

• Package reference (e.g. in a .csproj/.vbproj/.fsproj project file):

  <PackageReference Include="Unknown6656.DiscriminatedUnions" Version="*" />

• Paket CLI:

  > paket add Unknown6656.DiscriminatedUnions

• F# Interactive:

  #r "nuget: Unknown6656.DiscriminatedUnions, *"

To use the discriminated unions, simply include the namespace Unknown6656:

using Unknown6656;

Each union type Union<...> is an abstract record with a private constructor. The union cases are implemented using the sealed records Union<...>.Case*, which inherit from the class in which they are contained. Each Union<...>-type defines the following public symbols:

Each union case overrides the majority of the mentioned symbols and [TODO]. Each case further defines the following symbols:

[TODO]