DependentType<'Pi, 'Config, 'T, 'T2>

Namespace: DependentTypes

'T -> 'T2 dependent type

Union Case	Description
`DependentType('T2)` Signature: 'T2

Instance member Description

Instance member	Description
`x.Value` Signature: 'T2	'T2 (base type) element value. CompiledName: `get_Value`


            x.Value

Signature: 'T2

'T2 (base type) element value.

CompiledName: get_Value

Static member	Description
`DependentType.ConvertTo(x)` Signature: x:DependentType<'x,'y,'q,^r> -> DependentType<'a,'b,^r,'s> Type parameters: 'a, 'b, 's	Create compatible dependent type from 'T2 (base type) element value.
`DependentType.Create(x)` Signature: x:'T -> DependentType<'Pi,'Config,'T,'T2>	Create instance of dependent type.
`DependentType.Extract(x)` Signature: x:DependentType<'Pi,'Config,'T,'T2> -> 'T2	Retrieve 'T2 (base type) element value.
`DependentType.TryCreate(x)` Signature: x:Option<'T> -> DependentType<'Pi,'Config,'T,'T2> option	Create instance of DependentType option. If the 'T2 (base type) is option, lifts Some/None of base type element to DependentType option.
`DependentType.TryCreate(x)` Signature: x:'T -> DependentType<'Pi,'Config,'T,'T2> option	Create instance of DependentType option. If the 'T2 (base type) is option, lifts Some/None of base type element to DependentType option.