package orsetto
A library of assorted structured data interchange languages
Install
Dune Dependency
Authors
Maintainers
Sources
r1.0.tar.gz
sha256=585297372d7f6cfb830214e9ef22d6d072a39b2a1591ef90f1ee2bcfe144cad3
md5=6bb6a7ba88bf2c7595a0b332921e60b4
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 ... endThe 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 = stringA table basis module
module Int_basis :
Basis
with type Search.t = int
and type Vector.element = int
and type Vector.index = int
and type Vector.t = int arrayA table basis module
module String_basis :
Basis
with type Search.t = string
and type Vector.element = string
and type Vector.index = int
and type Vector.t = string arrayA table basis module
module type Profile = sig ... endThe 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.tUse Create(B) to create an instance of a table module.
module Of_char : sig ... endA distinguished instance of tables of char type elements.
module Of_int : sig ... endA distinguished instance of tables of int type elements.
module Of_string : sig ... endA distinguished instance of tables of string type elements.