Proposal: Add `final class Vector` to PHP - #7488

Closed

TysonAndre wants to merge 7 commits into

TysonAndre:vector

Commits on Sep 23, 2021

Proposal: Add `final class Vector` to PHP
TysonAndre
committed
a224a89
Support `$vector[] = $value;`
TysonAndre
committed
460b1eb
Fix strange bug seen with '-O2', '--with-valgrind', and valgrind test
TysonAndre
committed
ebf2590
Add Vector::map/filter implementations
TysonAndre
committed
5431aba
WIP reduce public api
TysonAndre
committed
b67095c
wip
TysonAndre
committed
f3cea21
Update API after RFC discussion
TysonAndre
committed
1ac4c83