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]

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.Parallel
    - 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.Log
  - Data.Effect.NonDet
  - Data.Effect.Output
  - Data.Effect.Provider
  - Data.Effect.Reader
  - Data.Effect.Resource
  - Data.Effect.Select
  - Data.Effect.ShiftReset
  - Data.Effect.State
  - Data.Effect.TH
  - Data.Effect.Tag
  - Data.Effect.Unlift
  - Data.Effect.Writer

Downloads

data-effects-0.3.0.1.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

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, 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	LTSHaskell:0.3.0.1
Reverse Dependencies	2 direct, 0 indirect [details]
Downloads	167 total (16 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

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