CLaSH.Sized.Vector

Vector constructors

data Vec

(<:)

Standard Vector functions

Extracting sub-Vectors

vhead

vtail

vlast

vinit

vtake

vtakeI

vdrop

vdropI

vexact

vselect

vselectI

Combining Vectors

(+>>)

(<<+)

(<++>)

vconcat

vzip

vunzip

Splitting Vectors

vsplit

vsplitI

vunconcat

vunconcatI

vmerge

Applying functions to Vector elements

vmap

vzipWith

vfoldr

vfoldl

vfoldr1

vfoldl1

Indexing Vectors

(!)

vreplace

maxIndex

vlength

Generating Vectors

vcopy

vcopyI

viterate

viterateI

vgenerate

vgenerateI

Misc

vreverse

toList

v

lazyV

asNatProxy

Alternative Vector functions

vhead'