Embeds effect systems in Haskell using 'parametric effect monads'
Haskell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
docs
examples
src/Control
.gitignore
LICENSE
README
Setup.hs
effect-monad.cabal
stack.yaml

README

Graded monads are a generalisation of monads where, from a functional
programming perspective, a monadic type constructor is annotated
(indexed) by another type representing effect information that
explains the effects of a computation, i.e., values of type `M r a`
are effectul computations of values of type `a` with effects `r`. They
provide a way to give finer-grained information about impurity and
capture a greater class of effectul computations that normal monads.

This library is based on the paper "Embedding Effect Systems in
Haskell" (Orchard, Petricek, Haskell 2014). For more information, see
talk slides and papers here:

       http://www.cl.cam.ac.uk/~dao29/publ/haskell14-effects.pdf
       http://www.cl.cam.ac.uk/~dao29/talks/haskell14-orchard-petricek-effects.pdf

This is also available on hackage (http://hackage.haskell.org/package/effect-monad)
so you can get this by doing:

       cabal install effect-monad