Data.HList.HList

A GADT HList implementation

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

Documentation

data HList a where

Constructors

TCons :: x -> HList xs -> HList (Cons x xs)

TNull :: HList Null

Instances

(Show a, Show (HList b)) => Show (HList (Cons a b))

Show (HList Null)

(Monoid x, Monoid (HList xs)) => Monoid (HList (Cons x xs))

Monoid (HList Null)