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.2.tar.gz
sha512=e260412b2dd0f98cfe3dc7ed5c31a694eb31c93cd207c51fa12675b790234ee0ad3bf07d9be17a4dc266fedfe55b14c967cad7bc0c9414063eef8afd59f3d0d1

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

Module Map.Of_basis

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

Parameters

module B : Basis

Signature

type 'a t

The abstract type of a map.

val nil : 'a t

A distinguished empty map.

val empty : 'a t -> bool

Use empty m to test if m is an empty map.

val of_seq : (B.Table.Vector.element * 'a) Seq.t -> 'a t

Use of_seq s to make a map by consuming the unordered sequence of domain and co-domain values s.

val member : B.Table.Search.t -> 'a t -> bool

Use member k m to test whether k is in the domain of m.

Use search k m to find the co-domain Some v of k in m. Returns None if k is not in the domain of m.

val require : B.Table.Search.t -> 'a t -> 'a

Use require k m to find the co-domain of k in m. Raises Not_found if k is not in the domain of m.

module Unsafe : sig ... end

Unsafe interfaces depend on the internal structure of maps.