Core API
6 pages
Adapt
Handler context transformation. Contravariant on context, covariant on continuation.
adapt
Transform a handler's...
Comp
Computation ADT: introduction and elimination forms for Pure | Impure.
impure
Create a suspended computation (OpCall...
Kernel
Freer monad kernel: Return/OpCall ADT with FTCQueue bind, send, map, seq, pipe, kleisli.
bind
Monadic bind: sequence...
Pipeline
Typed pipeline framework with composable stages.
Stages are composable transformations executed with reader...
Queue
FTCQueue (catenable queue, after Kiselyov & Ishii 2015). O(1) snoc/append, amortized O(1)...
Trampoline
Trampolined interpreter using builtins.genericClosure for O(1) stack depth.
handle
Trampolined handler combinator...