Summary
A Discriminated union for 10 types.
- Namespace
- FunctionalSharp
.DiscriminatedUnions - Base Types
-
- object
- DiscriminatedUnion
<Type1, Type2, Type3, Type4, Type5, Type6, Type7, Type8, Type9, Type10>
graph TD
Base0["DiscriminatedUnion<Type1, Type2, Type3, Type4, Type5, Type6, Type7, Type8, Type9, Type10>"]-->Type
Base1["object"]-->Base0
Type["DiscriminatedUnionWithBase<Type1, Type2, Type3, Type4, Type5, Type6, Type7, Type8, Type9, Type10, BaseType>"]
class Type type-node
Syntax
[Serializable]
public class DiscriminatedUnionWithBase<Type1, Type2, Type3, Type4, Type5, Type6, Type7, Type8, Type9, Type10, BaseType> :
DiscriminatedUnion<Type1, Type2, Type3, Type4, Type5, Type6, Type7, Type8, Type9, Type10>
where Type1 : BaseType where Type2 : BaseType where Type3 : BaseType where Type4 : BaseType where Type5 : BaseType where Type6 : BaseType where Type7 : BaseType where Type8 : BaseType where Type9 : BaseType where Type10 : BaseType
Attributes
Type | Description |
---|---|
Serializable |
Type Parameters
Name | Description |
---|---|
Type1 | Type1 |
Type2 | Type2 |
Type3 | Type3 |
Type4 | Type4 |
Type5 | Type5 |
Type6 | Type6 |
Type7 | Type7 |
Type8 | Type8 |
Type9 | Type9 |
Type10 | Type10 |
BaseType |
Constructors
Name | Summary |
---|---|
Discriminated |
Creates a new Discriminated union of with Type1 |
Discriminated |
Creates a new Discriminated union of with Type10 |
Discriminated |
Creates a new Discriminated union of with Type2 |
Discriminated |
Creates a new Discriminated union of with Type3 |
Discriminated |
Creates a new Discriminated union of with Type4 |
Discriminated |
Creates a new Discriminated union of with Type5 |
Discriminated |
Creates a new Discriminated union of with Type6 |
Discriminated |
Creates a new Discriminated union of with Type7 |
Discriminated |
Creates a new Discriminated union of with Type8 |
Discriminated |
Creates a new Discriminated union of with Type9 |
Properties
Extension Methods
Name | Value | Summary |
---|---|---|
Match |
Pattern |
Starts a pattern match for a single value. Subsequent calls to With() need to be used to specify conditions
|
ToOption |
IOption |
Turns the type T into an option type.
From OptionExtensions
|