Portability | non-portable (fundeps, MPTCs) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
class Comonad w => ComonadStore s w | w -> s whereSource
ComonadStore s w => ComonadStore s (IdentityT w) | |
(ComonadStore s w, Monoid m) => ComonadStore s (TracedT m w) | |
(ComonadStore s w, Semigroup m, Monoid m) => ComonadStore s (TracedT m w) | |
ComonadStore s w => ComonadStore s (EnvT e w) | |
ComonadStore s w => ComonadStore s (EnvT e w) | |
ComonadStore s w => ComonadStore s (DiscontT k w) | |
ComonadStore s w => ComonadStore s (DiscontT k w) | |
ComonadStore s w => ComonadStore s (DiscontT k w) | |
Comonad w => ComonadStore s (StoreT s w) | |
Comonad w => ComonadStore s (StoreT s w) | |
Comonad w => ComonadStore s (StoreT s w) |
lowerPos :: (ComonadTrans t, ComonadStore s w) => t w a -> sSource
lowerPeek :: (ComonadTrans t, ComonadStore s w) => s -> t w a -> aSource