preface.specs
Preface_specs.State
A State monad parametrized over an inner Monad and a state (which is an arbitrary type). State is a monad transformer.
State monad
Monad
State
preface
preface.core
preface.make
preface.stdlib
module type CORE = sig ... end
Operation of State monad parametrized over an inner monad and state.
state
module type API = sig ... end
The complete interface of a State monad wich introduces the Monad API into the State API.