|
-
arg0
:
ChoiceT<^Monad'U),'E>>>
-
arg1
:
ChoiceT<^Monad>>
-
Returns:
ChoiceT<^Monad>>
|
|
-
f
:
'T -> ChoiceT<^Monad>>
-
arg1
:
ChoiceT<^Monad>>
-
Returns:
ChoiceT<^Monad>>
|
|
Transform a Choice<'T,'TError> to a ChoiceT<'Monad>>
-
x
:
Choice<'T, 'TError>
-
Returns:
ChoiceT<^Monad>>
|
|
Embed a Monad<'T> into a ChoiceT<'Monad>>
-
x
:
^Monad<'T>
-
Returns:
ChoiceT<^Monad>>
|
|
-
f
:
'T -> 'U
-
arg1
:
ChoiceT<^Monad>>
-
Returns:
ChoiceT<^Monad'U),'E>>>
|
|
-
f
:
'T -> 'U -> 'V
-
arg1
:
ChoiceT<^Monad>>
-
arg2
:
ChoiceT<^Monad>>
-
Returns:
ChoiceT<^Monad>>
|
|
-
arg0
:
ChoiceT<'Monad>>
-
Returns:
'Monad>
|