package orsetto

  1. Overview
  2. Docs
package orsetto
Legend:
Library
Module
Module type
Parameter
Class
Class type

Use Create(B) to make a map using disjoint intervals of a given binary searchable type.

Parameters

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.t t * '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.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.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.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct