package preface

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

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.

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