next up previous contents index
Next: CheckingList Up: Data Structures Previous: map   Contents   Index


CheckingArray


Usage

import from CheckingArray T


Parameter Type Description
T Type the type of the array entries


Description

CheckingArray provides arrays of entries of type $T$, $0$-indexed and with bound checking.


Exports

ArrayType(T, PrimitiveArray T)


Remarks

The functions apply and set! throw the exception ArrayException when attempting to access an array out of its bounds.



Manuel Bronstein 2004-06-28