IO.Async.Token

Definitions

record Token : Type

  A unique identifier for fibers.

Totality: total
Visibility: export
Constructor: 

T : Nat -> Token

Projection: 

.value : Token -> Nat

Hints:

Eq Token

Ord Token

Show Token

record TokenGen : Type

  A generator for unique tokens.

Totality: total
Visibility: export
Constructor: 

TG : MVar Nat -> TokenGen

Projection: 

.var : TokenGen -> MVar Nat

Hint: 

ExecutionContext => TokenGen

newTokenGen : IO TokenGen

Totality: total
Visibility: export

token : HasIO io => TokenGen => io Token

  Generates a new unique fiber token.

Totality: total
Visibility: export