Bludigon.Main.Control

Documentation

data ControlT m a

Instances

MonadTrans ControlT

Defined in Bludigon.Main.Control

Methods

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

MonadTransControl ControlT

Defined in Bludigon.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)

Defined in Bludigon.Main.Control

Methods

liftBase :: b α -> ControlT m α

MonadBaseControl b m => MonadBaseControl b (ControlT m)

Defined in Bludigon.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)

Defined in Bludigon.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)

Defined in Bludigon.Main.Control

Methods

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

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

Applicative m => Applicative (ControlT m)

Defined in Bludigon.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

Defined in Bludigon.Main.Control

type StT ControlT a = a

type StM (ControlT m) a

Defined in Bludigon.Main.Control

type StM (ControlT m) a = StM m a

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

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 ()

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)