Preface_specs.Reader
A Reader monad parametrized over an inner Monad and an environment. Reader is a monad transformer.
Reader monad
Monad
Reader
module type CORE = sig ... end
Operation of Reader monad parametrized over an inner monad and an environment.
module type API = sig ... end
The complete interface of a Reader monad which introduces the Monad API into the Reader API.