CancellableValueTask (IcedTasks)

CancellableValueTask Module

Namespace: IcedTasks
Assembly: IcedTasks.dll
Parent Module: CancellableValueTasks

Contains a set of standard functional helper function

Cancellation and Exceptions
Other module members

Cancellation and Exceptions

Functions and values

Function or value Description

Function or value	Description
`CancellableValueTask.getCancellationToken () ct` Full Usage: `CancellableValueTask.getCancellationToken () ct` Parameters: () : `unit` ct : `CancellationToken` Returns: `ValueTask<CancellationToken>` The default CancellationToken. Modifiers: inline	Gets the default cancellation token for executing computations. () : `unit` ct : `CancellationToken` Returns: `ValueTask<CancellationToken>` The default CancellationToken. Example `use tokenSource = new CancellationTokenSource() let primes = [ 2; 3; 5; 7; 11 ] for i in primes do let computation = cancellableValueTask { let! cancellationToken = CancellableValueTask.getCancellationToken() do! Task.Delay(i * 1000, cancellationToken) printfn $"{i}" } computation tokenSource.Token \|> ignore Thread.Sleep(6000) tokenSource.Cancel() printfn "Tasks Finished"` val tokenSource: obj val primes: int list val i: int val computation: (obj -> obj) val printfn: format: Printf.TextWriterFormat<'T> -> 'T val ignore: value: 'T -> unit This will print "2" 2 seconds from start, "3" 3 seconds from start, "5" 5 seconds from start, cease computation and then followed by "Tasks Finished".


                
                  
                    
                      CancellableValueTask.getCancellationToken () ct

Full Usage: CancellableValueTask.getCancellationToken () ct

Parameters:

() : unit

ct : CancellationToken

Returns: ValueTask<CancellationToken> The default CancellationToken.
Modifiers: inline

Gets the default cancellation token for executing computations.

() : unit
ct : CancellationToken

Returns: ValueTask<CancellationToken>: The default CancellationToken.

Example

 use tokenSource = new CancellationTokenSource()
 let primes = [ 2; 3; 5; 7; 11 ]
 for i in primes do
     let computation =
         cancellableValueTask {
             let! cancellationToken = CancellableValueTask.getCancellationToken()
             do! Task.Delay(i * 1000, cancellationToken)
             printfn $"{i}"
         }
     computation tokenSource.Token |> ignore
 Thread.Sleep(6000)
 tokenSource.Cancel()
 printfn "Tasks Finished"

val tokenSource: obj

val primes: int list

val i: int

val computation: (obj -> obj)

val printfn: format: Printf.TextWriterFormat<'T> -> 'T

val ignore: value: 'T -> unit

This will print "2" 2 seconds from start, "3" 3 seconds from start, "5" 5 seconds from start, cease computation and then followed by "Tasks Finished".

Other module members

Functions and values

Function or value	Description
`CancellableValueTask.apply applicable cTask` Full Usage: `CancellableValueTask.apply applicable cTask` Parameters: applicable : `CancellableValueTask<('input -> 'output)>` - A function wrapped in a CancellableValueTasks cTask : `CancellableValueTask<'input>` - The value. Returns: `CancellableValueTask<'output>` The result of the applicable. Modifiers: inline Type parameters: 'input, 'output	Allows chaining of CancellableValueTasks. applicable : `CancellableValueTask<('input -> 'output)>` A function wrapped in a CancellableValueTasks cTask : `CancellableValueTask<'input>` The value. Returns: `CancellableValueTask<'output>` The result of the applicable.
`CancellableValueTask.bind binder cTask` Full Usage: `CancellableValueTask.bind binder cTask` Parameters: binder : `'input -> CancellableValueTask<'output>` - The continuation. cTask : `CancellableValueTask<'input>` - The value. Returns: `CancellableValueTask<'output>` The result of the binder. Modifiers: inline Type parameters: 'input, 'output	Allows chaining of CancellableValueTasks. binder : `'input -> CancellableValueTask<'output>` The continuation. cTask : `CancellableValueTask<'input>` The value. Returns: `CancellableValueTask<'output>` The result of the binder.
`CancellableValueTask.map mapper cTask` Full Usage: `CancellableValueTask.map mapper cTask` Parameters: mapper : `'input -> 'output` - The continuation. cTask : `CancellableValueTask<'input>` - The value. Returns: `CancellableValueTask<'output>` The result of the mapper wrapped in a CancellableValueTasks. Modifiers: inline Type parameters: 'input, 'output	Allows chaining of CancellableValueTasks. mapper : `'input -> 'output` The continuation. cTask : `CancellableValueTask<'input>` The value. Returns: `CancellableValueTask<'output>` The result of the mapper wrapped in a CancellableValueTasks.
`CancellableValueTask.ofUnit unitCancellableTask` Full Usage: `CancellableValueTask.ofUnit unitCancellableTask` Parameters: unitCancellableTask : `CancellableValueTask` - The CancellableValueTask to convert. Returns: `CancellableValueTask<unit>` a CancellableValueTask\. Modifiers: inline	Coverts a CancellableValueTask to a CancellableValueTask\. unitCancellableTask : `CancellableValueTask` The CancellableValueTask to convert. Returns: `CancellableValueTask<unit>` a CancellableValueTask\.
`CancellableValueTask.parallelZip left right` Full Usage: `CancellableValueTask.parallelZip left right` Parameters: left : `CancellableValueTask<'left>` - The left value. right : `CancellableValueTask<'right>` - The right value. Returns: `CancellableValueTask<'left * 'right>` A tuple of the parameters passed in. Modifiers: inline Type parameters: 'left, 'right	Takes two CancellableValueTask, starts them concurrently, and returns a tuple of the pair. left : `CancellableValueTask<'left>` The left value. right : `CancellableValueTask<'right>` The right value. Returns: `CancellableValueTask<'left * 'right>` A tuple of the parameters passed in.
`CancellableValueTask.singleton item ct` Full Usage: `CancellableValueTask.singleton item ct` Parameters: item : `'item` - The item to be the result of the CancellableValueTask. ct : `CancellationToken` Returns: `ValueTask<'item>` A CancellableValueTask with the item as the result. Modifiers: inline Type parameters: 'item	Lifts an item to a CancellableValueTask. item : `'item` The item to be the result of the CancellableValueTask. ct : `CancellationToken` Returns: `ValueTask<'item>` A CancellableValueTask with the item as the result.
`CancellableValueTask.toUnit cancellableTask ct` Full Usage: `CancellableValueTask.toUnit cancellableTask ct` Parameters: cancellableTask : `CancellableValueTask<'a>` ct : `CancellationToken` Returns: `ValueTask` a CancellableValueTask. Modifiers: inline Type parameters: 'a	Coverts a CancellableValueTask\<_\> to a CancellableValueTask. cancellableTask : `CancellableValueTask<'a>` ct : `CancellationToken` Returns: `ValueTask` a CancellableValueTask.
`CancellableValueTask.zip left right` Full Usage: `CancellableValueTask.zip left right` Parameters: left : `CancellableValueTask<'left>` - The left value. right : `CancellableValueTask<'right>` - The right value. Returns: `CancellableValueTask<'left * 'right>` A tuple of the parameters passed in Modifiers: inline Type parameters: 'left, 'right	Takes two CancellableValueTasks, starts them serially in order of left to right, and returns a tuple of the pair. left : `CancellableValueTask<'left>` The left value. right : `CancellableValueTask<'right>` The right value. Returns: `CancellableValueTask<'left * 'right>` A tuple of the parameters passed in

CancellableValueTask Module

Table of contents

Cancellation and Exceptions

Functions and values

Example

Other module members

Functions and values