Bludigon.Control.Print

Documentation

data ControlPrintT m a

Instances

MonadTrans ControlPrintT

Defined in Bludigon.Control.Print

Methods

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

MonadTransControl ControlPrintT

Defined in Bludigon.Control.Print

Associated Types

type StT ControlPrintT a

Methods

liftWith :: Monad m => (Run ControlPrintT -> m a) -> ControlPrintT m a

restoreT :: Monad m => m (StT ControlPrintT a) -> ControlPrintT m a

MonadBase b m => MonadBase b (ControlPrintT m)

Defined in Bludigon.Control.Print

Methods

liftBase :: b α -> ControlPrintT m α

MonadBaseControl b m => MonadBaseControl b (ControlPrintT m)

Defined in Bludigon.Control.Print

Associated Types

type StM (ControlPrintT m) a

Methods

liftBaseWith :: (RunInBase (ControlPrintT m) b -> b a) -> ControlPrintT m a

restoreM :: StM (ControlPrintT m) a -> ControlPrintT m a

Monad m => Monad (ControlPrintT m)

Defined in Bludigon.Control.Print

Methods

(>>=) :: ControlPrintT m a -> (a -> ControlPrintT m b) -> ControlPrintT m b

(>>) :: ControlPrintT m a -> ControlPrintT m b -> ControlPrintT m b

return :: a -> ControlPrintT m a

Functor m => Functor (ControlPrintT m)

Defined in Bludigon.Control.Print

Methods

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

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

Applicative m => Applicative (ControlPrintT m)

Defined in Bludigon.Control.Print

Methods

pure :: a -> ControlPrintT m a

(<*>) :: ControlPrintT m (a -> b) -> ControlPrintT m a -> ControlPrintT m b

liftA2 :: (a -> b -> c) -> ControlPrintT m a -> ControlPrintT m b -> ControlPrintT m c

(*>) :: ControlPrintT m a -> ControlPrintT m b -> ControlPrintT m b

(<*) :: ControlPrintT m a -> ControlPrintT m b -> ControlPrintT m a

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

type StT ControlPrintT a

Defined in Bludigon.Control.Print

type StT ControlPrintT a = a

type StM (ControlPrintT m) a

Defined in Bludigon.Control.Print

type StM (ControlPrintT m) a = StM m a

type ControlConstraint (ControlPrintT m) a

Defined in Bludigon.Control.Print

type ControlConstraint (ControlPrintT m) a = Show a

runControlPrintT :: ControlPrintT m a -> m a