Data.Vector.Fixed.Cont

Type-level numbers

type family Peano (n :: Nat) :: PeanoNum where ...

type family Add (n :: PeanoNum) (m :: PeanoNum) :: PeanoNum where ...

N-ary functions

type family Fn (n :: PeanoNum) (a :: *) (b :: *) where ...

data Fun n a b

type Arity n

class ArityPeano n

Combinators

Vector type class

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

class Vector v a

class VectorN v n a

Vector as continuation

data ContVec n a

data CVecPeano n a

Construction of ContVec

Constructors

Transformations

Zips

Getters

Vector construction

Folds

Special folds

Data.Data.Data