Blucontrol.Main.Control

Documentation

data ControlT c m a

Instances

MonadBase b m => MonadBase b (ControlT c m)

Defined in Blucontrol.Main.Control

Methods

liftBase :: b α -> ControlT c m α

MonadBaseControl b m => MonadBaseControl b (ControlT c m)

Defined in Blucontrol.Main.Control

Associated Types

type StM (ControlT c m) a

Methods

liftBaseWith :: (RunInBase (ControlT c m) b -> b a) -> ControlT c m a

restoreM :: StM (ControlT c m) a -> ControlT c m a

MonadTrans (ControlT c)

Defined in Blucontrol.Main.Control

Methods

lift :: Monad m => m a -> ControlT c m a

MonadTransControl (ControlT c)

Defined in Blucontrol.Main.Control

Associated Types

type StT (ControlT c) a

Methods

liftWith :: Monad m => (Run (ControlT c) -> m a) -> ControlT c m a

restoreT :: Monad m => m (StT (ControlT c) a) -> ControlT c m a

Monad m => Monad (ControlT c m)

Defined in Blucontrol.Main.Control

Methods

(>>=) :: ControlT c m a -> (a -> ControlT c m b) -> ControlT c m b

(>>) :: ControlT c m a -> ControlT c m b -> ControlT c m b

return :: a -> ControlT c m a

Functor m => Functor (ControlT c m)

Defined in Blucontrol.Main.Control

Methods

fmap :: (a -> b) -> ControlT c m a -> ControlT c m b

(<$) :: a -> ControlT c m b -> ControlT c m a

Applicative m => Applicative (ControlT c m)

Defined in Blucontrol.Main.Control

Methods

pure :: a -> ControlT c m a

(<*>) :: ControlT c m (a -> b) -> ControlT c m a -> ControlT c m b

liftA2 :: (a -> b -> c0) -> ControlT c m a -> ControlT c m b -> ControlT c m c0

(*>) :: ControlT c m a -> ControlT c m b -> ControlT c m b

(<*) :: ControlT c m a -> ControlT c m b -> ControlT c m a

type StT (ControlT c) a

Defined in Blucontrol.Main.Control

type StT (ControlT c) a = a

type StM (ControlT c m) a

Defined in Blucontrol.Main.Control

type StM (ControlT c m) a = StM m a

runControlT :: Monad m => ControlT c m a -> m a

loopRecolor :: (ControlConstraint m (StM g (StM r ())), MonadBaseControl IO g, MonadBaseControl IO r, MonadControl m, MonadGamma c g, MonadRecolor r) => (forall a. g a -> IO (StM g a)) -> (forall a. r a -> g (StM r a)) -> ControlT c m ()

data ConfigControl m g r

Constructors

ConfigControl

Fields

• runControl :: forall a. m a -> IO a
• runGamma :: forall a. g a -> IO (StM g a)
• runRecolor :: forall a. r a -> g (StM r a)