HORIZON HASKELLDocslts/ghc-9.14.x6d5fdfd2026-10-12Search packagesCtrl K
Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 6d5fdfd · 2026-10-12

Moduleservant-0.20.3.0Haskell2010

Servant.API.TypeLevel.List

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

Append two type-level lists.

Import it as

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

Equations

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