MonadTrans Perm | |
(Monad (Perm m), MonadFix m, MonadThrow e m) => MonadThrow e (Perm m) | |
(Monad (Perm m), MonadFix m, MonadReader r m) => MonadReader r (Perm m) | |
(Monad (Perm m), MonadFix m, MonadState s m) => MonadState s (Perm m) | |
MonadFix m => Monad (Perm m) | |
Functor m => Functor (Perm m) | |
(Monad (Perm m), MonadFix m) => MonadFix (Perm m) | |
(Monad (Perm m), MonadFix m, MonadPlus m) => MonadPlus (Perm m) | |
(Functor (Perm m), Applicative m) => Applicative (Perm m) | |
(Applicative (Perm m), Alternative m) => Alternative (Perm m) | |
(Monad (Perm m), MonadFix m, MonadIO m) => MonadIO (Perm m) | |
Monoid (m a) => Monoid (Perm m a) | |