first-class-patterns-0.3.2: First class patterns and pattern matching, using type families

Portabilitynon-portable (see .cabal)
Stabilityexperimental
MaintainerBrent Yorgey <byorgey@cis.upenn.edu>
Safe HaskellNone

Data.Pattern.Base.TypeList

Description

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

Synopsis

Documentation

type family a :++: b :: [*]Source

Concatenation of lists. Instances: 

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