package preface

  1. Overview
  2. Docs
package preface
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Preface_stdlibSource

Common datatypes

Sourcemodule Void : sig ... end

Void describes unhabited type. A type that is not representable.

Sourcemodule Identity : sig ... end

Implementation for Identity.t.

Sourcemodule Option : sig ... end

Implementation for Option.t.

Sourcemodule Either : sig ... end

Implementation for Either.t.

Sourcemodule Pair : sig ... end

Implementation for Pair.t.

Collection

Sourcemodule List : sig ... end

Implementation for List.t.

Sourcemodule Nonempty_list : sig ... end

Implementation for Nonempty_list.t.

Sourcemodule Seq : sig ... end

Implementation for Seq.t.

Sourcemodule Stream : sig ... end

Implementation for Stream.t.

Error handling

Sourcemodule Exn : sig ... end

Built-in exception used along Preface.

Sourcemodule Result : sig ... end

Implementation for Result.t.

Sourcemodule Validation : sig ... end

Implementation for Validation.t.

Sourcemodule Try : sig ... end

Implementation for Try.t.

Sourcemodule Validate : sig ... end

Implementation for Try.t.

Functions

Sourcemodule Fun : sig ... end

Implementation for function 'a -> 'b.

Sourcemodule Predicate : sig ... end

Implementation for Predicate.t.

Sourcemodule Equivalence : sig ... end

Implementation for Equivalence.t.

Sourcemodule Continuation : sig ... end

Implementation for Continuation.t.

Transformers over identity

There are some (monad or comonad) transformers defined in Spec/Make. In Stdlib these are some concretised version using Identity as inner monad or comonad.

Sourcemodule Reader : sig ... end

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

Sourcemodule Writer : sig ... end

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

Sourcemodule State : sig ... end

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.

Sourcemodule Store : sig ... end

A specialized version of a Store comonad with Identity as the inner comonad. Since Preface.Make.Store is a Transformer, this module exposes the classical Store comonad (or Costate).

Sourcemodule Env : sig ... end

A specialized version of an Env comonad with Identity as the inner comonad. Since Preface.Make.Env is a Transformer, this module exposes the classical Env comonad (or Coreader).

Sourcemodule Traced : sig ... end

A specialized version of a Traced comonad with Identity as the inner comonad. Since Preface.Make.Traced is a Transformer, this module exposes the classical Traced comonad (or Cowriter).

Static Analysis

Applicatives, Selectives, Profunctors and Arrows allow, contrary to monads, to perform static analyses on calculation workflows. Over and Under allow optimistic or pessimistic approximations.

Sourcemodule Approximation : sig ... end

Build monoidal approximation.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct