MOVED: The SnocVect datatype can be found in the containers package going forward. This package will no longer be maintained aside from potentially making changes to keep it compiling against the latest Idris2 builds. Even that is not a guarantee.
SnocVect type and companions.
A Vect type that has the semantics of a reversed vector.
You can find the SnocVect datatype in the containers package.