servant
Safe HaskellNone
LanguageHaskell2010

Servant.API.TypeLevel.List

Synopsis

Documentation

type family (l1 :: [Type]) .++ (l2 :: [Type]) :: [Type] where ... Source #

Append two type-level lists.

Import it as

import Servant.API.TypeLevel.List (type (.++))

Equations

('[] :: [Type]) .++ a = a 
(a ': as) .++ b = a ': (as .++ b)