Data.Vector.Fixed.Cont

Type-level numbers

data S n

data Z

Synonyms for small numerals

type N1

type N2

type N3

type N4

type N5

type N6

N-ary functions

type family Fn n a b

data Fun n a b

class Arity n

Combinators

Vector type class

type family Dim v

class Vector v a

class VectorN v n a

class Index k n

Vector as continuation

data ContVec n a

Construction of ContVec

Constructors

Transformations

Zips

Running ContVec

Getters

Vector construction

Folds

Special folds