package orsetto

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

The implementation module for the underlying vector.

type index = int

Type of vector index.

type element = int

Type of vector element.

module Basis : Vector.Basis with type t := index

Signture of vector basis with type erased.

module Element : Cf_relations.Order with type t = element

Signature of totally ordered vector element type.

type t = int array

Abstract type of a vector of elements

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.

OCaml

Innovation. Community. Security.