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

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

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, 0.4.2.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>
Revised Revision 1 made by YamadaRyo at 2025-04-22T09:01:59Z
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.2)(data-effects)
Uploaded by YamadaRyo at 2025-04-17T02:57:14Z
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.0.2

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