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 :: [Type]) :++: (b :: [Type]) :: [Type] infixr 9 Source #

Concatenation of lists. Instances:

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

Instances

type ([] :: [Type]) :++: xs Source #
Instance details Defined in Data.Pattern.Base.TypeList type ([] :: [Type]) :++: xs = xs
type (h ': t) :++: xs Source #
Instance details Defined in Data.Pattern.Base.TypeList type (h ': t) :++: xs = h ': (t :++: xs)