| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | Ralf Laemmel, Joost Visser |
| Safe Haskell | None |
Data.Generics.Strafunski.StrategyLib.StrategyLib
Description
This module is part of StrategyLib, a library of functional strategy
combinators, including combinators for generic traversal. This is the
top-level module of the library. One only needs to import this module to
use the entire library. Some base modules are exported as well because
they are commonly used.
Documentation
module Control.Monad
module Control.Monad.Fix
newtype Identity a
Constructors
| Identity | |
Fields
| |
newtype StateT s m a
Instances
| MonadReader r m => MonadReader r (StateT s m) | |
| MonadWriter w m => MonadWriter w (StateT s m) | |
| Monad m => MonadState s (StateT s m) | |
| MonadTrans (StateT s) | |
| MonadUnTrans (StateAlg s) (StateT s) | Unlifting the state monad transformer |
| MonadRun (StateAlg s) (State s) | Running the |
| Monad m => Monad (StateT s m) | |
| Functor m => Functor (StateT s m) | |
| MonadFix m => MonadFix (StateT s m) | |
| MonadPlus m => MonadPlus (StateT s m) | |
| (Functor m, Monad m) => Applicative (StateT s m) | |
| (Functor m, MonadPlus m) => Alternative (StateT s m) | |
| MonadIO m => MonadIO (StateT s m) | |
| MonadCont m => MonadCont (StateT s m) |
module Data.Monoid