package prbnmcn-basic-structures

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

Module Basic_structures.Basic_intfSource

Basic module types.

Sourcemodule type Ordered = sig ... end

Totally ordered data

Sourcetype 'a printer = Format.formatter -> 'a -> unit
Sourcemodule type Pp = sig ... end

Pretty-printable data

Sourcemodule type Std = sig ... end

Comparable, printable and hashable data

Sourcemodule type Abelian_group = sig ... end

Abelian group

Sourcemodule type Abelian_group_std = sig ... end
Sourcemodule type Monoid = sig ... end

Monoid

Sourcemodule type Monoid_std = sig ... end
Sourcemodule type Ring = sig ... end

Ring

Sourcemodule type Ring_std = sig ... end
Sourcemodule type Field = sig ... end

Field, assuming the ring is commutative.

Sourcemodule type Field_std = sig ... end

Field, assuming the ring is commutative.

Sourcemodule type Module = sig ... end

Modules over a ring R.

Sourcemodule type Module_std = sig ... end

Module over a ring R.

Sourcemodule type Algebra = sig ... end

Algebra over a ring

Sourcemodule type Free_module = sig ... end

Free module

Sourcemodule type Free_module_std = sig ... end
Sourcemodule type Finitely_generated_free_module = sig ... end
Sourcemodule type Partial_order = sig ... end

Partial order.

Sourcemodule type Monad = sig ... end

Module type of a plain monad

Sourcemodule type Codegen_monad = sig ... end

Monad dedicated to handling computations spanning several stages

Sourcemodule type Infix_order = sig ... end
Sourcemodule Lang : sig ... end

Module types useful for metaprogramming.

Sourcemodule type Metric = sig ... end

Metric space

Sourcemodule type Reals = sig ... end

Module type of anything that looks like the (measured) reals.

OCaml

Innovation. Community. Security.