package preface

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

A State monad parametrized over an inner Monad and a state (which is an arbitrary type). State is a monad transformer.

module type CORE = sig ... end

Operation of State monad parametrized over an inner monad and state.

Complete API

module type API = sig ... end

The complete interface of a State monad wich introduces the Monad API into the State API.