Blucontrol.Monad.Gamma.Modifier

Documentation

data GammaModifierT m a

Instances

MonadTrans GammaModifierT

Defined in Blucontrol.Monad.Gamma.Modifier

Methods

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

MonadBase b m => MonadBase b (GammaModifierT m)

Defined in Blucontrol.Monad.Gamma.Modifier

Methods

liftBase :: b α -> GammaModifierT m α

MonadBaseControl b m => MonadBaseControl b (GammaModifierT m)

Defined in Blucontrol.Monad.Gamma.Modifier

Associated Types

type StM (GammaModifierT m) a

Methods

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

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

Monad m => Monad (GammaModifierT m)

Defined in Blucontrol.Monad.Gamma.Modifier

Methods

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

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

return :: a -> GammaModifierT m a

Functor m => Functor (GammaModifierT m)

Defined in Blucontrol.Monad.Gamma.Modifier

Methods

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

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

Applicative m => Applicative (GammaModifierT m)

Defined in Blucontrol.Monad.Gamma.Modifier

Methods

pure :: a -> GammaModifierT m a

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

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

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

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

(MonadBase IO m, MonadGamma m) => MonadGamma (GammaModifierT m)

Defined in Blucontrol.Monad.Gamma.Modifier

Associated Types

type GammaValue (GammaModifierT m)

Methods

gamma :: GammaModifierT m (GammaValue (GammaModifierT m))

type GammaValue (GammaModifierT m)

Defined in Blucontrol.Monad.Gamma.Modifier

type GammaValue (GammaModifierT m) = GammaValue m

type StM (GammaModifierT m) a

Defined in Blucontrol.Monad.Gamma.Modifier

type StM (GammaModifierT m) a = StM (ReaderT (GammaValue m -> IO (GammaValue m)) m) a

runGammaModifierT :: (GammaValue m -> IO (GammaValue m)) -> GammaModifierT m a -> m a