Data.HList.HList

A GADT HList implementation

Probably exists somewhere else already, but why add a dependency for something so simple.

Documentation

data HList :: [*] -> * where

Constructors

HNil :: HList []

(:+:) :: x -> HList xs -> HList (x : xs)

Instances

(Show a, Show (HList b)) => Show (HList ((:) * a b))

Show (HList ([] *))

(Monoid x, Monoid (HList xs)) => Monoid (HList ((:) * x xs))

Monoid (HList ([] *))

type family Append l1 l2 :: [*]

Instances

type Append ([] *) l2 = l2

type Append ((:) * car1 cdr2) l2 = (:) * car1 (Append cdr2 l2)