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.tar.gz
sha256=6e6f59fc6a2c590b1b377e40f2120a548e6f09e61e7eb12ffa45cf2d517316b8
md5=533153cd4a9fe8093d3b98afc1073bc8

doc/orsetto.cf/Cf_bsearch/index.html

Module Cf_bsearch

Binary search algorithm and data structures.

Overview

This module implements generalized binary search functions along with a functorial interface that generalizes static sets and maps implemented as vectors in multiplicative binary search order. A specialization is provided for character sets and maps implemented with strings as the vector.

Types
type 'i cmp =
  1. | Cmp of 'i -> int

A comparator function for use with the search function (see below).

type ('i, 'r) ret =
  1. | Ret of {
    1. none : unit -> 'r;
    2. some : 'i -> 'r;
    }

A return finalization configuration for use with the search function (see below).

module type Basis = sig ... end

Use module B: Basis = struct ... end to define a type t and associated functions that provide the operations on it required for binary searching in the range between two values of type t.

module Char_basis : Basis with type t = char

The distinguished basis for OCaml char values.

module Int_basis : Basis with type t = int

The distinguished basis for OCaml int values.

module Float_basis : Basis with type t = float

The distinguished basis for OCaml float values.

module type Profile = sig ... end

The signature of the module returned by the Create(B) functor.

General Interface
module Create (B : Basis) : Profile with type t := B.t

Use Create(B) to make a module that provides binary searches using the index type defined with the basis B.

module Char : Profile with type t := char

The profile of binary searches with char type index.

module Int : Profile with type t := int

The profile of binary searches with int type index.

module Float : Profile with type t := float

The profile of binary searches with float type index.