Vector data type
Accessors
Length information
Indexing
Extracting sub-vectors (slicing)
Splitting
Construction
Initialisation
Initialisation from a list
Concatenation
Modifying vectors
Permutations
Specialised permutations
Element-wise operations
Mapping
Zipping
Unzipping
Folding
Specialised folds
Prefix sums (scans)
Stencil computations
Conversions
Misc
Primitives