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

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

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).

Properties

Versions 0.6, 0.6.1, 0.6.1, 0.7.0.0, 0.8.0.0, 0.8.1.0
Change log None available
Dependencies base (<5), ghc-prim, type-level-sets (>=0.5) [details]
License BSD-3-Clause
Copyright 2013-14 University of Cambridge
Author Dominic Orchard
Maintainer Dominic Orchard
Category Control, Monads
Source repo head: git clone https://github.com/dorchard/effect-monad
Uploaded by DominicOrchard at 2014-09-17T15:23:42Z

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees