package orsetto

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

This module contains the signature of a search table comprising a vector of data sorted in multiplicative binary search order and an ancillary vector of adjustments for searching the final rank of the tree. Distinguished instances are provided for table searchable by char, int and string values.

module type Basis = sig ... end

The signature of a table basis module.

module Char_basis : Basis with type Search.t = char and type Vector.element = char and type Vector.index = int and type Vector.t = string

A table basis module

module Order_basis (R : Cf_relations.Order) : Basis with type Search.t = R.t and type Vector.element = R.t and type Vector.index = int and type Vector.t = R.t array

Use Order_basis(R) to compose a table basis for a total order.

module Int_basis : sig ... end

A table basis module

module String_basis : sig ... end

A table basis module

module type Profile = sig ... end

The signature of table implementation modules.

module Create (B : Basis) : Profile with type search := B.Search.t and type index := B.Vector.index and type element := B.Vector.element and type Unsafe.vector := B.Vector.t

Use Create(B) to create an instance of a table module.

module Of_char : Profile with type search := char and type index := int and type element := char and type Unsafe.vector := string

A distinguished instance of tables of char type elements.

module Of_int : Profile with type search := int and type index := int and type element := int and type Unsafe.vector := int array

A distinguished instance of tables of int type elements.

module Of_string : Profile with type search := string and type index := int and type element := string and type Unsafe.vector := string array

A distinguished instance of tables of string type elements.

OCaml

Innovation. Community. Security.