The array library

Functions for the Array type.

Synopsis

array_get :: for_type t: (Array(t), 1) -> t
array_put :: for_type t: (Array(t), 1, t) -> Void
array_size :: for_type t: (Array(t)) -> 1
make_array :: for_type t: (1) -> Array(t)

Functions

array_get

:: for_type t: (Array(t), 1) -> t

Retrieves a previously stored item from an array.

It is an error if the index is out of bounds or no item was stored previously.

Primitive function

array_put

:: for_type t: (Array(t), 1, t) -> Void

Stores an item in the array at the asked position.

Primitive function

array_size

:: for_type t: (Array(t)) -> 1

The size of the array that was given at construction.

Primitive function

make_array

:: for_type t: (1) -> Array(t)

Constructs an array of the asked size.

Primitive function

Version v0.6.0, 2026-03-05T15:49:19.131713422+01:00[Europe/Amsterdam]