Data.Vector.Fixed.Monomorphic

Vector type class

Vector size

type family DimMono 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 VectorMono v

class Arity n

data Fun n a b

length

Constructors

mk1

mk2

mk3

mk4

mk5

Functions

replicate

replicateM

generate

generateM

unfoldr

basis

Modifying vectors

Transformations

head

tail

reverse

(!)

Comparison

eq

Maps

map

mapM

mapM_

imap

imapM

imapM_

Folding

foldl

foldr

foldl1

ifoldl

ifoldr

fold

foldMap

foldM

ifoldM

Special folds

sum

maximum

minimum

and

or

all

any

find

Zips

zipWith

zipWithM

izipWith

izipWithM

Conversion

convert

toList

fromList