package preface

  1. Overview
  2. Docs

Module Preface_stdlib.ReaderSource

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

Specialization giving an Environment

A Reader Monad is set up by the environment which be requested.

Sourcemodule Over (Env : Preface_specs.Types.T0) : sig ... end