Storable vectors
Accessors
Length information
Indexing
Extracting subvectors
Construction
Initialisation
Monadic initialisation
Unfolding
Enumeration
Concatenation
Restricting memory usage
Modifying vectors
Permutations
Safe destructive update
Elementwise operations
Mapping
Monadic mapping
Zipping
Monadic zipping
Working with predicates
Filtering
Partitioning
Searching
Folding
Specialised folds
Monadic folds
Prefix sums (scans)
Conversions
Lists
Different vector types
Mutable vectors