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.2.tar.gz
sha256=bb2af4d8b376b2d60fa996bd4d3b90d9f3559455672540f6d7c3598af81d483b
md5=f7bfa83013801b42fcdba607af2f012b

doc/orsetto.cf/Cf_bsearch_data/Vector/Of_int/index.html

Module Vector.Of_int

Use Of_int for integer array vectors.

type index = int
type element = Cf_relations.Int.t
module Basis : sig ... end

Signture of vector basis with type erased.

module Element : sig ... end

Signature of totally ordered vector element type.

type t = Cf_relations.Int.t array
val nil : t

Data structures use this distinguished empty vector.

val empty : t -> bool

Data structures use empty v to test whether v contains any elements.

val first : index

Data structures use first as the index of the first element.

val last : t -> index

Data strutures use last v to get the index of the last element of v. This function may raise Invalid_argument only if v is empty.

val project : t -> index -> element

Data structures use project v i to get the element in v at index i. Data structures may raise Invalid_argument only if i is not a valid index of v.

val of_seq : element Seq.t -> t

Data structures use of_seq s to make a vector with elements consumed from s, with the head of s at the first index, and the element immediately preceding the end of s at the last index.

val to_seq : t -> element Seq.t

Data structures use to_seq v to make a confluently persistent sequence of elements from v, beginning at the first element and ending after the last element.