Helpers
Namespace: DependentTypes
Inline helper functions for dependent types.
Functions and values
| Function or value | Description |
convertTo(x)
Signature: x:^S -> ^T
Type parameters: ^S, ^T |
Create instance of compatible dependent type from 'T2 (base type) element value. |
extract(x)
Signature: x:^S -> ^T
Type parameters: ^S, ^T |
Retrieves 'T2 (base type) element value. |
flatten(x)
Signature: x:^S -> ^U
Type parameters: ^S, ^T', ^U |
Flatten a type with Value which in turn has Value |
forceValue(x)
Signature: x:^S -> ^T
Type parameters: ^S, ^T |
DEPRECATED, use SomeDependentType. Retrieves the 'T2 (base type) element value from a DependentType when 'T2 is option. |
isSome(x)
Signature: x:^S -> bool
Type parameters: ^S, ^T |
DEPRECATED, use SomeDependentType. Queries the 'T2 (base type) element for IsSome from a DependentType when 'T2 is option. |
mkDependentType(x)
Signature: x:^S -> ^T
Type parameters: ^S, ^T |
Create instance of dependent type. |
someValue(x)
Signature: x:^S option -> ^T
Type parameters: ^S, ^T |
DEPRECATED, use SomeDependentType. Retrieves the 'T2 (base type) element value from a DependentType option. |
