You can search for identifiers within the package.
in-package search v0.2.0
preface.stdlib
Preface_stdlib.State
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.
State monad
Identity
Preface.Make.State
A State Monad is set up by a type.
State Monad
module Over (State : Preface_specs.Types.T0) : sig ... end