effect-monad: Embeds effect systems into Haskell using parameteric effect monads

[ bsd3, control, library, monads ] [ Propose Tags ]

Provides the 'parametric effect monad' structure to Haskell with a number of analogous of familiar monads (Reader, Writer, State, Maybe, Counter, Update) and a wrapper over normal monads (Control.Effect.Monad). This provides a way to embed effect systems into Haskell. For more information see with paper "Embedding effect systems in Haskell" by Orchard and Petricek http://www.cl.cam.ac.uk/~dao29/publ/haskell14-effects.pdf (Haskell, 2014) and the examples in https://github.com/dorchard/effect-monad/tree/master/examples.

(note, this package was previously called ixmonad until September 2014).

Versions 0.6, 0.6.1, 0.7.0.0, 0.8.0.0, 0.8.1.0
Dependencies base (<4.9), ghc-prim, type-level-sets (==0.5.*) [details]
License BSD-3-Clause
Copyright 2013-14 University of Cambridge
Author Dominic Orchard
Maintainer Dominic Orchard
Revised Revision 3 made by AdamBergmark at Thu Feb 11 16:29:37 UTC 2016
Category Control, Monads
Source repo head: git clone https://github.com/dorchard/effect-monad
Uploaded by DominicOrchard at Thu Sep 11 15:40:06 UTC 2014
Distributions NixOS:0.8.1.0
Downloads 2239 total (19 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees