Blucontrol.Monad.PrepareValue.Const

Documentation

data PrepareValueConstT c m a

Instances

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

Defined in Blucontrol.Monad.PrepareValue.Const

Methods

liftBase :: b α -> PrepareValueConstT c m α

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

Defined in Blucontrol.Monad.PrepareValue.Const

Associated Types

type StM (PrepareValueConstT c m) a

Methods

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

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

MonadTrans (PrepareValueConstT c)

Defined in Blucontrol.Monad.PrepareValue.Const

Methods

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

MonadTransControl (PrepareValueConstT c)

Defined in Blucontrol.Monad.PrepareValue.Const

Associated Types

type StT (PrepareValueConstT c) a

Methods

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

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

Monad m => Monad (PrepareValueConstT c m)

Defined in Blucontrol.Monad.PrepareValue.Const

Methods

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

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

return :: a -> PrepareValueConstT c m a

Functor m => Functor (PrepareValueConstT c m)

Defined in Blucontrol.Monad.PrepareValue.Const

Methods

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

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

Applicative m => Applicative (PrepareValueConstT c m)

Defined in Blucontrol.Monad.PrepareValue.Const

Methods

pure :: a -> PrepareValueConstT c m a

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

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

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

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

Monad m => MonadPrepareValue (PrepareValueConstT c m)

Defined in Blucontrol.Monad.PrepareValue.Const

Associated Types

type PreparedValue (PrepareValueConstT c m)

Methods

preparedValue :: PrepareValueConstT c m (PreparedValue (PrepareValueConstT c m))

type StT (PrepareValueConstT c) a

Defined in Blucontrol.Monad.PrepareValue.Const

type StT (PrepareValueConstT c) a = StT (ReaderT c) a

type PreparedValue (PrepareValueConstT c m)

Defined in Blucontrol.Monad.PrepareValue.Const

type PreparedValue (PrepareValueConstT c m) = c

type StM (PrepareValueConstT c m) a

Defined in Blucontrol.Monad.PrepareValue.Const

type StM (PrepareValueConstT c m) a = StM (ReaderT c m) a

runPrepareValueConstT :: c -> PrepareValueConstT c m a -> m a