Data.Vector.HFixed

HVector type classes

class Arity xs

class ArityC c xs

class HVector v

class HVectorF v

type family Wrap (f :: α -> β) (a :: [α]) :: [β]

data Proxy k t

data ContVec xs

asCVec

Position based functions

convert

head

tail

cons

concat

Indexing

class Index n xs

index

set

element

elementCh

elementTy

elementChTy

Generic constructors

mk0

mk1

mk2

mk3

mk4

mk5

Folds and unfolds

fold

foldr

foldl

mapM_

unfoldr

Polymorphic values

replicate

replicateM

replicateF

zipMono

zipMonoF

zipFold

monomorphize

monomorphizeF

Vector parametrized with type constructor

mapFunctor

sequence

sequenceA

sequenceF

sequenceAF

wrap

unwrap

distribute

distributeF

Specialized operations

eq

compare

rnf