Test.Monad.Control

Laws for MonadTransControl and MonadBaseControl.

MonadState laws

liftControl :: forall t m a. (MonadTransControl t, Monad m) => m a -> t m a

liftWith_return :: forall t m a. (MonadTransControl t, Monad m, Monad (t m)) => a -> Equation (t m a)

Implied by liftWith_lift.

liftWith_bind :: forall t m a b. (MonadTransControl t, Monad m, Monad (t m)) => m a -> (a -> m b) -> Equation (t m b)

Implied by liftWith_lift.

liftWith_lift :: forall t m a. (MonadTransControl t, Monad m) => m a -> Equation (t m a)

Implies liftWith_return and liftWith_bind.

liftWith_restoreT :: forall t m a. (MonadTransControl t, Monad m, Monad (t m)) => t m a -> Equation (t m a)

liftBaseControl :: forall m a n. MonadBaseControl n m => n a -> m a

liftBaseWith_liftBase :: forall m a n. MonadBaseControl n m => n a -> Equation (m a)

liftBaseWith_restoreM :: forall m a n. MonadBaseControl n m => m a -> Equation (m a)