Module `Cf_bsearch_data.Map`

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.

module Of_basis
  (B : Basis) : 
  Profile
    with type search := B.Table.Search.t
     and type key := B.Table.Vector.element
     and type Unsafe.index := B.Index.t
     and type Unsafe.vector := B.Table.Vector.t
     and type 'a Unsafe.content := 'a B.Content.t

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.

Install

Dune Dependency

Authors

Maintainers

Sources

doc/orsetto.cf/Cf_bsearch_data/Map/index.html

Module `Cf_bsearch_data.Map`

package orsetto

Install

Dune Dependency

Authors

Maintainers

Sources

doc/orsetto.cf/Cf_bsearch_data/Map/index.html

Module Cf_bsearch_data.Map

Module `Cf_bsearch_data.Map`