Bludigon.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 Bludigon.Control

Associated Types

type ControlConstraint IO a

Methods

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

MonadControl m => MonadControl (ControlPrintT m)

Defined in Bludigon.Control.Print

Associated Types

type ControlConstraint (ControlPrintT m) a

Methods

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

MonadControl m => MonadControl (ControlWaitT m)

Defined in Bludigon.Control.Wait

Associated Types

type ControlConstraint (ControlWaitT m) a

Methods

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