Up – Package index » Preface » Library preface.stdlib » Preface_stdlib » Traced

Module `Preface_stdlib.Traced`Source

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