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.