Generic monadic operators
Function or value | Description |
Full Usage:
applyM builder1 builder2 f m
Parameters:
^M1
builder2 : ^M2
f : 'c
m : 'g
Returns: 'f
Modifiers: inline Type parameters: ^M1, 'c, 'd, 'e, 'f, ^M2, 'g |
|
Full Usage:
bindM builder m f
Parameters:
^M
m : 'd
f : 'e -> 'c
Returns: 'c
Modifiers: inline Type parameters: ^M, 'd, 'e, 'c |
|
Full Usage:
liftM builder f m
Parameters:
^c
f : 'g -> 'd
m : 'f
Returns: 'e
Modifiers: inline Type parameters: ^c, 'd, 'e, 'f, 'g |
|
Full Usage:
returnM builder x
Parameters:
^M
x : 'b
Returns: 'c
Modifiers: inline Type parameters: ^M, 'b, 'c |