-
Effekt Library
- io
- Task
- spawn
- yield
- abort
- Promise
- promise
- await
- resolve
- make
- io Jump to source: libraries/common/io.effekt
- Task
[T]
- spawn
(task: Task[Unit]): Unit / {}
- yield
: Unit / {}
- abort
: Nothing / {}
- Promise
[T]
- promise
[T] (task: Task[T]): Promise[T] / {}
- await
[T] (promise: Promise[T]): T / {}
- resolve
[T] (promise: Promise[T], value: T): Unit / {}
- make
[T]: Promise[T] / {}
Example usage: examples/stdlib/io