N.SourceGenerators.UnionTypes 0.23.0-rc.35

This is a prerelease version of N.SourceGenerators.UnionTypes.
There is a newer version of this package available.
See the version list below for details.
dotnet add package N.SourceGenerators.UnionTypes --version 0.23.0-rc.35                
NuGet\Install-Package N.SourceGenerators.UnionTypes -Version 0.23.0-rc.35                
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="N.SourceGenerators.UnionTypes" Version="0.23.0-rc.35" />                
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add N.SourceGenerators.UnionTypes --version 0.23.0-rc.35                
#r "nuget: N.SourceGenerators.UnionTypes, 0.23.0-rc.35"                
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package.
// Install N.SourceGenerators.UnionTypes as a Cake Addin
#addin nuget:?package=N.SourceGenerators.UnionTypes&version=0.23.0-rc.35&prerelease

// Install N.SourceGenerators.UnionTypes as a Cake Tool
#tool nuget:?package=N.SourceGenerators.UnionTypes&version=0.23.0-rc.35&prerelease                

N.SourceGenerators.UnionTypes

Discriminated union type source generator

Motivation

C# doesn't support discriminated unions yet. This source generator helps automate writing union types with set of helper methods.

Getting Started

Add package reference to N.SourceGenerators.UnionTypes

dotnet add package N.SourceGenerators.UnionTypes

Create a partial class or struct that will be used as a union type

public partial class FooResult
{
}

Add types you want to use in a discriminated union

public record Success(int Value);
public record ValidationError(string Message);
public record NotFoundError;

public partial class FooResult
{
}

Add N.SourceGenerators.UnionTypes.UnionTypeAttribute to a union type.

using N.SourceGenerators.UnionTypes;

public record Success(int Value);
public record ValidationError(string Message);
public record NotFoundError;

[UnionType(typeof(Success))]
[UnionType(typeof(ValidationError))]
[UnionType(typeof(NotFoundError))]
public partial class FooResult
{
}

Or you can use generic type.

[GenericUnionType]
public partial class OperationDataResult<TResult, TError>
{
}

// extend generic type union with additional Int32 type
[UnionType(typeof(int))]
public partial class ExtendedOperationDataResult<TResult, TError>
{
}

Examples

All examples can be found in examples project

Basic

Implicit conversion

public FooResult ImplicitReturn()
{
    // you can return any union type variation without creating FooResult
    return new NotFoundError();
}

Explicit conversion

public ValidationError ExplicitCast(FooResult result)
{
    return (ValidationError)result;
}

Checking value type

public void ValueTypeProperty()
{
    FooResult foo = GetFoo();
    Type valueType = foo.ValueType; // returns typeof(NotFoundError)

    static FooResult GetFoo()
    {
        return new NotFoundError();
    }
}

TryGet method is used to check if union contains a specific type

public void TryGetValue()
{
    FooResult foo = GetFoo();
    if (foo.TryGetNotFoundError(out var notFoundError))
    {
        // make something with notFoundError
    }

    static FooResult GetFoo()
    {
        return new NotFoundError();
    }
}

Alias for each variant is generated based on type name. Use alias parameter to override it.

[UnionType(typeof(int))]
[UnionType(typeof(string))]
// default alias is 'ArrayOfTupleOfIntAndString' but it is overriden by alias parameter
[UnionType(typeof(Tuple<int,string>[]), alias: "Items")]
public partial class AliasResult
{
}

Union to union converter

When one union type's variants is subset of another union type's variants use one of the following attributes to convert one type to another: UnionConverterTo, UnionConverterFrom, or UnionConverter.

[UnionConverterFrom(typeof(DataAccessResult))] // use this attribute
public partial class BusinessLogicResult
{
}

[UnionConverterTo(typeof(BusinessLogicResult))] // OR this
public partial class DataAccessResult
{
}

[UnionConverter(typeof(DataAccessResult), typeof(BusinessLogicResult))] // OR this
public static partial class Converters
{
}

public class Repository
{
    public DataAccessResult UpdateItem()
    {
        return new NotFoundError();
    }
}

public class Service
{
    private readonly Repository _repository;

    public BusinessLogicResult Update()
    {
        var isValid = IsValid();
        if (!isValid)
        {
            return new ValidationError("the item is not valid");
        }

        var repositoryResult = _repository.UpdateItem();
        // implicit conversion DataAccessResult to BusinessLogicResult when `UnionConverterTo` or `UnionConverterFrom` attribute is used
        return repositoryResult;
        // OR extension method when UnionConverter attribute is used
        return repositoryResult.Convert();
    }

    private bool IsValid() => throw new NotImplementedException();
}

Handle all variants

Match and MatchAsync methods are used to convert union type to another type. These methods force you to handle all possible variations.

public IActionResult MatchMethod(FooResult result)
{
    return result.Match<IActionResult>(
        success => new OkResult(),
        validationError => new BadRequestResult(),
        notFoundError => new NotFoundResult()
    );
}

public async Task<IActionResult> MatchAsyncMethod(FooResult result, CancellationToken cancellationToken)
{
    return await result.MatchAsync<IActionResult>(
        static async (success, ct) =>
        {
            await SomeWork(success, ct);
            return new OkResult();
        }, static async (validationError, ct) =>
        {
            await SomeWork(validationError, ct);
            return new BadRequestResult();
        }, static async (notFoundError, ct) =>
        {
            await SomeWork(notFoundError, ct);
            return new NotFoundResult();
        }, cancellationToken);

    static Task SomeWork<T>(T value, CancellationToken ct)
    {
        return Task.Delay(100, ct);
    }
}

Switch and SwitchAsync methods are used to execute some work based on inner type

 public void SwitchMethod(FooResult result)
{
    result.Switch(
        success => SomeWork(success),
        validationError => SomeWork(validationError),
        notFoundError => SomeWork(notFoundError)
    );

    static void SomeWork<T>(T value)
    {
        throw new NotImplementedException();
    }
}

public async Task SwitchAsyncMethod(FooResult result, CancellationToken cancellationToken)
{
    await result.SwitchAsync(
        static async (success, ct) =>
        {
            await SomeWork(success, ct);
        }, static async (validationError, ct) =>
        {
            await SomeWork(validationError, ct);
        }, static async (notFoundError, ct) =>
        {
            await SomeWork(notFoundError, ct);
        }, cancellationToken);

    static Task SomeWork<T>(T value, CancellationToken ct)
    {
        return Task.Delay(100, ct);
    }
}
There are no supported framework assets in this package.

Learn more about Target Frameworks and .NET Standard.

  • .NETStandard 2.0

    • No dependencies.

NuGet packages (1)

Showing the top 1 NuGet packages that depend on N.SourceGenerators.UnionTypes:

Package Downloads
Zomp.SyncMethodGenerator

Generates synchronized method from async method

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
0.28.0 2,570 5/2/2024
0.28.0-rc.61 20 5/2/2024
0.28.0-rc.60 17 5/2/2024
0.27.0 1,484 3/19/2024
0.27.0-rc.58 52 3/19/2024
0.27.0-rc.57 72 3/13/2024
0.26.0 28,502 10/26/2023
0.26.0-rc.55 64 11/16/2023
0.26.0-rc.53 71 10/30/2023
0.26.0-rc.52 70 10/30/2023
0.26.0-rc.51 74 10/30/2023
0.26.0-rc.50 64 10/30/2023
0.26.0-rc.48 71 10/26/2023
0.25.3 360 10/18/2023
0.25.3-rc.41 73 10/18/2023
0.25.1-rc.40 327 10/17/2023
0.25.0-rc.39 85 10/17/2023
0.24.0 1,017 10/17/2023
0.24.0-rc.37 119 10/16/2023
0.23.0 705 10/3/2023
0.23.0-rc.35 296 10/2/2023
0.22.0 312 10/2/2023
0.22.0-rc.33 72 10/2/2023
0.21.0 275 10/2/2023
0.21.0-rc.31 72 10/2/2023
0.21.0-rc.30 81 9/28/2023
0.20.0-rc.29 903 9/6/2023
0.20.0-rc.28 55 9/6/2023
0.19.0 665 8/3/2023
0.18.0 516 2/5/2023
0.17.0 355 2/2/2023
0.16.0 325 1/30/2023
0.15.0 340 1/29/2023
0.14.0 335 1/21/2023
0.13.0 351 1/20/2023
0.12.0 383 1/20/2023
0.11.0 357 1/18/2023
0.10.0 356 1/18/2023
0.9.0 353 1/17/2023
0.8.0 345 1/17/2023
0.7.0 329 1/17/2023
0.6.0 328 1/15/2023
0.5.1 355 1/15/2023
0.5.0 376 1/15/2023
0.4.0 383 1/15/2023
0.3.0 403 1/15/2023
0.2.0 390 1/15/2023
0.1.0 435 1/15/2023