Preface_specs.Store
A Store comonad parametrized over an inner Comonad and a store (which is an arbitrary type). Store is a comonad transformer. Store is Costate (the dual of State).
Store comonad
Comonad
Store
Costate
State
module type CORE = sig ... end
Operation of Store comonad parametrized over an inner comonad and store.
store
module type API = sig ... end
The complete interface of a Store comonad which introduces the Comonad API into the Store API.