package preface

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

A Writer monad parametrized over an inner Monad and an tape which is a Monoid. Writer is a monad transformer.

Structure anatomy

module type CORE = sig ... end

Operation of Writer monad parametrized over an inner monad and a monoidal tape.

Complete API

module type API = sig ... end

The complete interface of a Writer monad wich introduces the Monad API into the Writer API.