Bludigon.Gamma.Const

Documentation

data GammaConstT m a

Instances

MonadTrans GammaConstT

Defined in Bludigon.Gamma.Const

Methods

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

MonadTransControl GammaConstT

Defined in Bludigon.Gamma.Const

Associated Types

type StT GammaConstT a

Methods

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

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

MonadBase b m => MonadBase b (GammaConstT m)

Defined in Bludigon.Gamma.Const

Methods

liftBase :: b α -> GammaConstT m α

MonadBaseControl b m => MonadBaseControl b (GammaConstT m)

Defined in Bludigon.Gamma.Const

Associated Types

type StM (GammaConstT m) a

Methods

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

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

MonadReader r m => MonadReader r (GammaConstT m)

Defined in Bludigon.Gamma.Const

Methods

ask :: GammaConstT m r

local :: (r -> r) -> GammaConstT m a -> GammaConstT m a

reader :: (r -> a) -> GammaConstT m a

Monad m => Monad (GammaConstT m)

Defined in Bludigon.Gamma.Const

Methods

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

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

return :: a -> GammaConstT m a

Functor m => Functor (GammaConstT m)

Defined in Bludigon.Gamma.Const

Methods

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

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

Applicative m => Applicative (GammaConstT m)

Defined in Bludigon.Gamma.Const

Methods

pure :: a -> GammaConstT m a

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

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

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

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

Monad m => MonadGamma (GammaConstT m)

Defined in Bludigon.Gamma.Const

Methods

gamma :: GammaConstT m Trichromaticity

type StT GammaConstT a

Defined in Bludigon.Gamma.Const

type StT GammaConstT a = StT (ReaderT Trichromaticity) a

type StM (GammaConstT m) a

Defined in Bludigon.Gamma.Const

type StM (GammaConstT m) a = StM (ReaderT Trichromaticity m) a

runGammaConstT :: Trichromaticity -> GammaConstT m a -> m a