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
|
