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

Safe Haskell	None
Language	Haskell2010

Type.Zip

Documentation

type family Zip lst lst' where ... Source #

Equations

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

type family ZipWith f lst lst' where ... Source #

Equations

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