License	BSD-style (see the file LICENSE)
Maintainer	sjoerd@w3future.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Type.List

Description

Utilities for type level lists.

Synopsis

Documentation

type family (as :: [k]) ++ (bs :: [k]) :: [k] where ... Source #

Type level list append

Equations

'[] ++ bs = bs
(a ': as) ++ bs = a ': (as ++ bs)