Safe Haskell	None
Language	Haskell2010

Blucontrol.Control.Concat

Documentation

data ControlConcatT (t1 :: (* -> *) -> * -> *) (t2 :: (* -> *) -> * -> *) (m :: * -> *) a Source #

Instances

Instances details

MonadBase b (t2 (t1 m)) => MonadBase b (ControlConcatT t1 t2 m) Source #
Instance details Defined in Blucontrol.Control.Concat Methods liftBase :: b α -> ControlConcatT t1 t2 m α #
MonadBaseControl b (t2 (t1 m)) => MonadBaseControl b (ControlConcatT t1 t2 m) Source #
Instance details Defined in Blucontrol.Control.Concat Associated Types type StM (ControlConcatT t1 t2 m) a # Methods liftBaseWith :: (RunInBase (ControlConcatT t1 t2 m) b -> b a) -> ControlConcatT t1 t2 m a # restoreM :: StM (ControlConcatT t1 t2 m) a -> ControlConcatT t1 t2 m a #
(forall (m :: Type -> Type). Monad m => Monad (t1 m), MonadTrans t1, MonadTrans t2) => MonadTrans (ControlConcatT t1 t2) Source #
Instance details Defined in Blucontrol.Control.Concat Methods lift :: Monad m => m a -> ControlConcatT t1 t2 m a #
(forall (m :: Type -> Type). Monad m => Monad (t1 m), MonadTransControl t1, MonadTransControl t2) => MonadTransControl (ControlConcatT t1 t2) Source #
Instance details Defined in Blucontrol.Control.Concat Associated Types type StT (ControlConcatT t1 t2) a # Methods liftWith :: Monad m => (Run (ControlConcatT t1 t2) -> m a) -> ControlConcatT t1 t2 m a # restoreT :: Monad m => m (StT (ControlConcatT t1 t2) a) -> ControlConcatT t1 t2 m a #
Monad (t2 (t1 m)) => Monad (ControlConcatT t1 t2 m) Source #
Instance details Defined in Blucontrol.Control.Concat Methods (>>=) :: ControlConcatT t1 t2 m a -> (a -> ControlConcatT t1 t2 m b) -> ControlConcatT t1 t2 m b # (>>) :: ControlConcatT t1 t2 m a -> ControlConcatT t1 t2 m b -> ControlConcatT t1 t2 m b # return :: a -> ControlConcatT t1 t2 m a #
Functor (t2 (t1 m)) => Functor (ControlConcatT t1 t2 m) Source #
Instance details Defined in Blucontrol.Control.Concat Methods fmap :: (a -> b) -> ControlConcatT t1 t2 m a -> ControlConcatT t1 t2 m b # (<$) :: a -> ControlConcatT t1 t2 m b -> ControlConcatT t1 t2 m a #
Applicative (t2 (t1 m)) => Applicative (ControlConcatT t1 t2 m) Source #
Instance details Defined in Blucontrol.Control.Concat Methods pure :: a -> ControlConcatT t1 t2 m a # (<>) :: ControlConcatT t1 t2 m (a -> b) -> ControlConcatT t1 t2 m a -> ControlConcatT t1 t2 m b # liftA2 :: (a -> b -> c) -> ControlConcatT t1 t2 m a -> ControlConcatT t1 t2 m b -> ControlConcatT t1 t2 m c # (>) :: ControlConcatT t1 t2 m a -> ControlConcatT t1 t2 m b -> ControlConcatT t1 t2 m b # (<*) :: ControlConcatT t1 t2 m a -> ControlConcatT t1 t2 m b -> ControlConcatT t1 t2 m a #
(MonadControl (t1 m), MonadControl (t2 (t1 m)), MonadTrans t2) => MonadControl (ControlConcatT t1 t2 m) Source #
Instance details Defined in Blucontrol.Control.Concat Associated Types type ControlConstraint (ControlConcatT t1 t2 m) a Source # Methods doInbetween :: ControlConstraint (ControlConcatT t1 t2 m) a => a -> ControlConcatT t1 t2 m () Source #
type StT (ControlConcatT t1 t2) a Source #
Instance details Defined in Blucontrol.Control.Concat type StT (ControlConcatT t1 t2) a = StT t1 (StT t2 a)
type StM (ControlConcatT t1 t2 m) a Source #
Instance details Defined in Blucontrol.Control.Concat type StM (ControlConcatT t1 t2 m) a = StM (t2 (t1 m)) a
type ControlConstraint (ControlConcatT t1 t2 m) a Source #
Instance details Defined in Blucontrol.Control.Concat type ControlConstraint (ControlConcatT t1 t2 m) a = (ControlConstraint (t1 m) a, ControlConstraint (t2 (t1 m)) a)

runControlConcatT :: (t1 m a -> m a) -> (t2 (t1 m) a -> t1 m a) -> ControlConcatT t1 t2 m a -> m a Source #

(!>) :: (t1 m a -> m a) -> (t2 (t1 m) a -> t1 m a) -> ControlConcatT t1 t2 m a -> m a infixr 5 Source #