Modulecomonad-5.0.10
Control.Comonad.Trans.Store
- Packagecomonad-5.0.10
- Exports11
- LicenceBSD-3-Clause
Constructors
StoreT (w (s -> a)) s
Instances9ComonadEnv, ComonadStore, ComonadTraced, ComonadTrans, ComonadHoist, Functor, …
ComonadEnv e w => ComonadEnv e (StoreT t w)Defined in comonad-5.0.10 · Control.Comonad.Env.ClassComonad w => ComonadStore s (StoreT s w)Defined in comonad-5.0.10 · Control.Comonad.Store.ClassComonadTraced m w => ComonadTraced m (StoreT s w)Defined in comonad-5.0.10 · Control.Comonad.Traced.ClassComonadTrans (StoreT s)Defined in comonad-5.0.10 · Control.Comonad.Trans.StoreComonadHoist (StoreT s)Defined in comonad-5.0.10 · Control.Comonad.Trans.StoreFunctor w => Functor (StoreT s w)Defined in comonad-5.0.10 · Control.Comonad.Trans.Store(Applicative w, Monoid s) => Applicative (StoreT s w)Defined in comonad-5.0.10 · Control.Comonad.Trans.StoreComonad w => Comonad (StoreT s w)Defined in comonad-5.0.10 · Control.Comonad.Trans.Store(ComonadApply w, Semigroup s) => ComonadApply (StoreT s w)Defined in comonad-5.0.10 · Control.Comonad.Trans.Store