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.0.1.tar.gz
sha256=f64814687276bad56483b2b8dfaaf70d0d6485f67fe5d44bff34bfa47af1896e
md5=3a15a377800cf988a310b4082406c685

doc/orsetto.cf/Cf_bsearch_data/index.html

Module Cf_bsearch_data

Data structures founded on sorted vectors.

Overview

This module implements some useful data structures, e.g. sets and maps, on the foundation of a general abstraction of a vector initialized with totally ordered values in sorted order.

Signatures
module Vector : sig ... end

This module contains the signature of a random-access vector containing data accessible at constant order cost for any index. Distinguished instances of the signature include char type values in string type vectors and int type values in int array vectors.

module Table : sig ... end

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 Set : sig ... end

This module contains the signature of an immutable set constructed from a binary search table of containing elements of the set. Distinguished instances are provided for tables of char and int type values.

module Map : sig ... end

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.