package orsetto

You can search for identifiers within the package.

in-package search v0.2.0

A library of assorted structured data interchange languages

Install

Dune Dependency

bitbucket.org Edit opam file Versions (8)

Authors

J

james woodyatt <jhw@conjury.org>

Maintainers

J

james woodyatt <jhw@conjury.org>

Sources

r1.0.3.tar.gz

sha256=151ca6df499bd3de7aa89a4e1627411fbee24c4dea6e0e71ce21f06f181ee654

md5=00393728b481c2bf15919a8202732335

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

Module `Cf_bsearch_data.Map`

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.

module Aux : sig ... end

This module contains the signature of an ancillary array for storage of the co-domain elements of a map structure.

module type Basis = sig ... end

The signature of a map basis module.

module Char_basis : 
  Basis
    with type Index.t = int
     and type Table.Search.t = char
     and type Table.Vector.element = char
     and type Table.Vector.t = string
     and type 'a Content.t = 'a array

A distinguished instance of the map basis for character maps.

module Int_basis : 
  Basis
    with type Index.t = int
     and type Table.Search.t = int
     and type Table.Vector.element = int
     and type Table.Vector.t = int array
     and type 'a Content.t = 'a array

A distinguished instance of the map basis for integer maps.

module String_basis : 
  Basis
    with type Index.t = int
     and type Table.Search.t = string
     and type Table.Vector.element = string
     and type Table.Vector.t = string array
     and type 'a Content.t = 'a array

A distinguished instance of the map basis for string maps.

module type Profile = sig ... end

The signature of a map implementation module.

module Create
  (B : Basis) : 
  Profile
    with type search := B.Table.Search.t
     and type key := B.Table.Vector.element
     and type Unsafe.index := B.Index.t
     and type Unsafe.vector := B.Table.Vector.t
     and type 'a Unsafe.content := 'a B.Content.t

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

module Of_char : sig ... end

A distinguished instance for character maps.

module Of_int : sig ... end

A distinguished instance for integer maps.

module Of_string : sig ... end

A distinguished instance for string maps.