Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.List.TypeLevel

Documentation

type family (xs :: [a]) ++ (ys :: [a]) :: [a] where ... Source #

Equations

('[] :: [a]) ++ (ys :: [a]) = ys
(x ': xs :: [a]) ++ (ys :: [a]) = x ': (xs ++ ys)