Test.Monad.Trans

Laws for MonadTrans.

Documentation

lift_return :: forall t m a. (MonadTrans t, Monad m, Monad (t m)) => a -> Equation (t m a)

lift_bind :: forall t m a b. (MonadTrans t, Monad m, Monad (t m)) => m a -> (a -> m b) -> Equation (t m b)