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
Change log ChangeLog.md
Dependencies base (>=4.16.4 && <4.21), compdata (>=0.13.1 && <0.14), mtl (>=2.2.2 && <2.4) [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.2.0)(data-effects-core)
Uploaded by YamadaRyo at 2024-10-10T12:30:00Z
Distributions LTSHaskell:0.2.0.0
Reverse Dependencies 2 direct, 2 indirect [details]
Downloads 88 total (13 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.2.0.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: