Data.Pattern.Base.TypeList

Type-level lists. These lists only describe the types, but contain no data. That is, they are phantom types.

Documentation

data Nil

The type of empty lists

Instances

List Nil

data h :*: t

(:*:) corresponds to cons.

Instances

List t => List (:*: h t)

type family a :++: b

Concatenation of lists. Instances:

 type instance Nil     :++: xs = xs
 type instance (h:*:t) :++: xs = h :*: (t :++: xs)