data-effects
A basic framework for effect systems based on effects represented by GADTs.
| LTS Haskell 24.18: | 0.4.2.0 |
| Stackage Nightly 2025-11-04: | 0.4.2.0 |
| Latest on Hackage: | 0.4.2.0 |
Maintained by ymdfield
This version can be pinned in stack with:
data-effects-0.4.2.0@sha256:9d56734f54c411bc3da3e9e7a09b188268457506410f3342c1cb7108e7e56dda,4098Module documentation for 0.4.2.0
- Data
- Data.Effect
- Data.Effect.Accum
- Data.Effect.CC
- Data.Effect.Concurrent
- Data.Effect.Coroutine
- Data.Effect.Except
- Data.Effect.Fail
- Data.Effect.Fix
- Data.Effect.Fresh
- Data.Effect.Input
- Data.Effect.KVStore
- Data.Effect.Log
- Data.Effect.NonDet
- Data.Effect.Output
- Data.Effect.Provider
- Data.Effect.Reader
- Data.Effect.Select
- Data.Effect.Shift
- Data.Effect.State
- Data.Effect.Unlift
- Data.Effect.Writer
- Data.Effect
Depends on 13 packages(full list with versions):
Used by 2 packages in nightly-2025-11-04(full list with versions):
data-effects
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.
Your contributions are welcome!
Please see CONTRIBUTING.md.
Acknowledgements, citations, and related work
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