SomeDependentType<'Pi, 'Config, 'T, 'T2>
Namespace: DependentTypes
'T -> 'T2 option dependent type
Union Cases
| Union Case | Description |
SomeDependentType('T2)
Signature: 'T2
|
|
Instance members
| Instance member | Description |
x.Value
Signature: 'T2
|
'T2 (base type) element value. CompiledName: |
Static members
| Static member | Description |
SomeDependentType.ConvertTo(x)
Signature: x:SomeDependentType<'x,'y,'q,^r> -> SomeDependentType<'a,'b,^r,'s>
Type parameters: 'a, 'b, 's |
|
SomeDependentType.Create(x)
Signature: x:'T -> SomeDependentType<'Pi,'Config,'T,'T2>
|
Create instance of dependent type. |
SomeDependentType.Extract(x)
Signature: x:SomeDependentType<'Pi,'Config,'T,'T2> -> 'T2
|
|
SomeDependentType.TryCreate(x)
Signature: x:'T -> SomeDependentType<'Pi,'Config,'T,'T2> option
|
Create instance of SomeDependentType option. If the 'T2 (base type) is option, lifts Some/None of base type element to DependentType option. |
