HORIZON HASKELLDocslts/ghc-9.14.x45dd5372026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11

Moduleservant-0.20.3.0Haskell2010

Servant.API.TypeLevel.List

    • Packageservant-0.20.3.0
    • Exports1
    • LanguageHaskell2010
    • LicenceBSD-3-Clause
    • SourceList.hs
    familytype family (.++) (l1 :: [Type]) (l2 :: [Type]) :: [Type] where
    #

    Append two type-level lists.

    Import it as

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

    Equations

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