squares-0.1: The double category of Hask functors and profunctors

LicenseBSD-style (see the file LICENSE)
Maintainersjoerd@w3future.com
Safe HaskellSafe
LanguageHaskell2010

Data.Type.List

Description

Utilities for type level lists.

Synopsis
  • type family (as :: [k]) ++ (bs :: [k]) :: [k] where ...

Documentation

type family (as :: [k]) ++ (bs :: [k]) :: [k] where ... Source #

Type level list append

Equations

'[] ++ bs = bs 
(a ': as) ++ bs = a ': (as ++ bs)