Control.Comonad.Store.Class

Documentation

class Comonad w => ComonadStore s w | w -> s where

Methods

get :: w a -> s

put :: s -> w a -> a

modify :: (s -> s) -> w a -> a

Instances

ComonadStore s w => ComonadStore s (IdentityT w)

(ComonadStore s w, Monoid m) => ComonadStore s (TracedT m w)

ComonadStore s w => ComonadStore s (EnvT e w)

ComonadStore s w => ComonadStore s (DiscontT k w)

Comonad w => ComonadStore s (StoreT s w)

gets :: ComonadStore s w => (s -> t) -> w a -> t

experiment :: (ComonadStore s w, Functor f) => f (s -> s) -> w a -> f a