| CARVIEW |
data-effects: A basic framework for effect systems based on effects represented by GADTs.
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]
Modules
[Index] [Quick Jump]
- Control
- Control.Effect
- Control.Effect.Interpret
- Control.Effect.Transform
- Control.Effect
- Data
- Data.Effect
- Data.Effect.Accum
- Data.Effect.CC
- Concurrent
- Data.Effect.Coroutine
- Data.Effect.Except
- Data.Effect.Fail
- Data.Effect.Fix
- Data.Effect.Fresh
- Data.Effect.HFunctor
- Data.Effect.HFunctor.HCont
- Data.Effect.HFunctor.TH
- Data.Effect.Input
- Data.Effect.KVStore
- Data.Effect.Log
- Data.Effect.NonDet
- Data.Effect.OpenUnion
- Data.Effect.Output
- Data.Effect.Provider
- Data.Effect.Reader
- Data.Effect.Select
- Data.Effect.Shift
- Data.Effect.State
- Data.Effect.TH
- Data.Effect.Tag
- Data.Effect.Unlift
- Data.Effect.Writer
- Data.Effect
Downloads
- data-effects-0.4.2.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
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> |
| Uploaded | by YamadaRyo at 2025-04-24T11:31:14Z |
| 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.2.0)(data-effects) |
| Distributions | LTSHaskell:0.4.2.0, NixOS:0.4.2.0, Stackage:0.4.2.0 |
| Reverse Dependencies | 2 direct, 0 indirect [details] |
| Downloads | 492 total (63 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating |
|
| Status | Docs available [build log] Last success reported on 2025-05-13 [all 1 reports] |
Readme for data-effects-0.4.2.0
[back to package description]data-effects
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.
Acknowledgements, citations, and related work
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:
- Casper Bach Poulsen and Cas van der Rest — Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects
- Patrick Bahr and Tom Hvitved —
compdata: Compositional Data Types - Michael Szvetits —
effet