|
-
arg0
:
ResultT<^Monad'U),'E>>>
-
arg1
:
ResultT<^Monad>>
-
Returns:
ResultT<^Monad>>
|
|
-
f
:
'T -> ResultT<^Monad>>
-
arg1
:
ResultT<^Monad>>
-
Returns:
ResultT<^Monad>>
|
|
Transform a Result<'T,'Error> to a ResultT<'Monad>>
-
x
:
Result<'T, 'TError>
-
Returns:
ResultT<^Monad>>
|
|
Embed a Monad<'T> into a ResultT<'Monad>>
-
x
:
^Monad<'T>
-
Returns:
ResultT<^Monad>>
|
|
-
f
:
'T -> 'U
-
arg1
:
ResultT<^Monad>>
-
Returns:
ResultT<^Monad'U),'E>>>
|
|
-
f
:
'T -> 'U -> 'V
-
arg1
:
ResultT<^Monad>>
-
arg2
:
ResultT<^Monad>>
-
Returns:
ResultT<^Monad>>
|
|
-
f
:
'T -> 'U -> 'V -> 'W
-
arg1
:
ResultT<^Monad>>
-
arg2
:
ResultT<^Monad>>
-
arg3
:
ResultT<^Monad>>
-
Returns:
ResultT<^Monad>>
|
|
-
arg0
:
ResultT<'Monad>>
-
Returns:
'Monad>
|