| Portability | RankNTypes |
|---|---|
| Stability | experimental |
| Maintainer | Fumiaki Kinoshita <fumiexcel@gmail.com> |
| Safe Haskell | None |
Control.Monad.Trans.Operational.Mini
Description
Simple operational monad transformer
- newtype ProgramT t m a = ProgramT {
- unProgramT :: forall r. (a -> r) -> (m r -> r) -> (forall x. t x -> (x -> r) -> r) -> r
- unProgram :: Monad m => ProgramT t m a -> (a -> m r) -> (forall x. t x -> (x -> m r) -> m r) -> m r
- interpret :: Monad m => (forall x. t x -> m x) -> ProgramT t m a -> m a
- data ReifiedProgramT t m a where
- Return :: a -> ReifiedProgramT t m a
- :>>= :: t a -> (a -> ReifiedProgramT t m b) -> ReifiedProgramT t m b
- Lift :: m a -> (a -> ReifiedProgramT t m b) -> ReifiedProgramT t m b
- fromReifiedT :: Monad m => ReifiedProgramT t m a -> ProgramT t m a
- transReifiedT :: Monad m => (forall x. m x -> n x) -> ReifiedProgramT t m a -> ReifiedProgramT t n a
- hoistReifiedT :: Monad m => (forall x. t x -> s x) -> ReifiedProgramT t m a -> ReifiedProgramT s m a
- module Control.Monad.Operational.Class
- module Control.Monad.Operational.TH
Documentation
Constructors
| ProgramT | |
Fields
| |
Instances
| t :! (ProgramT t m) | |
| MonadTrans (ProgramT t) | |
| Monad (ProgramT t m) | |
| Functor (ProgramT t m) | |
| Applicative (ProgramT t m) |
unProgram :: Monad m => ProgramT t m a -> (a -> m r) -> (forall x. t x -> (x -> m r) -> m r) -> m rSource
interpret :: Monad m => (forall x. t x -> m x) -> ProgramT t m a -> m aSource
Interpret a Program using the given transformation.
data ReifiedProgramT t m a whereSource
Constructors
| Return :: a -> ReifiedProgramT t m a | |
| :>>= :: t a -> (a -> ReifiedProgramT t m b) -> ReifiedProgramT t m b | |
| Lift :: m a -> (a -> ReifiedProgramT t m b) -> ReifiedProgramT t m b |
Instances
| Monad m => t :! (ReifiedProgramT t m) | |
| MonadTrans (ReifiedProgramT t) | |
| Monad m => Monad (ReifiedProgramT t m) | |
| Monad m => Functor (ReifiedProgramT t m) | |
| Monad m => Applicative (ReifiedProgramT t m) |
fromReifiedT :: Monad m => ReifiedProgramT t m a -> ProgramT t m aSource
transReifiedT :: Monad m => (forall x. m x -> n x) -> ReifiedProgramT t m a -> ReifiedProgramT t n aSource
hoistReifiedT :: Monad m => (forall x. t x -> s x) -> ReifiedProgramT t m a -> ReifiedProgramT s m aSource
module Control.Monad.Operational.TH