Safe Haskell | Safe-Infered |
---|
AOP.Semantics.EL.ELT
Documentation
newtype ELT m a
Instances
MonadTrans ELT | |
Monad m => MonadState s (ELT (StateT s m)) | |
MonadWriter w m => MonadWriter w (ELT m) | |
MonadReader r m => MonadReader r (ELT m) | |
Monad m => Monad (ELT m) | Monadic bind and return functions. |
Typeable1Monad m => Typeable1 (ELT m) | |
Monad m => MonadEL (ELT m) | ELT produces level-aware functions. |
MonadIO m => MonadIO (ELT m) | |
MonadCont m => MonadCont (ELT m) | |
Typeable1Monad m => MonadDeploy (ELT m) |
type Level = Int