Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | Andy Sonnenburg <andy22286@gmail.com> |
Safe Haskell | Safe-Inferred |
Control.Applicative.Perm
Description
Documentation
The permutation applicative
Instances
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) |
runPerm :: Alternative m => Perm m a -> m aSource
Unwrap a Perm
, combining actions using the Alternative
for f
.