typelevel-tools-yj-0.1.0.7: type level tools
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.TypeLevel.List.Zip

Documentation

type family Zip2 (a :: [k0]) (b :: [k1]) where ... Source #

Equations

Zip2 '[] _b = '[] 
Zip2 _a '[] = '[] 
Zip2 ('(:) a as) ('(:) b bs) = '(:) '(a, b) (Zip2 as bs) 

type family Zip3 (a :: [k0]) (b :: [k1]) (c :: [k2]) where ... Source #

Equations

Zip3 '[] _b _c = '[] 
Zip3 _a '[] _c = '[] 
Zip3 _a _b '[] = '[] 
Zip3 ('(:) a as) ('(:) b bs) ('(:) c cs) = '(:) '(a, b, c) (Zip3 as bs cs) 

type family Zip4 (a :: [k0]) (b :: [k1]) (c :: [k2]) (d :: [k3]) where ... Source #

Equations

Zip4 '[] _b _c _d = '[] 
Zip4 _a '[] _c _d = '[] 
Zip4 _a _b '[] _d = '[] 
Zip4 _a _b _c '[] = '[] 
Zip4 ('(:) a as) ('(:) b bs) ('(:) c cs) ('(:) d ds) = '(:) '(a, b, c, d) (Zip4 as bs cs ds) 

type family Zip5 (a :: [k0]) (b :: [k1]) (c :: [k2]) (d :: [k3]) (e :: [k4]) where ... Source #

Equations

Zip5 '[] _b _c _d _e = '[] 
Zip5 _a '[] _c _d _e = '[] 
Zip5 _a _b '[] _d _e = '[] 
Zip5 _a _b _c '[] _e = '[] 
Zip5 _a _b _c _d '[] = '[] 
Zip5 ('(:) a as) ('(:) b bs) ('(:) c cs) ('(:) d ds) ('(:) e es) = '(:) '(a, b, c, d, e) (Zip5 as bs cs ds es) 

type family Zip6 (a :: [k0]) (b :: [k1]) (c :: [k2]) (d :: [k3]) (e :: [k4]) (f :: [k5]) where ... Source #

Equations

Zip6 '[] _b _c _d _e _f = '[] 
Zip6 _a '[] _c _d _e _f = '[] 
Zip6 _a _b '[] _d _e _f = '[] 
Zip6 _a _b _c '[] _e _f = '[] 
Zip6 _a _b _c _d '[] _f = '[] 
Zip6 _a _b _c _d _e '[] = '[] 
Zip6 ('(:) a as) ('(:) b bs) ('(:) c cs) ('(:) d ds) ('(:) e es) ('(:) f fs) = '(:) '(a, b, c, d, e, f) (Zip6 as bs cs ds es fs) 

type family Zip7 (a :: [k0]) (b :: [k1]) (c :: [k2]) (d :: [k3]) (e :: [k4]) (f :: [k5]) (g :: [k6]) where ... Source #

Equations

Zip7 '[] _b _c _d _e _f _g = '[] 
Zip7 _a '[] _c _d _e _f _g = '[] 
Zip7 _a _b '[] _d _e _f _g = '[] 
Zip7 _a _b _c '[] _e _f _g = '[] 
Zip7 _a _b _c _d '[] _f _g = '[] 
Zip7 _a _b _c _d _e '[] _g = '[] 
Zip7 _a _b _c _d _e _f '[] = '[] 
Zip7 ('(:) a as) ('(:) b bs) ('(:) c cs) ('(:) d ds) ('(:) e es) ('(:) f fs) ('(:) g gs) = '(:) '(a, b, c, d, e, f, g) (Zip7 as bs cs ds es fs gs) 

type family Zip8 (a :: [k0]) (b :: [k1]) (c :: [k2]) (d :: [k3]) (e :: [k4]) (f :: [k5]) (g :: [k6]) (h :: [k7]) where ... Source #

Equations

Zip8 '[] _b _c _d _e _f _g _h = '[] 
Zip8 _a '[] _c _d _e _f _g _h = '[] 
Zip8 _a _b '[] _d _e _f _g _h = '[] 
Zip8 _a _b _c '[] _e _f _g _h = '[] 
Zip8 _a _b _c _d '[] _f _g _h = '[] 
Zip8 _a _b _c _d _e '[] _g _h = '[] 
Zip8 _a _b _c _d _e _f '[] _h = '[] 
Zip8 _a _b _c _d _e _f _g '[] = '[] 
Zip8 ('(:) a as) ('(:) b bs) ('(:) c cs) ('(:) d ds) ('(:) e es) ('(:) f fs) ('(:) g gs) ('(:) h hs) = '(:) '(a, b, c, d, e, f, g, h) (Zip8 as bs cs ds es fs gs hs) 

type family Zip9 (a :: [k0]) (b :: [k1]) (c :: [k2]) (d :: [k3]) (e :: [k4]) (f :: [k5]) (g :: [k6]) (h :: [k7]) (i :: [k8]) where ... Source #

Equations

Zip9 '[] _b _c _d _e _f _g _h _i = '[] 
Zip9 _a '[] _c _d _e _f _g _h _i = '[] 
Zip9 _a _b '[] _d _e _f _g _h _i = '[] 
Zip9 _a _b _c '[] _e _f _g _h _i = '[] 
Zip9 _a _b _c _d '[] _f _g _h _i = '[] 
Zip9 _a _b _c _d _e '[] _g _h _i = '[] 
Zip9 _a _b _c _d _e _f '[] _h _i = '[] 
Zip9 _a _b _c _d _e _f _g '[] _i = '[] 
Zip9 _a _b _c _d _e _f _g _h '[] = '[] 
Zip9 ('(:) a as) ('(:) b bs) ('(:) c cs) ('(:) d ds) ('(:) e es) ('(:) f fs) ('(:) g gs) ('(:) h hs) ('(:) i is) = '(:) '(a, b, c, d, e, f, g, h, i) (Zip9 as bs cs ds es fs gs hs is) 

type family Zip10 (a :: [k0]) (b :: [k1]) (c :: [k2]) (d :: [k3]) (e :: [k4]) (f :: [k5]) (g :: [k6]) (h :: [k7]) (i :: [k8]) (j :: [k9]) where ... Source #

Equations

Zip10 '[] _b _c _d _e _f _g _h _i _j = '[] 
Zip10 _a '[] _c _d _e _f _g _h _i _j = '[] 
Zip10 _a _b '[] _d _e _f _g _h _i _j = '[] 
Zip10 _a _b _c '[] _e _f _g _h _i _j = '[] 
Zip10 _a _b _c _d '[] _f _g _h _i _j = '[] 
Zip10 _a _b _c _d _e '[] _g _h _i _j = '[] 
Zip10 _a _b _c _d _e _f '[] _h _i _j = '[] 
Zip10 _a _b _c _d _e _f _g '[] _i _j = '[] 
Zip10 _a _b _c _d _e _f _g _h '[] _j = '[] 
Zip10 _a _b _c _d _e _f _g _h _i '[] = '[] 
Zip10 ('(:) a as) ('(:) b bs) ('(:) c cs) ('(:) d ds) ('(:) e es) ('(:) f fs) ('(:) g gs) ('(:) h hs) ('(:) i is) ('(:) j js) = '(:) '(a, b, c, d, e, f, g, h, i, j) (Zip10 as bs cs ds es fs gs hs is js)