Data.HVect

Documentation

data HVect ts where

Heterogeneous vector

Constructors

HNil :: HVect []

(:&:) :: t -> HVect ts -> HVect (t : ts) infixr 5

Instances

(Eq (HVect ts), Eq t) => Eq (HVect ((:) * t ts))

Eq (HVect ([] *))

(Ord (HVect ts), Ord t) => Ord (HVect ((:) * t ts))

Ord (HVect ([] *))

(Show (HVect ts), Show t) => Show (HVect ((:) * t ts))

Show (HVect ([] *))

empty :: HVect []

null :: HVect as -> Bool

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

singleton :: a -> HVect `[a]`

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)

(<++>) :: HVect as -> HVect bs -> HVect (Append as bs) infixr 5

type family ReverseLoop as bs :: [*]

Instances

type ReverseLoop ([] *) bs = bs

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

type Reverse as = ReverseLoop as []

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

uncurry :: 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)

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

curry :: 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