RIO.Vector.Unboxed

Unboxed vectors

data family Vector a :: *

data family MVector s a :: *

class Unbox a

Accessors

Length information

Indexing

Extracting subvectors

Construction

Initialisation

Monadic initialisation

Unfolding

Enumeration

Concatenation

Restricting memory usage

Modifying vectors

Permutations

Safe destructive update

Elementwise operations

Indexing

Mapping

Monadic mapping

Zipping

Monadic zipping

Unzipping

Working with predicates

Filtering

Partitioning

unstablePartition

Searching

Folding

Specialised folds

Monadic folds

Prefix sums (scans)

Conversions

Lists

Different vector types

Mutable vectors