package orsetto

  1. Overview
  2. Docs
A library of assorted structured data interchange languages

Install 

dune-project
 Dependency

bitbucket.org Edit opam file Versions (8)

Authors

  1. J
    james woodyatt <jhw@conjury.org>

Maintainers

  1. J
    james woodyatt <jhw@conjury.org>

Sources

r1.1.3.tar.gz
sha512=9b654edb663ae697563f150824047052f3b1bf760398f24bce6350553f031f73c46b6337239a1acd871e61238597ea92046809e3358290ff14d6ba671b449085

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

Module Cf_bsearch_data.Table

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.