# data-effects

[![Hackage](https://img.shields.io/hackage/v/data-effects.svg?logo=haskell&label=data-effects)](https://hackage.haskell.org/package/data-effects)
[![Hackage](https://img.shields.io/hackage/v/data-effects-core.svg?logo=haskell&label=data-effects-core)](https://hackage.haskell.org/package/data-effects-core)
[![Hackage](https://img.shields.io/hackage/v/data-effects-th.svg?logo=haskell&label=data-effects-th)](https://hackage.haskell.org/package/data-effects-th)

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](https://github.com/sayo-hs/heftia) extensible effects library.

## Your contributions are welcome!
Please see [CONTRIBUTING.md](https://github.com/sayo-hs/data-effects/blob/ef706ef3fa547de01ce6bb5636af911354e53b58/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][casper:hefty]
- Patrick Bahr and Tom Hvitved — [`compdata`: Compositional Data Types][gh:compdata]
- Michael Szvetits — [`effet`][gh:effet]

[casper:hefty]: https://dl.acm.org/doi/10.1145/3571255
[gh:compdata]: https://github.com/pa-ba/compdata
[gh:effet]: https://github.com/typedbyte/effet