effect-monad-0.6.1: Embeds effect systems into Haskell using parameteric effect monads
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).
- Control
- Control.Coeffect
- Control.Effect
- Control.Effect.Cond
- Control.Effect.Counter
- Control.Effect.CounterNat
- Helpers
- Control.Effect.Maybe
- Control.Effect.Monad
- Control.Effect.Parameterised
- Control.Effect.ReadOnceReader
- Control.Effect.Reader
- Control.Effect.State
- Control.Effect.Update
- Control.Effect.Vector
- Control.Effect.WriteOnceWriter
- Control.Effect.Writer