The Vector type
Introducing and eliminating Vectors
Basic interface
Transforming Vectors
Reducing Vectors (folds)
Special folds
Scans
Accumulating maps
Substrings
Breaking strings
Breaking into many substrings
Joining strings
Predicates
Searching by equality
Searching with a predicate
Zipping and unzipping Vectors
Interleaved Vectors
IO