tr-immutable
IVectorof
ivector
7.0

tr-immutable

georges

 (require tr-immutable) package: tr-immutable

This library implements immutable wrappers for vector and box, in a way that typed/racket is able to recognise. This makes it possible to write (make-predicate (IVectorof Integer)) in current versions of Typed/Racket.

type

(IVectorof A)

The type for immutable vectors containing elements of type A.

procedure

(ivector [v ...])  (IVectorof A)

  v : : = A
The type for immutable vectors containing elements of type A.