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

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

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.


[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.1.1.0, 0.1.2.0, 0.2.0.0, 0.3.0.0, 0.3.0.1, 0.4.0.0, 0.4.0.1, 0.4.0.2, 0.4.1.0 (info)
Change log ChangeLog.md
Dependencies base (>=4.16.4 && <4.22), co-log-core (>=0.3.2 && <0.4), containers (>0.6.5 && <0.9), data-default (>=0.7.1 && <0.9), data-effects-core (>=0.4 && <0.5), data-effects-th (>=0.4 && <0.5), infinite-list (>=0.1.1 && <0.2), lens (>=5.2.3 && <5.4), text (>=2.0 && <2.2), these (>=1.2 && <1.3), time (>=1.11.1 && <1.15), unbounded-delays (>=0.1.1 && <0.2), unliftio (>=0.2 && <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.1.0)(data-effects)
Uploaded by YamadaRyo at 2025-04-24T05:56:16Z
Distributions LTSHaskell:0.3.0.1
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 246 total (23 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-0.4.1.0

[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: