Data.Pattern.Base.TypeList

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

Documentation

type family (a :: [Type]) :++: (b :: [Type]) :: [Type] infixr 9

Concatenation of lists. Instances:

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

Instances

type ([] :: [Type]) :++: xs

Defined in Data.Pattern.Base.TypeList

type ([] :: [Type]) :++: xs = xs

type (h ': t) :++: xs

Defined in Data.Pattern.Base.TypeList

type (h ': t) :++: xs = h ': (t :++: xs)