Blucontrol.Control

Documentation

class MonadBaseControl IO m => MonadControl m where

Associated Types

type ControlConstraint m a :: Constraint

Give a constraint to allow doInbetween to handle a polymorphic argument. This is usfeul to allow arguments wrapped in monadic state StM from running MonadGamma and MonadRecolor.

Methods

doInbetween

Arguments

:: ControlConstraint m a

=> a

the returned value from the last call of recolor including monadic state

-> m ()

the side effect to be run inbetween recoloring

This function will be called after recoloring the screen.

Instances

MonadControl IO

Defined in Blucontrol.Control

Associated Types

type ControlConstraint IO a

Methods

doInbetween :: ControlConstraint IO a => a -> IO ()

MonadBaseControl IO m => MonadControl (ControlCountT m)

Defined in Blucontrol.Control.Count

Associated Types

type ControlConstraint (ControlCountT m) a

Methods

doInbetween :: ControlConstraint (ControlCountT m) a => a -> ControlCountT m ()

MonadBaseControl IO m => MonadControl (ControlPrintT m)

Defined in Blucontrol.Control.Print

Associated Types

type ControlConstraint (ControlPrintT m) a

Methods

doInbetween :: ControlConstraint (ControlPrintT m) a => a -> ControlPrintT m ()

MonadBaseControl IO m => MonadControl (ControlWaitT m)

Defined in Blucontrol.Control.Wait

Associated Types

type ControlConstraint (ControlWaitT m) a

Methods

doInbetween :: ControlConstraint (ControlWaitT m) a => a -> ControlWaitT m ()

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