Control.Comonad.Store.Class · comonad-5.0.9

classclass Comonad w => ComonadStore s (w :: Type -> Type) | w -> s where

Instances4ComonadStore

Comonad w => ComonadStore s (StoreT s w)Defined in comonad-5.0.9 · Control.Comonad.Store.Class
ComonadStore s w => ComonadStore s (EnvT e w)Defined in comonad-5.0.9 · Control.Comonad.Store.Class
ComonadStore s w => ComonadStore s (IdentityT w)Defined in comonad-5.0.9 · Control.Comonad.Store.Class
(ComonadStore s w, Monoid m) => ComonadStore s (TracedT m w)Defined in comonad-5.0.9 · Control.Comonad.Store.Class

valuelowerPos :: (ComonadTrans t, ComonadStore s w) => t w a -> s

valuelowerPeek :: (ComonadTrans t, ComonadStore s w) => s -> t w a -> a