package preface

  1. Overview
  2. Docs
On This Page
  1. Specialization

Module Preface_stdlib.StoreSource

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).

Specialization

A Store Comonad is set up by a type.

Sourcemodule Over (Store : Preface_specs.Types.T0) : sig ... end