License	BSD3
Maintainer	Brent Yorgey <byorgey@cis.upenn.edu>
Stability	experimental
Portability	non-portable (see .cabal)
Safe Haskell	None
Language	Haskell2010

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 :: [*] infixr 9 Source

Concatenation of lists. Instances:

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

Instances

type ([] *) :++: xs = xs
type ((:) * h t) :++: xs = (:) * h ((:++:) t xs)