Summary
A Discriminated union for 2 types.
- Namespace
- FunctionalSharp
.DiscriminatedUnions - Base Types
-
- object
- DiscriminatedUnion
<Type1, Type2>
graph TD
Base0["DiscriminatedUnion<Type1, Type2>"]-->Type
Base1["object"]-->Base0
Type["DiscriminatedUnionWithBase<Type1, Type2, BaseType>"]
class Type type-node
Syntax
[Serializable]
public class DiscriminatedUnionWithBase<Type1, Type2, BaseType> : DiscriminatedUnion<Type1, Type2>
where Type1 : BaseType where Type2 : BaseType
Attributes
Type | Description |
---|---|
Serializable |
Type Parameters
Name | Description |
---|---|
Type1 | Type1 |
Type2 | Type2 |
BaseType |
Constructors
Name | Summary |
---|---|
Discriminated |
Creates a new Discriminated union of with Type1 |
Discriminated |
Creates a new Discriminated union of with Type2 |
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
|