data-effects-core

A basic framework for effect systems based on effects represented by GADTs.

Version on this page:0.2.0.0
LTS Haskell 23.20:0.2.0.0
Stackage Nightly 2025-05-01:0.4.2.0
Latest on Hackage:0.4.2.0

See all snapshots data-effects-core appears in

MPL-2.0 licensed and maintained by Sayo Koyoneda
This version can be pinned in stack with:data-effects-core-0.2.0.0@sha256:c712fc8d1d8a2e7b08d7a3f4c1b57a0415cc1b0d13cc8ebfeef28161c2e29965,2542

Module documentation for 0.2.0.0

Depends on 3 packages(full list with versions):
base, compdata, mtl
Used by 2 packages in lts-23.4(full list with versions):
data-effects, data-effects-th

data-effects

Hackage Hackage Hackage

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:

Changes

Revision history for data-effects-core

0.1.0.0 – 2023-09-18

  • Initial public release.

0.2.0.0 – 2024-10-10

  • Remove the type operator for HCont.
  • Rename the terms “instruction” and “signature” to the simpler “FOE” and “HOE”.
  • Support for GHC 9.8.2.