|
-
f
:
'T -> ^Monad
-
xs
:
'T list
-
Returns:
^Monad>
|
|
-
f
:
'T -> 'U -> ^Monad<'T>
-
a
:
'T
-
bx
:
'U list
-
Returns:
^Monad<'T>
|
|
-
count
:
int
-
initial
:
^Applicative<'T>
-
Returns:
^e
|
|
Evaluates each action in the list from left to right and collect the results.
-
ms
:
^Applicative<'T> list
-
Returns:
^Applicative>
|
|
Maps each element of the list to an action, evaluates these actions from left to right and collect the results.
-
f
:
'T -> ^Applicative<'U>
-
xs
:
'T list
-
Returns:
^Applicative>
|