|
Sequential application
-
x
:
Choice<'a, 'T>
-
Returns:
Choice<('a -> 'b), 'T> -> Choice<'b, 'T>
|
|
Sequence actions, discarding the value of the second argument.
-
b
:
Choice<'a, 'T>
-
a
:
Choice<'b, 'T>
-
Returns:
Choice<'b, 'T>
|
|
Sequence actions, discarding the value of the first argument.
-
b
:
Choice<'a, 'T>
-
a
:
Choice<'b, 'T>
-
Returns:
Choice<'a, 'T>
|
|
Promote a function to a monad/applicative, scanning the monadic/applicative arguments from left to right.
-
f
:
'a -> 'b -> 'c
-
a
:
Choice<'a, 'T>
-
b
:
Choice<'b, 'T>
-
Returns:
Choice<'c, 'T>
|
|
-
f
:
'a -> Choice<'b, 'T>
-
x
:
'a list
-
Returns:
Choice<'b list, 'T>
|
|
-
f
:
'a -> Choice<'b, 'T>
-
x
:
'a list
-
Returns:
Choice<unit, 'T>
|
|
-
f
:
'a -> Choice<'b, 'T>
-
Returns:
'a seq -> Choice<'b list, 'T>
|
|
-
s
:
Choice<'a, 'T> list
-
Returns:
Choice<'a list, 'T>
|
|
-
s
:
Choice<'a, 'T> list
-
Returns:
Choice<unit, 'T>
|