Transforms a maybe value by using the specified mapping function.
Type signature:
<'a,'b,'closure>(||)(('closure)('a) -> 'b, maybe<'a>) -> maybe<'b>| f : ('closure)('a) -> 'b | The mapping function |
| maybeVal : maybe<'a> | The maybe value |
The transformed maybe value.
Returns the value associated with the maybe or crashes the program.
Type signature:
<'a>(||)(maybe<'a>) -> 'a
| maybeVal : maybe<'a> | The maybe value |
The value inside of the maybe.
Returns true if the maybe value is not nothing
Type signature:
<'a>(||)(maybe<'a>) -> bool
| maybeVal : maybe<'a> | The maybe value |
true if the maybe value is not nothing, false otherwise
Returns true if the maybe value is nothing
Type signature:
<'a>(||)(maybe<'a>) -> bool
| maybeVal : maybe<'a> | The maybe value |
true if the maybe value is nothing, false otherwise.
Returns 0 if the maybe value is nothing, 1 otherwise
Type signature:
<'a>(||)(maybe<'a>) -> uint8
| maybeVal : maybe<'a> | The maybe value |
The number of items stored in the count
Evaluates the equivalent of List:foldl for a maybe
Type signature:
<'t,'state,'closure>(||)(('closure)('t, 'state) -> 'state, 'state, maybe<'t>) -> 'state| f : ('closure)('t, 'state) -> 'state | The folding function |
| initState : 'state | The initial state |
| maybeVal : maybe<'t> | The maybe value |
The final state returned by f
Evaluates the equivalent of List:foldr for a maybe
Type signature:
<'t,'state,'closure>(||)(('closure)('t, 'state) -> 'state, 'state, maybe<'t>) -> 'state| f : ('closure)('t, 'state) -> 'state | The folding function |
| initState : 'state | The initial state |
| maybeVal : maybe<'t> | The maybe value |
The final state returned by f
Executes a function for a maybe value
Type signature:
<'a,'closure>(||)(('closure)('a) -> unit, maybe<'a>) -> unit| f : ('closure)('a) -> unit | The function to apply to the value |
| maybeVal : maybe<'a> | The maybe value |
Unit