Yaaf.FSharp.Helper


Task

Defined in Yaaf.FSharp.Helper.dll.

Nested types and modules

TypeDescription
Result<'T>

Task result

TaskBuilder
TaskBuilderWithToken

Functions and values

Function or valueDescription
( *> ) 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
Fork me on GitHub