package preface

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

Module Preface_stdlib.TracedSource

A specialized version of a Traced comonad with Identity as the inner comonad. Since Preface.Make.Traced is a Transformer, this module exposes the classical Traced comonad (or Cowriter).

Specialization

A Traced Comonad is set up by a monoid.

Sourcemodule Over (Tape : Preface_specs.MONOID) : sig ... end