Choice
Namespace: XRay
Parent Module: Codec
Attributes:
[<RequireQualifiedAccess>]
Additional operations on Choice
Functions and values
| Function or value | Description |
apply(f x)
Signature: f:Choice<('?8125 -> 'b),'e> -> x:Choice<'?8125,'e> -> Choice<'b,'e>
Type parameters: '?8125, 'b, 'e |
|
bind(f _arg1)
Signature: f:('t -> Choice<'v,'e>) -> _arg1:Choice<'t,'e> -> Choice<'v,'e>
Type parameters: 't, 'v, 'e |
|
catch(f _arg1)
Signature: f:('t -> Choice<'v,'e>) -> _arg1:Choice<'v,'t> -> Choice<'v,'e>
Type parameters: 't, 'v, 'e |
|
either(f g _arg1)
Signature: f:('?8144 -> '?8145) -> g:('?8146 -> '?8145) -> _arg1:Choice<'?8144,'?8146> -> '?8145
Type parameters: '?8144, '?8145, '?8146 |
|
flatten(_arg1)
Signature: _arg1:Choice<Choice<'?8133,'?8134>,'?8134> -> Choice<'?8133,'?8134>
Type parameters: '?8133, '?8134 |
|
map(f _arg1)
Signature: f:('?8129 -> '?8130) -> _arg1:Choice<'?8129,'?8131> -> Choice<'?8130,'?8131>
Type parameters: '?8129, '?8130, '?8131 |
|
orElse(y x)
Signature: y:Choice<'?8148,^?8149> -> x:Choice<'?8148,^?8149> -> Choice<'?8148,^?8149>
Type parameters: '?8148, ^?8149 |
|
result(x)
Signature: x:'?8119 -> Choice<'?8119,'?8120>
Type parameters: '?8119, '?8120 |
|
throw(x)
Signature: x:'?8122 -> Choice<'?8123,'?8122>
Type parameters: '?8122, '?8123 |
|
