Blucontrol.Monad.ApplyValue.Print

Documentation

data ApplyValuePrintT c m a

Instances

MonadBaseControl b m => MonadBaseControl b (ApplyValuePrintT c m)

Defined in Blucontrol.Monad.ApplyValue.Print

Associated Types

type StM (ApplyValuePrintT c m) a

Methods

liftBaseWith :: (RunInBase (ApplyValuePrintT c m) b -> b a) -> ApplyValuePrintT c m a

restoreM :: StM (ApplyValuePrintT c m) a -> ApplyValuePrintT c m a

MonadBase b m => MonadBase b (ApplyValuePrintT c m)

Defined in Blucontrol.Monad.ApplyValue.Print

Methods

liftBase :: b α -> ApplyValuePrintT c m α

MonadTransControl (ApplyValuePrintT c)

Defined in Blucontrol.Monad.ApplyValue.Print

Associated Types

type StT (ApplyValuePrintT c) a

Methods

liftWith :: Monad m => (Run (ApplyValuePrintT c) -> m a) -> ApplyValuePrintT c m a

restoreT :: Monad m => m (StT (ApplyValuePrintT c) a) -> ApplyValuePrintT c m a

MonadTrans (ApplyValuePrintT c)

Defined in Blucontrol.Monad.ApplyValue.Print

Methods

lift :: Monad m => m a -> ApplyValuePrintT c m a

Applicative m => Applicative (ApplyValuePrintT c m)

Defined in Blucontrol.Monad.ApplyValue.Print

Methods

pure :: a -> ApplyValuePrintT c m a

(<*>) :: ApplyValuePrintT c m (a -> b) -> ApplyValuePrintT c m a -> ApplyValuePrintT c m b

liftA2 :: (a -> b -> c0) -> ApplyValuePrintT c m a -> ApplyValuePrintT c m b -> ApplyValuePrintT c m c0

(*>) :: ApplyValuePrintT c m a -> ApplyValuePrintT c m b -> ApplyValuePrintT c m b

(<*) :: ApplyValuePrintT c m a -> ApplyValuePrintT c m b -> ApplyValuePrintT c m a

Functor m => Functor (ApplyValuePrintT c m)

Defined in Blucontrol.Monad.ApplyValue.Print

Methods

fmap :: (a -> b) -> ApplyValuePrintT c m a -> ApplyValuePrintT c m b

(<$) :: a -> ApplyValuePrintT c m b -> ApplyValuePrintT c m a

Monad m => Monad (ApplyValuePrintT c m)

Defined in Blucontrol.Monad.ApplyValue.Print

Methods

(>>=) :: ApplyValuePrintT c m a -> (a -> ApplyValuePrintT c m b) -> ApplyValuePrintT c m b

(>>) :: ApplyValuePrintT c m a -> ApplyValuePrintT c m b -> ApplyValuePrintT c m b

return :: a -> ApplyValuePrintT c m a

(MonadBaseControl IO m, Show c) => MonadApplyValue (ApplyValuePrintT c m)

Defined in Blucontrol.Monad.ApplyValue.Print

Associated Types

type ApplicableValue (ApplyValuePrintT c m)

Methods

applyValue :: ApplicableValue (ApplyValuePrintT c m) -> ApplyValuePrintT c m ()

type StT (ApplyValuePrintT c) a

Defined in Blucontrol.Monad.ApplyValue.Print

type StT (ApplyValuePrintT c) a

type ApplicableValue (ApplyValuePrintT c m)

Defined in Blucontrol.Monad.ApplyValue.Print

type ApplicableValue (ApplyValuePrintT c m) = c

type StM (ApplyValuePrintT c m) a

Defined in Blucontrol.Monad.ApplyValue.Print

type StM (ApplyValuePrintT c m) a = StM m a

runApplyValuePrintT :: ApplyValuePrintT c m a -> m a