Data.Vector.HFixed.Cont

CPS-encoded vector

Type classes

type family Fn (f :: * -> *) (as :: [*]) b where ...

type Fun

data TFun f as b

class Arity xs

class HVector v

tupleSize

class HVectorF v

tupleSizeF

class Index n xs

CPS-encoded vector

type ContVec xs

data ContVecF xs f

Other data types

data VecList

data VecListF xs f

Conversion to/from vector

cvec

vector

cvecF

vectorF

Generic API for tuples

Position based functions

head

tail

cons

consF

concat

Indexing

index

set

Folds and unfolds

foldlF

foldrF

foldlNatF

foldrNatF

unfoldrF

Replicate variants

replicateF

replicateNatF

Zip variants

zipWithF

zipWithNatF

zipFoldF

Monomorphization of vectors

monomorphizeF

Manipulation with type constructor

mapNat

sequenceF

distributeF