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.
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, 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-11T15:39:35Z |
Modules
[Index]
- 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
Downloads
- effect-monad-0.6.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees