Data.HVect

Documentation

data HVect ts where

Constructors

HNil :: HVect []

HCons :: t -> HVect ts -> HVect (t : ts)

type family HVectElim ts a :: *

Instances

type HVectElim ([] *) a = a

type HVectElim ((:) * t ts) a = t -> HVectElim ts a

type family Append as bs :: [*]

Instances

type Append ([] *) bs = bs

type Append ((:) * a as) bs = (:) * a (Append as bs)

hVectAppend :: HVect as -> HVect bs -> HVect (Append as bs)

type family ReverseLoop as bs :: [*]

Instances

type ReverseLoop ([] *) bs = bs

type ReverseLoop ((:) * a as) bs = ReverseLoop as ((:) * a bs)

type Reverse as = ReverseLoop as []

hVectReverse :: HVect as -> HVect (Reverse as)

hVectUncurry :: HVectElim ts a -> HVect ts -> a

data Rep ts where

Constructors

RNil :: Rep []

RCons :: Rep ts -> Rep (t : ts)

class HasRep ts where

Methods

hasRep :: Rep ts

Instances

HasRep ([] *)

HasRep ts => HasRep ((:) * t ts)

hVectCurryExpl :: Rep ts -> (HVect ts -> a) -> HVectElim ts a

hVectCurry :: HasRep ts => (HVect ts -> a) -> HVectElim ts a

packExpl :: Rep ts -> (forall a. HVectElim ts a -> a) -> HVect ts

pack :: HasRep ts => (forall a. HVectElim ts a -> a) -> HVect ts