DiscriminatedUnion<Type1, Type2, Type3, Type4, Type5, Type6, Type7, Type8, Type9> Class

Summary

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

Syntax

[Serializable]
public class DiscriminatedUnion<Type1, Type2, Type3, Type4, Type5, Type6, Type7, Type8, Type9>

Attributes

Type Description
SerializableAttribute

Type Parameters

Name Description
Type1 Type1
Type2 Type2
Type3 Type3
Type4 Type4
Type5 Type5
Type6 Type6
Type7 Type7
Type8 Type8
Type9 Type9

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
DiscriminatedUnion(Type5) Creates a new Discriminated union of with Type5
DiscriminatedUnion(Type6) Creates a new Discriminated union of with Type6
DiscriminatedUnion(Type7) Creates a new Discriminated union of with Type7
DiscriminatedUnion(Type8) Creates a new Discriminated union of with Type8
DiscriminatedUnion(Type9) Creates a new Discriminated union of with Type9

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.
Item5
The storage for type5.
Item6
The storage for type6.
Item7
The storage for type7.
Item8
The storage for type8.
Item9
The storage for type9.
tag
The tag indicating what item is actually stored.

Methods

Name Value Summary
Match(Action<Type1>, Action<Type2>, Action<Type3>, Action<Type4>, Action<Type5>, Action<Type6>, Action<Type7>, Action<Type8>, Action<Type9>) void
Runs Actions for the matched types.
Match<ReturnType>(Func<Type1, ReturnType>, Func<Type2, ReturnType>, Func<Type3, ReturnType>, Func<Type4, ReturnType>, Func<Type5, ReturnType>, Func<Type6, ReturnType>, Func<Type7, ReturnType>, Func<Type8, ReturnType>, Func<Type9, 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, Type5, Type6, Type7, Type8, Type9>>() 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, Type5, Type6, Type7, Type8, Type9>>() IOption<T>
Turns the type T into an option type.