This package provides a generalized store comonad, parameterized by a representable functor (the representation of that functor serves as the index of the store) and a generalized state monad, parameterized by a representable functor (the representation of that functor serves as the state).

representable functors on hask all monads, being isomorphic to a reader monad.

representable contravariant endofunctors over the category of haskell types are isomorphic to (_ -> r) and resemble mappings to a fixed range.

representable endofunctors over the category of haskell types are isomorphic to the reader monad and so inherit a very large number of properties for free.

this package provides a library for the haskell programming language. see http://www.haskell.org/ for more information on haskell.