package preface

  1. Overview
  2. Docs
On This Page
  1. Specialization
package preface
Legend:
Library
Module
Module type
Parameter
Class
Class type

A specialized version of an Env comonad with Identity as the inner comonad. Since Preface.Make.Env is a Transformer, this module exposes the classical Env comonad (or Coreader).

Specialization

An Env Comonad is set up by a type.

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