DiscriminatedUnion<Type1, Type2, Type3, Type4> Class

Summary

A Discriminated union for 4 types.
Namespace
FunctionalSharp.DiscriminatedUnions
Base Types
  • object
graph TD Base0["object"]-->Type Type["DiscriminatedUnion<Type1, Type2, Type3, Type4>"] class Type type-node

Syntax

[Serializable]
public class DiscriminatedUnion<Type1, Type2, Type3, Type4>

Attributes

Type Description
SerializableAttribute

Type Parameters

Name Description
Type1 Type1
Type2 Type2
Type3 Type3
Type4 Type4

Constructors

Name Summary
DiscriminatedUnion() Private constructor to support serialization.
DiscriminatedUnion(object) Runs Actions for the matched types.
DiscriminatedUnion(Type1) Creates a new Discriminated union of with Type1
DiscriminatedUnion(Type2) Creates a new Discriminated union of with Type2
DiscriminatedUnion(Type3) Creates a new Discriminated union of with Type3
DiscriminatedUnion(Type4) Creates a new Discriminated union of with Type4

Fields

Name Constant Value Summary
Item1
The storage for type1.
Item2
The storage for type2.
Item3
The storage for type3.
Item4
The storage for type4.
tag
The tag indicating what item is actually stored.

Methods

Name Value Summary
Match(Action<Type1>, Action<Type2>, Action<Type3>, Action<Type4>) void
Runs Actions for the matched types.
Match<ReturnType>(Func<Type1, ReturnType>, Func<Type2, ReturnType>, Func<Type3, ReturnType>, Func<Type4, ReturnType>) ReturnType
Transforms the union into a new type using the given functions for the transformation.

Extension Methods

Name Value Summary
Match<DiscriminatedUnion<Type1, Type2, Type3, Type4>>() PatternMatchSingleContext<T>
Starts a pattern match for a single value. Subsequent calls to With() need to be used to specify conditions
ToOption<DiscriminatedUnion<Type1, Type2, Type3, Type4>>() IOption<T>
Turns the type T into an option type.