package preface

  1. Overview
  2. Docs
package preface
Legend:
Library
Module
Module type
Parameter
Class
Class type

A specialized version of a Writer monad with Identity as the inner monad. Since Preface.Make.Writer is a Transformer, this module exposes the classical Writer monad.

Specialization giving a Monoid

A Writer Monad is set up by the monoidal tape which be written.

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