Portability | RankNTypes |
---|---|
Stability | experimental |
Maintainer | Fumiaki Kinoshita <fumiexcel@gmail.com> |
Safe Haskell | None |
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
ProgramT | |
|
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
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 |
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