|
-
arg0
:
ListT<^Monad'U)>>
-
arg1
:
ListT<^Monad>
-
Returns:
ListT<^Monad>
|
|
-
f
:
'T -> ListT<^Monad>
-
arg1
:
ListT<^Monad>
-
Returns:
ListT<^c>
|
|
Embed a Monad<'T> into a ListT<'Monad>>
-
x
:
^Monad<'T>
-
Returns:
ListT<^Monad>>
|
|
-
f
:
'T -> 'U -> 'V
-
arg1
:
ListT<^Monad>
-
arg2
:
ListT<^Monad>
-
Returns:
ListT<^Monad>
|
|
-
f
:
'T -> 'U -> 'V -> 'W
-
arg1
:
ListT<^Monad>
-
arg2
:
ListT<^Monad>
-
arg3
:
ListT<^Monad>
-
Returns:
ListT<^Monad>
|
|
-
f
:
'T -> 'U
-
arg1
:
ListT<^Monad>
-
Returns:
ListT<^Monad>
|
|
-
arg0
:
ListT<'Monad>>
-
Returns:
'Monad>
|