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
Change log ChangeLog.md
Dependencies base (>=4.16.4 && <4.21), data-default (>=0.7.1 && <0.9), data-effects-core (>=0.2 && <0.3), data-effects-th (>=0.2 && <0.3), 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) [details]
Tested with ghc ==9.8.2, ghc ==9.4.1, ghc ==9.2.8
License MPL-2.0
Copyright 2023-2024 Sayo Koyoneda
Author Sayo Koyoneda <ymdfield@outlook.jp>
Maintainer Sayo Koyoneda <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.3.0.1)(data-effects)
Uploaded by YamadaRyo at 2024-11-03T15:20:45Z
Distributions Stackage:0.3.0.1
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 158 total (30 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.3.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: