data-effects-th

Template Haskell utilities for the data-effects library.

Version on this page:	0.2.0.0@rev:1
LTS Haskell 23.1:	0.2.0.0@rev:2
Stackage Nightly 2024-12-09:	0.2.0.0@rev:2
Latest on Hackage:	0.2.0.0@rev:2

See all snapshots data-effects-th appears in

MPL-2.0 AND BSD-3-Clause licensed and maintained by Sayo Koyoneda

This version can be pinned in stack with:data-effects-th-0.2.0.0@sha256:f03888dd86cc60ddcf9e6d14e5f0d57220a2c7ce85c9707d2db6506e16cc24ae,3504

Module documentation for 0.2.0.0

Data
- Data.Effect
  - Data.Effect.HFunctor
    - Data.Effect.HFunctor.TH
      - Data.Effect.HFunctor.TH.Internal
  - Data.Effect.Key
    - Data.Effect.Key.TH
  - Data.Effect.TH
    - Data.Effect.TH.Internal

Depends on 13 packages(full list with versions):

base, containers, data-default, data-effects-core, either, extra, formatting, infinite-list, lens, mtl, template-haskell, text, th-abstraction

Used by 1 package in nightly-2024-11-02(full list with versions):

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

Changes

Revision history for data-effects-th

0.1.0.0 – 2023-09-18

Initial public release.

0.1.1.0 – 2024-09-01

Fix an issue where constraints in the effect constructor were not properly reflected in ‘genLiftFOEPatternSynonyms’.
Fixed an issue where the auto-generation would fail when the name of the effect constructor started with a colon (:) operator.

0.2.0.0 – 2024-10-10

Support for the core version upgrade to 0.2.
- Support for GHC 9.8.2.