Safe Haskell	Safe-Inferred
Language	Haskell2010

Blucontrol.Monad.PrepareValue.Modifier

Documentation

data PrepareValueModifierT m a Source #

Instances

Instances details

MonadTrans PrepareValueModifierT Source #
Instance details Defined in Blucontrol.Monad.PrepareValue.Modifier Methods lift :: Monad m => m a -> PrepareValueModifierT m a #
MonadBaseControl b m => MonadBaseControl b (PrepareValueModifierT m) Source #
Instance details Defined in Blucontrol.Monad.PrepareValue.Modifier Associated Types type StM (PrepareValueModifierT m) a # Methods liftBaseWith :: (RunInBase (PrepareValueModifierT m) b -> b a) -> PrepareValueModifierT m a # restoreM :: StM (PrepareValueModifierT m) a -> PrepareValueModifierT m a #
MonadBase b m => MonadBase b (PrepareValueModifierT m) Source #
Instance details Defined in Blucontrol.Monad.PrepareValue.Modifier Methods liftBase :: b α -> PrepareValueModifierT m α #
Applicative m => Applicative (PrepareValueModifierT m) Source #
Instance details Defined in Blucontrol.Monad.PrepareValue.Modifier Methods pure :: a -> PrepareValueModifierT m a # (<>) :: PrepareValueModifierT m (a -> b) -> PrepareValueModifierT m a -> PrepareValueModifierT m b # liftA2 :: (a -> b -> c) -> PrepareValueModifierT m a -> PrepareValueModifierT m b -> PrepareValueModifierT m c # (>) :: PrepareValueModifierT m a -> PrepareValueModifierT m b -> PrepareValueModifierT m b # (<*) :: PrepareValueModifierT m a -> PrepareValueModifierT m b -> PrepareValueModifierT m a #
Functor m => Functor (PrepareValueModifierT m) Source #
Instance details Defined in Blucontrol.Monad.PrepareValue.Modifier Methods fmap :: (a -> b) -> PrepareValueModifierT m a -> PrepareValueModifierT m b # (<$) :: a -> PrepareValueModifierT m b -> PrepareValueModifierT m a #
Monad m => Monad (PrepareValueModifierT m) Source #
Instance details Defined in Blucontrol.Monad.PrepareValue.Modifier Methods (>>=) :: PrepareValueModifierT m a -> (a -> PrepareValueModifierT m b) -> PrepareValueModifierT m b # (>>) :: PrepareValueModifierT m a -> PrepareValueModifierT m b -> PrepareValueModifierT m b # return :: a -> PrepareValueModifierT m a #
(MonadBase IO m, MonadPrepareValue m) => MonadPrepareValue (PrepareValueModifierT m) Source #
Instance details Defined in Blucontrol.Monad.PrepareValue.Modifier Associated Types type PreparedValue (PrepareValueModifierT m) Source # Methods preparedValue :: PrepareValueModifierT m (PreparedValue (PrepareValueModifierT m)) Source #
type PreparedValue (PrepareValueModifierT m) Source #
Instance details Defined in Blucontrol.Monad.PrepareValue.Modifier type PreparedValue (PrepareValueModifierT m) = PreparedValue m
type StM (PrepareValueModifierT m) a Source #
Instance details Defined in Blucontrol.Monad.PrepareValue.Modifier type StM (PrepareValueModifierT m) a = StM (ReaderT (PreparedValue m -> IO (PreparedValue m)) m) a

runPrepareValueModifierT :: (PreparedValue m -> IO (PreparedValue m)) -> PrepareValueModifierT m a -> m a Source #