Expand description
Tasks
Functions
primitive for implementing IO.cancel : Task a -> IO Unit
primitive for implementing IO.checkCanceled : IO Bool
primitive for implementing IO.hasFinished : Task a -> IO Unit
primitive for implementing IO.waitAny : List (Task a) -> IO (Task a)
Task.bind (x : Task A) (f : A -> Task B) (prio : Nat) : Task B
Primitive for implementing Task.get : Task A -> A
Task.map (f : A -> B) (t : Task A) (prio : Nat) : Task B
Convert a value a : A
into Task A
Run a closure Unit -> A
as a Task A