package hector

  1. Overview
  2. Docs

Module Hector.IntArraySource

Sourcetype element = int

The type of elements.

Sourcetype dummy = element

The function alloc expects a dummy element.

Sourcetype t = element array

The type of arrays.

Sourcetype length = int

The length of an array is a nonnegative integer.

Sourcetype index = int

An index into an array is an integer value in the semi-open interval [0,n), where n is the length of the array.

Sourcetype offset = int

An offset into an array is an integer value in the closed interval [0,n], where n is the length of the array. When an offset o and a length k are used in concert to designate an array segment, both o and o+k must be valid offsets.

Sourceval empty : t

The empty array.

Sourceval length : t -> length

length a returns the length of the array a.

Sourceval unsafe_get : t -> index -> element

unsafe_get a i returns the element found at index i in the array a. The index i must be valid, or all hell may break loose.

Sourceval unsafe_set : t -> index -> element -> unit

unsafe_set a i x writes the value x at index i in the array a. The index i must be valid, or all hell may break loose.

Sourceval alloc : length -> dummy -> t

alloc n d returns a new array of length n. The dummy element d may be used to initialize this array, but this is not guaranteed. Thus, this array must be considered uninitialized: every slot must be written before it is read.

Sourceval make : length -> element -> t

make n x returns a new array of length n, where every slot contains the value x.

Sourceval grow : length -> element -> t -> length -> t

grow n d a k returns a new array of length n. The lower segment of this array, determined by offset 0 and length k, is initialized by copying data from array a, at offset 0 and length k. The inequality k <= n must hold. The upper segment of this array, determined by offset k and length n - k, must be considered uninitialized: every slot must be written before it is read.

Sourceval init : length -> (index -> element) -> t

init n f returns a new array of length n, where the slot at index i contains the value f i.

Sourceval sub : t -> offset -> length -> t

sub a o k returns a new array of length k whose content is the content of the array segment identified by array a, offset o, and length k.

Sourceval unsafe_blit : t -> offset -> t -> offset -> length -> unit

unsafe_blit a1 o1 a2 o2 k copies the content of the array segment identified by array a1, offset o1, and length k into the array segment identified by array a2, offset o2, and length k. No bounds check is performed.

Sourceval blit : t -> offset -> t -> offset -> length -> unit

blit a1 o1 a2 o2 k copies the content of the array segment identified by array a1, offset o1, and length k into the array segment identified by array a2, offset o2, and length k.

Sourceval fill : t -> int -> int -> element -> unit

fill a o k x fills the array segment identified by array a, offset o, and length k with the value x.

Sourceval copy : t -> t

copy a returns a new array whose length and content are those of the array a.