preface.stdlib
Preface_stdlib.Store
A specialized version of a Store comonad with Identity as the inner comonad. Since Preface.Make.Store is a Transformer, this module exposes the classical Store comonad (or Costate).
Store comonad
Identity
Preface.Make.Store
Costate
preface
preface.core
preface.make
preface.specs
A Store Comonad is set up by a type.
Store Comonad
module Over (Store : Preface_specs.Types.T0) : sig ... end