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

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

Enclosing class:

CAL_Array

public static final class CAL_Array.TypeConstructors
extends Object

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

Field Summary

static QualifiedName

Array Array is a polymorphic, immutable (i.e. purely functional) array type.

Constructor Summary

CAL_Array.TypeConstructors()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

Array

public static final QualifiedName Array

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

Array offers constant time access to its elements. In addition, Array uses an unboxed representation of elements whenever possible. So for example, for Array Cal.Core.Prelude.Int, the underlying representation is the Java primitive array [int].

Constructor Detail

CAL_Array.TypeConstructors

public CAL_Array.TypeConstructors()