DiscriminatedUnion.CS 0.0.7-alpha

Discriminated Union

A library that provides functionality to define a Discriminated Union in C#.

Define some types

public class Success<T>
{
    public Success(T value)
    {
        Value = value;
    }

    public T Value { get; }

    public void A<V>() { }

    public static void B<V>() { }
}

public class Error
{
    public Error(string message)
    {
        Message = message;
    }

    public string Message { get; init; }
}

Define union type

Union type must be an abstract, partial class marked with [GeneratedDiscriminatedUnion] attribute.

Every implementation of IDiscriminator<T> defines a discriminator inside the union type.

Where T is the type that constraints a discriminator.

[GeneratedDiscriminatedUnion]
public abstract partial class Result<T> : IDiscriminator<Success<T>>, IDiscriminator<Error> { }

Use the union type

public class Program
{
    public static void Main(string[] args)
    {
        var result = GetRoot(-1);
        var outputMessage = result switch
        {
            Result<double>.Success s => s.Value.ToString(CultureInfo.InvariantCulture),
            Result<double>.Error e => e.Message,
        };

        Console.WriteLine(outputMessage);
    }

    public static Result<double> GetRoot(double value)
    {
        return value switch
        {
            < 0 => new Error("Value cannot be less than zero"),
            _ => new Success<double>(Math.Sqrt(value)),
        };
    }
}

Custom named discriminators

To set custom names to discriminator a naming types are used.

Put a type you want to infer name from as a second generic argument.

[GeneratedDiscriminatedUnion]
public abstract partial class B : IDiscriminator<int>, IDiscriminator<int, OtherInt32> { }

If a type does not exist, it must not have any qualification (ex: wrong - A.B, right - B). If non exising type is specified correctly, a dummy class would be generated.

internal sealed class OtherInt32
{
    private OtherInt32()
    {
    }
}

Limitations

• Discriminators of same type does not have a WrappedType -> UnionType converter.