freer-0.2.4.1: Implementation of the Freer Monad
Freer is an implementation of "Freer Monads, More Extensible Effects"
The key features of Freer are:
- An efficient effect system for Haskell - as a library!
- Implementations for several common Haskell monad instances:
- Core components for defining your own Effects
Modules
- Control
- Monad
- Control.Monad.Freer Freer - an extensible effects library
- Control.Monad.Freer.Coroutine Composable coroutine effects layer.
- Control.Monad.Freer.Cut An implementation of logical Cut
- Control.Monad.Freer.Exception An Exception effect and handler.
- Control.Monad.Freer.Fresh Generation of fresh integers as an effect.
- Control.Monad.Freer.Internal Mechanisms to make effects work
- Control.Monad.Freer.Reader Reader effects, for encapsulating an environment
- Control.Monad.Freer.State State effects, for state-carrying computations.
- Control.Monad.Freer.StateRW State effects in terms of Reader/Writer
- Control.Monad.Freer.Trace Composable Trace effects
- Control.Monad.Freer.Writer Composable Writer effects -
- Control.Monad.Freer Freer - an extensible effects library
- Monad
- Data
- Data.FTCQueue Fast type-aligned queue optimized to effectful functions.
- Open
- Data.Open.Union Open unions (type-indexed co-products) for extensible effects.