data-effects-core: A basic framework for effect systems based on effects represented by GADTs.

[ control, effect, library, mpl ] [ Propose Tags ] [ Report a vulnerability ]

This library provides core definitions of data-effects.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0, 0.2.0.0, 0.4.0.0, 0.4.0.1, 0.4.0.2
Change log ChangeLog.md
Dependencies base (>=4.16.4 && <4.22), free (>=5.2 && <5.3), kan-extensions (>=5.2.6 && <5.3), mtl (>=2.2.2 && <2.4), primitive (>=0.9.1 && <0.10), unliftio (>=0.2.25 && <0.3) [details]
Tested with ghc ==9.2.8 || ==9.4.8 || ==9.6.7 || ==9.8.4 || ==9.10.1 || ==9.12.2
License MPL-2.0
Copyright 2023-2025 Sayo contributors
Author Sayo contributors <ymdfield@outlook.jp>
Maintainer ymdfield <ymdfield@outlook.jp>
Category Control, Effect
Bug tracker https://github.com/sayo-hs/data-effects
Source repo head: git clone https://github.com/sayo-hs/data-effects(tag v0.4.0)(data-effects-core)
Uploaded by YamadaRyo at 2025-04-16T12:04:27Z
Distributions LTSHaskell:0.2.0.0
Reverse Dependencies 2 direct, 2 indirect [details]
Downloads 131 total (12 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for data-effects-core-0.4.0.1

[back to package description]

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.

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: