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

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

Provides the graded monad structure to Haskell with a number of analogs 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 [RSS] [faq] 0.6, 0.6.1,,,
Dependencies base (<5), type-level-sets (== [details]
License BSD-3-Clause
Copyright 2013-16 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 2016-09-28T15:15:23Z
Distributions NixOS:
Downloads 4213 total (23 in the last 30 days)
Rating 2.0 (votes: 1) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2016-09-28 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees