package preface

  1. Overview
  2. Docs

Module Preface_stdlib.WriterSource

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.

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