A basic framework for a Haskell effect system library based on GADTs-based effect representations with a style that separates first-order effects and higher-order effects.
This library set was created by being separated from the Heftia extensible effects library.
Please see CONTRIBUTING.md.
The following is a non-exhaustive list of people and works that have had a significant impact, directly or indirectly, on its design and implementation:
- Casper Bach Poulsen and Cas van der Rest — Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects
- Patrick Bahr and Tom Hvitved —
compdata: Compositional Data Types - Michael Szvetits —
effet