( *> ) a b
Signature: a:Task<'?20705> -> b:Task<'?20706> -> Task<'?20706>
Type parameters: '?20705, '?20706
|
Sequence actions, discarding the value of the first argument.
|
( <!> ) f x
Signature: f:('?20702 -> '?20703) -> x:Task<'?20702> -> Task<'?20703>
Type parameters: '?20702, '?20703
|
Infix map
|
( <* ) a b
Signature: a:Task<'?20708> -> b:Task<'?20709> -> Task<'?20708>
Type parameters: '?20708, '?20709
|
Sequence actions, discarding the value of the second argument.
|
( <*> ) f x
Signature: f:Task<('?20699 -> '?20700)> -> x:Task<'?20699> -> Task<'?20700>
Type parameters: '?20699, '?20700
|
Sequential application
|
( <=< ) x
Signature: x:('?20687 -> Task<'?20688>) -> ('?20689 -> '?20690) -> '?20689 -> Task<'?20688>
Type parameters: '?20687, '?20688, '?20689, '?20690
|
Right-to-left Kleisli composition
|
( =<< ) f m
Signature: f:('?20676 -> Task<'?20677>) -> m:Task<'?20676> -> Task<'?20677>
Type parameters: '?20676, '?20677
|
Flipped >>=
|
( >=> ) f g x
Signature: f:('?20682 -> '?20683) -> g:('?20684 -> Task<'?20685>) -> x:'?20682 -> Task<'?20685>
Type parameters: '?20682, '?20683, '?20684, '?20685
|
Left-to-right Kleisli composition
|
( >>. ) m1 m2
Signature: m1:Task<'?20679> -> m2:Task<'?20680> -> Task<'?20680>
Type parameters: '?20679, '?20680
|
Sequentially compose two either actions, discarding any value produced by the first
|
( >>= ) m f
Signature: m:Task<'?20673> -> f:('?20673 -> Task<'?20674>) -> Task<'?20674>
Type parameters: '?20673, '?20674
|
Sequentially compose two actions, passing any value produced by the first as an argument to the second.
|
ap x f
Signature: x:Task<'?20696> -> f:Task<('?20696 -> '?20697)> -> Task<'?20697>
Type parameters: '?20696, '?20697
|
Sequential application
|
bind f m
Signature: f:('T -> Task<'U>) -> m:Task<'T> -> Task<'U>
Type parameters: 'T, 'U
|
|
bindWithOptions (...)
Signature: token:CancellationToken -> continuationOptions:TaskContinuationOptions -> scheduler:TaskScheduler -> f:('T -> Task<'U>) -> m:Task<'T> -> Task<'U>
Type parameters: 'T, 'U
|
|
lift2 f a b
Signature: f:('?20692 -> '?20693 -> '?20694) -> a:Task<'?20692> -> b:Task<'?20693> -> Task<'?20694>
Type parameters: '?20692, '?20693, '?20694
|
Promote a function to a monad/applicative, scanning the monadic/applicative arguments from left to right.
|
map f m
Signature: f:('b -> 'c) -> m:Task<'b> -> Task<'c>
Type parameters: 'b, 'c
|
Transforms a Task's first value by using a specified mapping function.
|
mapWithOptions (...)
Signature: token:CancellationToken -> continuationOptions:TaskContinuationOptions -> scheduler:TaskScheduler -> f:('?20659 -> '?20660) -> m:Task<'?20659> -> Task<'?20660>
Type parameters: '?20659, '?20660
|
Transforms a Task's first value by using a specified mapping function.
|
returnM a
Signature: a:'?20671 -> Task<'?20671>
Type parameters: '?20671
|
|
run t
Signature: t:(unit -> Task<'?20655>) -> Result<'?20655>
Type parameters: '?20655
|
|
toAsync t
Signature: t:Task<'T> -> Async<'T>
Type parameters: 'T
|
|