FSharpx.Extras


Async

Namespace: FSharpx

Functions and values

Function or valueDescription
( *> ) 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

Right-to-left 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

Left-to-right 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
Fork me on GitHub