package preface

  1. Overview
  2. Docs
On This Page
  1. Specialization
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

module Over (Tape : Preface_specs.MONOID) : sig ... end
OCaml

Innovation. Community. Security.