org.openquark.cal.module.Cal.Collections
Class CAL_Array

java.lang.Object
  org.openquark.cal.module.Cal.Collections.CAL_Array

public final class CAL_Array
extends Object

Defines the abstract data type Cal.Collections.Array.Array along with a variety of functions and instances for the type.

Cal.Collections.Array.Array is a polymorphic, immutable (i.e. purely functional) array type. It is strict in its element values i.e. when an Cal.Collections.Array.Array a value is created, all elements of the array are evaluated to weak-head normal form.

Cal.Collections.Array.Array offers constant time access to its elements. In addition, Cal.Collections.Array.Array uses an unboxed representation of elements whenever possible. So for example, for Cal.Collections.Array.Array Cal.Core.Prelude.Int, the underlying representation is the Java primitive array [int]. Also, for an array of Java foreign objects, such as Cal.Collections.Array.Array Cal.Core.Prelude.String, the underlying representation is a Java array [java.lang.String], rather than an array of CAL internal values holding onto java.lang.Strings i.e. it is more space efficient.

Author:

Bo Ilic

Nested Class Summary

static class	CAL_Array.Functions This inner class (Functions) contains constants and methods related to binding to CAL functions in the Cal.Collections.Array module.
static class	CAL_Array.TypeConstructors This inner class (TypeConstructors) contains constants and methods related to binding to CAL TypeConstructors in the Cal.Collections.Array module.

Field Summary

static int	javaDocHash A hash of the concatenated JavaDoc for this class (including inner classes).
static ModuleName	MODULE_NAME

Constructor Summary

CAL_Array()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

MODULE_NAME

public static final ModuleName MODULE_NAME

javaDocHash

public static final int javaDocHash

A hash of the concatenated JavaDoc for this class (including inner classes). This value is used when checking for changes to generated binding classes.

See Also:

Constant Field Values

Constructor Detail

CAL_Array

public CAL_Array()