Module Preface_make.Env

Building a Preface_specs.Env, an Env transformer.

Using the minimal definition

Build an Preface_specs.ENV over an Inner Preface_specs.COMONAD.

Improving API

If there are complementary implementations to Preface_specs.COMONAD attached to the Inner Preface_specs.COMONAD type, it is possible to promote the Preface_specs.ENV API with these complementary implementations

Functor

If the Inner Preface_specs.COMONAD is also a Preface_specs.FUNCTOR, the Env comonad is also a Preface_specs.FUNCTOR.

Applicative

If the Inner Preface_specs.COMONAD is also an Preface_specs.APPLICATIVE and the Env is a Preface_specs.MONOID , the Env comonad is also a Preface_specs.APPLICATIVE.

Comonad

If the Inner Preface_specs.COMONAD is also a Preface_specs.COMONAD, the Env comonad is also a Preface_specs.COMONAD (this is this functor which is used in the full API definition).

Manual construction

Advanced way to build an Preface_specs.ENV, constructing and assembling a component-by-component of Preface_specs.ENV. (In order to provide your own implementation for some features.)

Building Core