Control.Applicative.Perm

Documentation

type Perm = PermT' Applicative

The permutation applicative

runPerm :: Alternative m => Perm m a -> m a

Unwrap a Perm, combining actions using the Alternative for f.

data PermT' c m a

The permutation action, available as either an Applicative or a Monad, determined by the combinators used.

Instances

(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 (PermT m)

Monad (PermT m) => MonadPlus (PermT m)

(Monad (PermT m), MonadIO m) => MonadIO (PermT m)

MonadTrans (PermT' c)

Functor (PermT' c m)

Functor (PermT' c m) => Applicative (PermT' c m)

Applicative (PermT' c m) => Alternative (PermT' c m)

liftPerm :: m a -> PermT' c m a

A version of lift without the Monad m constraint

hoistPerm :: (forall a. m a -> n a) -> PermT' c m b -> PermT' c n b

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