preface.stdlib
Preface_stdlib.Env
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).
Env comonad
Identity
Preface.Make.Env
Coreader
preface
preface.core
preface.make
preface.specs
An Env Comonad is set up by a type.
Env Comonad
module Over (Env : Preface_specs.Types.T0) : sig ... end