HORIZON HASKELLDocslts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

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