HORIZON HASKELLDocslts/ghc-10.0.xd29e1592026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · d29e159 · 2026-10-12

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