Data.Vector.Fixed

Vector type class

Vector size

type family Dim (v :: * -> *)

data Z

data S n

Synonyms for small numerals

type N1

type N2

type N3

type N4

type N5

type N6

Type class

class Vector v a

class VectorN v n a

class Arity n

data Fun n a b

length

Constructors

mk0

mk1

mk2

mk3

mk4

mk5

Consing

data ContVec n a

empty

vector

(<|)

Variadic function

class Make n a r

mkN

Functions

replicate

replicateM

generate

generateM

unfoldr

basis

Modifying vectors

Transformations

head

tail

cons

snoc

concat

reverse

Indexing & lenses

class Index k n

(!)

index

set

element

elementTy

Comparison

eq

ord

Maps

map

mapM

mapM_

imap

imapM

imapM_

scanl

scanl1

sequence

sequence_

sequenceA

traverse

distribute

collect

distributeM

collectM

Folding

foldl

foldr

foldl1

fold

foldMap

ifoldl

ifoldr

foldM

ifoldM

Special folds

sum

maximum

minimum

and

or

all

any

find

Zips

zipWith

zipWith3

zipWithM

zipWithM_

izipWith

izipWith3

izipWithM

izipWithM_

Storable methods

defaultAlignemnt

defaultSizeOf

defaultPeek

defaultPoke

Conversion

convert

toList

fromList

fromList'

fromListM

fromFoldable

Data types

data VecList n a

data Only a

data Empty a

Tuple synonyms

type Tuple2 a

type Tuple3 a

type Tuple4 a

type Tuple5 a