package preface

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

A specialized version of a State monad with Identity as the inner monad. Since Preface.Make.State is a Transformer, this module exposes the classical State monad.

Specialization

A State Monad is set up by a type.

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