package orsetto

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

This module contains the signature of an immutable map constructed from a binary search table of containing key elements of the map and an co-domain array of the co-domain elements. Distinguished instances are provided for maps from char and int type values.

module Aux : sig ... end

This module contains the signature of an ancillary array for storage of the co-domain elements of a map structure.

module type Basis = sig ... end

The signature of a map basis module.

module Char_basis : Basis with type Index.t = int and type Table.Search.t = char and type Table.Vector.element = char and type Table.Vector.t = string and type 'a Content.t = 'a array

A distinguished instance of the map basis for character maps.

module Int_basis : Basis with type Index.t = int and type Table.Search.t = int and type Table.Vector.element = int and type Table.Vector.t = int array and type 'a Content.t = 'a array

A distinguished instance of the map basis for integer maps.

module String_basis : Basis with type Index.t = int and type Table.Search.t = string and type Table.Vector.element = string and type Table.Vector.t = string array and type 'a Content.t = 'a array

A distinguished instance of the map basis for string maps.

module type Profile = sig ... end

The signature of a map implementation module.

Use Of_basis(B) to create an instance of a map module.

module Create (R : Cf_relations.Order) : Profile with type search := R.t and type key := R.t and type Unsafe.index := int and type Unsafe.vector := R.t array and type 'a Unsafe.content := 'a array

A simplified constructor for any total order.

module Of_char : Profile with type search := char and type key := char and type Unsafe.index := int and type Unsafe.vector := string and type 'a Unsafe.content := 'a array

A distinguished instance for character maps.

module Of_int : sig ... end

A distinguished instance for integer maps.

module Of_string : sig ... end

A distinguished instance for string maps.

OCaml

Innovation. Community. Security.