The HH\ImmVector<Tv> class

HHVM provides a native implementation for this class. The PHP class definition below is not actually used at run time; it is simply provided for the typechecker and for developer reference.

An ImmVector cannot be mutated. No elements can be added to it or removed from it, nor can elements be overwritten using assignment (i.e. $c[$k] = $v is not allowed).

$v = Vector {1, 2, 3};
$fv = $v->toImmVector();

construct it with a Traversable:

$a = array(1, 2, 3);
$fv = new ImmVector($a);

or use the literal syntax:

$fv = ImmVector {1, 2, 3};

Interface synopsis

class ImmVector implements ConstVector {...}