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, Functor f) => ComonadStore s (StreamT f 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) | |
Comonad w => ComonadStore s (StoreT s w) | |
Comonad w => ComonadStore s (StoreT s w) |
gets :: ComonadStore s w => (s -> t) -> w a -> tSource
experiment :: (ComonadStore s w, Functor f) => f (s -> s) -> w a -> f aSource