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

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

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

liftPerm :: m a -> PermT m a

A version of lift without the Monad m constraint

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

Lift a natural transformation from m to n into a natural transformation from PermT' c m to PermT' c n.