package alg_structs

  1. Overview
  2. Docs

Module Alg_structsSource

Structures

Triviality

Sourcemodule Triv : sig ... end

A solitary type

Functors

Sourcemodule Functor : sig ... end

An interface for types that can be mapped over.

Sourcemodule Applicative : sig ... end

Applicative functors "allow sequencing of functorial computations" (wikipedia) with the limitation that "values computed by subcomputations cannot affect what subsequent computations will take place" (Core docs).

Algebras

Sourcemodule Semigroup : sig ... end

An interface for a type with a binary, associative operator over it.

Sourcemodule Monoid : sig ... end

An interface for a type with a binary, associative operator over it and a privileged unit value.

Folding

Sourcemodule Foldable : sig ... end

Data structures that can be folded over.

Utilities

Sourcemodule NonEmptyList : sig ... end

Non-empty lists

include module type of struct include Util end
Sourcetype 'a proxy = 'a Util.proxy =
  1. | Proxy

Proxy : 'a is a proxy for type 'a, allowing one to pass the type around without having to present a witnessing value.

See Haskell's Proxy.

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