MonadBase b (t2 (t1 m)) => MonadBase b (ControlConcatT t1 t2 m) Source # | |
Instance detailsDefined in Blucontrol.Control.Concat |
MonadBaseControl b (t2 (t1 m)) => MonadBaseControl b (ControlConcatT t1 t2 m) Source # | |
Instance detailsDefined in Blucontrol.Control.Concat |
(forall (m :: Type -> Type). Monad m => Monad (t1 m), MonadTrans t1, MonadTrans t2) => MonadTrans (ControlConcatT t1 t2) Source # | |
Instance detailsDefined in Blucontrol.Control.Concat |
(forall (m :: Type -> Type). Monad m => Monad (t1 m), MonadTransControl t1, MonadTransControl t2) => MonadTransControl (ControlConcatT t1 t2) Source # | |
Instance detailsDefined in Blucontrol.Control.Concat |
Monad (t2 (t1 m)) => Monad (ControlConcatT t1 t2 m) Source # | |
Instance detailsDefined in Blucontrol.Control.Concat |
Functor (t2 (t1 m)) => Functor (ControlConcatT t1 t2 m) Source # | |
Instance detailsDefined in Blucontrol.Control.Concat |
Applicative (t2 (t1 m)) => Applicative (ControlConcatT t1 t2 m) Source # | |
Instance detailsDefined in Blucontrol.Control.Concat |
(MonadControl (t1 m), MonadControl (t2 (t1 m)), MonadTrans t2) => MonadControl (ControlConcatT t1 t2 m) Source # | |
Instance detailsDefined in Blucontrol.Control.Concat |
type StT (ControlConcatT t1 t2) a Source # | |
Instance detailsDefined in Blucontrol.Control.Concat |
type StM (ControlConcatT t1 t2 m) a Source # | |
Instance detailsDefined in Blucontrol.Control.Concat |
type ControlConstraint (ControlConcatT t1 t2 m) a Source # | |
Instance detailsDefined in Blucontrol.Control.Concat |