data-effects: A basic framework for effect systems based on effects represented by GADTs.

[ control, effect, library, mpl ] [ Propose Tags ]

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.Key
  - Control.Effect.Tag
Data
- Data.Effect
  - Data.Effect.Accum
  - Data.Effect.Chronicle
  - Concurrent
    - Data.Effect.Concurrent.Thread
    - Data.Effect.Concurrent.Timer
  - Data.Effect.Cont
  - 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.Key
    - Data.Effect.Key.TH
  - Data.Effect.NonDet
  - Data.Effect.Output
  - Data.Effect.Provider
  - Data.Effect.Reader
  - Data.Effect.Resource
  - Data.Effect.ShiftReset
  - Data.Effect.State
  - Data.Effect.TH
  - Data.Effect.Tag
  - Data.Effect.Unlift
  - Data.Effect.Writer

Downloads

data-effects-0.2.0.0.tar.gz [browse] (Cabal source package)
Package description (revised from the package)

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

YamadaRyo

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.1.0.0, 0.1.1.0, 0.1.2.0, 0.2.0.0
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), lens (>=5.2.3 && <5.4), text (>=2.0 && <2.2), these (>=1.2 && <1.3), time (>=1.11.1 && <1.15) [details]
License	MPL-2.0
Copyright	2023-2024 Sayo Koyoneda
Author	Sayo Koyoneda <ymdfield@outlook.jp>
Maintainer	Sayo Koyoneda <ymdfield@outlook.jp>
Revised	Revision 1 made by YamadaRyo at 2024-10-25T00:51:08Z
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)
Uploaded	by YamadaRyo at 2024-10-10T12:29:55Z
Distributions	Stackage:0.2.0.0
Reverse Dependencies	2 direct, 0 indirect [details]
Downloads	91 total (20 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.2.0.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.

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