Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Andy Sonnenburg <andy22286@gmail.com> |
Safe Haskell | Safe-Inferred |
Documentation
The permutation monad
MonadTrans PermT | |
(Monad (PermT m), MonadThrow e m) => MonadThrow e (PermT m) | |
(Monad (PermT m), MonadReader r m) => MonadReader r (PermT m) | |
(Monad (PermT m), MonadState s m) => MonadState s (PermT m) | |
Monad m => Monad (PermT m) | |
Functor (PermT m) | |
(Monad (PermT m), MonadPlus m) => MonadPlus (PermT m) | |
(Functor (PermT m), Applicative m) => Applicative (PermT m) | |
(Applicative (PermT m), Alternative m) => Alternative (PermT m) | |
(Monad (PermT m), MonadIO m) => MonadIO (PermT m) |
liftPerm :: Applicative m => m a -> PermT m aSource
A version of lift
that can be used with just an Applicative
for m
.