Store.CORE
Operation of Store
comonad parametrized over an inner comonad and store
.
Get the current focus for a different modified stored value (absolute setter).
Modify (set and apply a function) the focus (relative setter).
module Experiment (F : Functor.API) : sig ... end
Applies a function which lift the store to a functor-value and use the accessor to read the resulting focus.