Control.Monad.Perm

Documentation

data PermT m a

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), 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)

runPermT :: MonadPlus m => PermT m a -> m a

Unwrap a PermT, combining actions using the MonadPlus for f.

liftPerm :: Applicative m => m a -> PermT m a

A version of lift that can be used with just an Applicative for m.

hoistPerm :: Monad n => (forall a. m a -> n a) -> PermT m b -> PermT n b

Lift a monad homomorphism from m to n into a monad homomorphism from PermT m to PermT n.