effect-monad: Embeds effect systems into Haskell using graded monads
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).
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.7.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0.6, 0.6.1, 0.7.0.0, 0.8.0.0, 0.8.1.0 |
|---|---|
| Dependencies | base (<5), type-level-sets (==0.8.0.0) [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 | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 4718 total (14 in the last 30 days) |
| Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2016-09-28 [all 1 reports] |