Safe Haskell | None |
---|---|
Language | Haskell2010 |
Laws for MonadTransControl
and MonadBaseControl
.
Synopsis
- 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)
- liftWith_bind :: forall t m a b. (MonadTransControl t, Monad m, Monad (t m)) => m a -> (a -> m b) -> Equation (t m b)
- liftWith_lift :: forall t m a. (MonadTransControl t, Monad m) => m a -> Equation (t m a)
- 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)
MonadState
laws
liftControl :: forall t m a. (MonadTransControl t, Monad m) => m a -> t m a Source #
liftWith_return :: forall t m a. (MonadTransControl t, Monad m, Monad (t m)) => a -> Equation (t m a) Source #
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) Source #
Implied by liftWith_lift
.
liftWith_lift :: forall t m a. (MonadTransControl t, Monad m) => m a -> Equation (t m a) Source #
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) Source #
liftBaseControl :: forall m a n. MonadBaseControl n m => n a -> m a Source #
liftBaseWith_liftBase :: forall m a n. MonadBaseControl n m => n a -> Equation (m a) Source #
liftBaseWith_restoreM :: forall m a n. MonadBaseControl n m => m a -> Equation (m a) Source #