( *> ) x y
Signature: x:Async<'?12578> > y:Async<'?12579> > Async<'?12579>
Type parameters: '?12578, '?12579

Sequence actions, discarding the value of the first argument.
CompiledName: op_MultiplyGreater

( <!> ) f m
Signature: f:('?12575 > '?12576) > m:Async<'?12575> > Async<'?12576>
Type parameters: '?12575, '?12576

Infix map
CompiledName: op_LessBangGreater

( <* ) x y
Signature: x:Async<'?12581> > y:Async<'?12582> > Async<'?12581>
Type parameters: '?12581, '?12582

Sequence actions, discarding the value of the second argument.
CompiledName: op_LessMultiply

( <*> ) f m
Signature: f:Async<('?12550 > '?12551)> > m:Async<'?12550> > Async<'?12551>
Type parameters: '?12550, '?12551

Sequential application
CompiledName: op_LessMultiplyGreater

( <=< ) x
Signature: x:('?12591 > Async<'?12592>) > ('?12593 > Async<'?12591>) > '?12593 > Async<'?12592>
Type parameters: '?12591, '?12592, '?12593

Righttoleft Kleisli composition
CompiledName: op_LessEqualsLess

( =<< ) f m
Signature: f:('?12547 > Async<'?12548>) > m:Async<'?12547> > Async<'?12548>
Type parameters: '?12547, '?12548

Flipped >>=
CompiledName: op_EqualsLessLess

( >=> ) f g x
Signature: f:('?12587 > Async<'?12588>) > g:('?12588 > Async<'?12589>) > x:'?12587 > Async<'?12589>
Type parameters: '?12587, '?12588, '?12589

Lefttoright Kleisli composition
CompiledName: op_GreaterEqualsGreater

( >>. ) m f
Signature: m:Async<'?12584> > f:Async<'?12585> > Async<'?12585>
Type parameters: '?12584, '?12585

Sequentially compose two async actions, discarding any value produced by the first
CompiledName: op_GreaterGreaterDot

( >>= ) m f
Signature: m:Async<'?12544> > f:('?12544 > Async<'?12545>) > Async<'?12545>
Type parameters: '?12544, '?12545

Sequentially compose two actions, passing any value produced by the first as an argument to the second.
CompiledName: op_GreaterGreaterEquals

ap m f
Signature: m:Async<'?12553> > f:Async<('?12553 > '?12554)> > Async<'?12554>
Type parameters: '?12553, '?12554

Sequential application

bind f m
Signature: f:('c > Async<'d>) > m:Async<'c> > Async<'d>
Type parameters: 'c, 'd

Sequentially compose two actions, passing any value produced by the second as an argument to the first.

foldM f s
Signature: f:('?12595 > '?12596 > Async<'?12595>) > s:'?12595 > seq<'?12596> > Async<'?12595>
Type parameters: '?12595, '?12596


lift2 f x y
Signature: f:('d > 'e > 'f) > x:Async<'d> > y:Async<'e> > Async<'f>
Type parameters: 'd, 'e, 'f

Promote a function to a monad/applicative, scanning the monadic/applicative arguments from left to right.

map f m
Signature: f:('c > 'd) > m:Async<'c> > Async<'d>
Type parameters: 'c, 'd

Transforms an async value by using a specified mapping function.

mapM f x
Signature: f:('?12600 > Async<'?12601>) > x:'?12600 list > Async<'?12601 list>
Type parameters: '?12600, '?12601


pipe m f
Signature: m:Async<'?12556> > f:('?12556 > '?12557) > Async<'?12557>
Type parameters: '?12556, '?12557

Flipped map

pipe2 x y f
Signature: x:Async<'?12559> > y:Async<'?12560> > f:('?12559 > '?12560 > '?12561) > Async<'?12561>
Type parameters: '?12559, '?12560, '?12561


pipe3 x y z f
Signature: x:Async<'?12563> > y:Async<'?12564> > z:Async<'?12565> > f:('?12563 > '?12564 > '?12565 > '?12566) > Async<'?12566>
Type parameters: '?12563, '?12564, '?12565, '?12566


returnM x
Signature: x:'?12542 > Async<'?12542>
Type parameters: '?12542

Inject a value into the async type

sequence s
Signature: s:Async<'?12598> list > Async<'?12598 list>
Type parameters: '?12598

