Safe Haskell	None
Language	Haskell2010

Blucontrol.Main.Control

Documentation

data ControlT m a Source #

Instances

Instances details

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

runControlT :: Monad m => ControlT m a -> m a Source #

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

data ConfigControl m g r Source #

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)