typelevel-1.0.4: Useful type level operations (type families and related operators).

Safe HaskellNone
LanguageHaskell2010

Type.Zip

Documentation

type family Zip lst lst' Source

Equations

Zip lst lst' = ZipWith (,) lst lst' 

type family ZipWith f lst lst' Source

Equations

ZipWith f `[]` lst = `[]` 
ZipWith f lst `[]` = `[]` 
ZipWith f (l : ls) (n : ns) = f l n : ZipWith f ls ns