| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | Andy Sonnenburg <andy22286@gmail.com> |
| Safe Haskell | Safe-Inferred |
Control.Monad.Perm
Description
Documentation
The permutation monad
Instances
| 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), Monad m) => MonadPlus (PermT m) | |
| Functor (PermT m) => Applicative (PermT m) | |
| Applicative (PermT m) => Alternative (PermT m) | |
| (Monad (PermT m), MonadIO m) => MonadIO (PermT m) |