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(IVectorofInteger)) 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.