Data.Vector.HFixed.Class

Types and type classes

N-ary functions

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

type Fun

data TFun f as b

Type functions

data Proxy k t

type family (xs :: [α]) ++ (ys :: [α]) :: [α] where ...

type family Len (xs :: [α]) :: PeanoNum where ...

type family HomList (n :: PeanoNum) (a :: α) :: [α] where ...

Type classes

class Arity xs

class ArityC c xs

class HVector v

class HVectorF v

CPS-encoded vector

type ContVec xs

data ContVecF xs f

Interop with homogeneous vectors

class HomArity n a

Operations of Fun

Primitives for Fun

Primitives for TFun

More complicated functions

class Index n xs