public final class Array<T extends Lazy<T>> extends java.lang.Object implements java.lang.Cloneable
Mutable array of frege values.
Used to realize type Prelude.Array elem s.
This is not a pure type.
private T[]
j
Array(int size)
Array(T[] arr)
Array<T>
clone()
T
getAt(int i)
int
length()
void
setAt(int i, T v)
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
private final T extends Lazy<T>[] j
public Array(T[] arr)
public Array(int size)
public final Array<T> clone()
clone
java.lang.Object
public final int length()
public final void setAt(int i, T v)
public final T getAt(int i)