Blucontrol.Control.Concat

Documentation

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

Instances

MonadBase b (t2 (t1 m)) => MonadBase b (ControlConcatT t1 t2 m)

Defined in Blucontrol.Control.Concat

Methods

liftBase :: b α -> ControlConcatT t1 t2 m α

MonadBaseControl b (t2 (t1 m)) => MonadBaseControl b (ControlConcatT t1 t2 m)

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)

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)

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)

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)

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)

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)

Defined in Blucontrol.Control.Concat

Associated Types

type ControlConstraint (ControlConcatT t1 t2 m) a

Methods

doInbetween :: ControlConstraint (ControlConcatT t1 t2 m) a => a -> ControlConcatT t1 t2 m ()

type StT (ControlConcatT t1 t2) a

Defined in Blucontrol.Control.Concat

type StT (ControlConcatT t1 t2) a = StT t1 (StT t2 a)

type StM (ControlConcatT t1 t2 m) a

Defined in Blucontrol.Control.Concat

type StM (ControlConcatT t1 t2 m) a = StM (t2 (t1 m)) a

type ControlConstraint (ControlConcatT t1 t2 m) a

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

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