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.0 && <4.17), compdata (>=0.13.1 && <0.14), mtl (>=2.2.2 && <2.3) [details]
Tested with ghc ==9.2.8
License MPL-2.0
Copyright 2023-2024 Yamada Ryo, 2023 Casper Bach Poulsen and Cas van der Rest
Author Yamada Ryo <ymdfield@outlook.jp>
Maintainer Yamada Ryo <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.1.0)(data-effects-core)
Uploaded by YamadaRyo at 2024-07-17T07:45:54Z
Distributions Stackage:0.2.0.0
Reverse Dependencies 2 direct, 2 indirect [details]
Downloads 80 total (19 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.1.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.

Credits

Parts of this project have been adapted or inspired by the following resources:

  • compdata
    • Copyright (c) 2010--2011 Patrick Bahr, Tom Hvitved
    • License: BSD-3-Clause
    • Modifications: Used TemplateHaskell code to derive instances of the HFunctor type class.