Data.Vector.Generic.Sized

data Vector v n a

Construction

fromVector

replicate

singleton

generate

Monadic Construction

generateM

Elimination

length

index

head

last

Extract subsets

tail

init

take

drop

Mapping

map

Monadic Mapping

imapM_

Folding

foldl'

foldl1'