FallibleOption
Namespace: Legivel
Parent Module: Common
Attributes:
[<CompilationRepresentation(4)>]
Functions and values
| Function or value | Description |
bind f (arg2, arg3)
Signature: f:('a -> FallibleOption<'b> * 'c) -> (FallibleOption<'a> * 'c) -> FallibleOption<'b> * 'c
Type parameters: 'a, 'b, 'c |
|
ErrorResult()
Signature: unit -> FallibleOption<'b>
Type parameters: 'b |
|
ifnoresult f (arg2, arg3)
Signature: f:(unit -> FallibleOption<'a> * 'c) -> (FallibleOption<'a> * 'c) -> FallibleOption<'a> * 'c
Type parameters: 'a, 'c |
|
map f (arg2, arg3)
Signature: f:('a -> 'b) -> (FallibleOption<'a> * 'c) -> FallibleOption<'b> * 'c
Type parameters: 'a, 'b, 'c |
|
NoResult()
Signature: unit -> FallibleOption<'b>
Type parameters: 'b |
|
Value(v)
Signature: v:'b -> FallibleOption<'b>
Type parameters: 'b |
|
