package prbnmcn-basic-structures

  1. Overview
  2. Docs
package prbnmcn-basic-structures
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.

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