HORIZON HASKELLDocslts/ghc-9.14.x45dd5372026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11

Package0.1.1.0Control

vortex-combinators

Interpreter combinators for any first-order vortex theory

Modules

9 modules

Description

Interpreter transformers that work for any first-order polysemy effect: forward each operation over a transport (the vortex wire, or an in-memory loopback), tee two interpreters and report divergence, cache a forwarder's reads under a tick-based staleness bound, split by routing key, record and replay, and meter per verb. A theory supplies what each needs as a small class: the wire form of its operations and results, equality on results, a read/write split with invalidation keys, and a routing key. The laws are Hedgehog properties any theory instantiates with its own generators, in vortex-combinators-laws.

Depends on

8 packages

Used by in this set · 0

Nothing in this set depends on it.