|
Sequence actions, discarding the value of the first argument.
-
x
:
Async<'a>
-
y
:
Async<'b>
-
Returns:
Async<'b>
|
|
Sequence actions, discarding the value of the second argument.
-
x
:
Async<'a>
-
y
:
Async<'b>
-
Returns:
Async<'a>
|
|
Infix map
-
f
:
'a -> 'b
-
m
:
Async<'a>
-
Returns:
Async<'b>
|
|
Sequential application
-
f
:
Async<('a -> 'b)>
-
m
:
Async<'a>
-
Returns:
Async<'b>
|
|
Right-to-left Kleisli composition
-
x
:
'a -> Async<'b>
-
Returns:
('c -> Async<'a>) -> 'c -> Async<'b>
|
|
Flipped >>=
-
f
:
'a -> Async<'b>
-
m
:
Async<'a>
-
Returns:
Async<'b>
|
|
Left-to-right Kleisli composition
-
f
:
'a -> Async<'b>
-
g
:
'b -> Async<'c>
-
x
:
'a
-
Returns:
Async<'c>
|
|
Sequentially compose two async actions, discarding any value produced by the first
-
m
:
Async<'a>
-
f
:
Async<'b>
-
Returns:
Async<'b>
|
|
Sequentially compose two actions, passing any value produced by the first as an argument to the second.
-
m
:
Async<'a>
-
f
:
'a -> Async<'b>
-
Returns:
Async<'b>
|
|
Sequential application
-
m
:
Async<'a>
-
f
:
Async<('a -> 'b)>
-
Returns:
Async<'b>
|
|
Sequentially compose two actions, passing any value produced by the second as an argument to the first.
-
f
:
'c -> Async<'d>
-
m
:
Async<'c>
-
Returns:
Async<'d>
|
|
-
f
:
'a -> 'b -> Async<'a>
-
s
:
'a
-
Returns:
'b seq -> Async<'a>
|
|
Promote a function to a monad/applicative, scanning the monadic/applicative arguments from left to right.
-
f
:
'd -> 'e -> 'f
-
x
:
Async<'d>
-
y
:
Async<'e>
-
Returns:
Async<'f>
|
|
Transforms an async value by using a specified mapping function.
-
f
:
'c -> 'd
-
m
:
Async<'c>
-
Returns:
Async<'d>
|
|
-
f
:
'a -> Async<'b>
-
x
:
'a list
-
Returns:
Async<'b list>
|
|
Flipped map
-
m
:
Async<'a>
-
f
:
'a -> 'b
-
Returns:
Async<'b>
|
|
-
x
:
Async<'a>
-
y
:
Async<'b>
-
f
:
'a -> 'b -> 'c
-
Returns:
Async<'c>
|
|
-
x
:
Async<'a>
-
y
:
Async<'b>
-
z
:
Async<'c>
-
f
:
'a -> 'b -> 'c -> 'd
-
Returns:
Async<'d>
|
|
Inject a value into the async type
-
x
:
'a
-
Returns:
Async<'a>
|
|
-
s
:
Async<'a> list
-
Returns:
Async<'a list>
|