Servant.API.TypeLevel.List
type family (l1 :: [Type]) .++ (l2 :: [Type]) :: [Type] where ... Source #
Append two type-level lists.
Import it as
import Servant.API.TypeLevel.List (type (.++))
Equations