Template Haskell utilities for the data-effects library.

TemplateHaskell functions for deriving effect invocation functions, HFunctor instances, and more from the definition of effects with data-effects-based GADT representations.

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.

Credits

Parts of this project have been adapted or inspired by the following resources:

• compdata
  • Copyright (c) 2010--2011 Patrick Bahr, Tom Hvitved
  • License: BSD-3-Clause
  • Modifications: Used TemplateHaskell code to derive instances of the HFunctor type class.