zip7 package:singletons-base

type family Zip7 (a1 :: [a]) (a2 :: [b]) (a3 :: [c]) (a4 :: [d]) (a5 :: [e]) (a6 :: [f]) (a7 :: [g]) :: [(a, b, c, d, e, f, g)]
singletons-base Data.List.Singletons
data Zip7Sym0 (a1 :: TyFun [a] [b] ~> [c] ~> [d] ~> [e] ~> [f] ~> [g] ~> [(a, b, c, d, e, f, g)])
singletons-base Data.List.Singletons
data Zip7Sym1 (a6989586621679656202 :: [a]) (b1 :: TyFun [b] [c] ~> [d] ~> [e] ~> [f] ~> [g] ~> [(a, b, c, d, e, f, g)])
singletons-base Data.List.Singletons
data Zip7Sym2 (a6989586621679656202 :: [a]) (a6989586621679656203 :: [b]) (c1 :: TyFun [c] [d] ~> [e] ~> [f] ~> [g] ~> [(a, b, c, d, e, f, g)])
singletons-base Data.List.Singletons
data Zip7Sym3 (a6989586621679656202 :: [a]) (a6989586621679656203 :: [b]) (a6989586621679656204 :: [c]) (d1 :: TyFun [d] [e] ~> [f] ~> [g] ~> [(a, b, c, d, e, f, g)])
singletons-base Data.List.Singletons
data Zip7Sym4 (a6989586621679656202 :: [a]) (a6989586621679656203 :: [b]) (a6989586621679656204 :: [c]) (a6989586621679656205 :: [d]) (e1 :: TyFun [e] [f] ~> [g] ~> [(a, b, c, d, e, f, g)])
singletons-base Data.List.Singletons
data Zip7Sym5 (a6989586621679656202 :: [a]) (a6989586621679656203 :: [b]) (a6989586621679656204 :: [c]) (a6989586621679656205 :: [d]) (a6989586621679656206 :: [e]) (f1 :: TyFun [f] [g] ~> [(a, b, c, d, e, f, g)])
singletons-base Data.List.Singletons
data Zip7Sym6 (a6989586621679656202 :: [a]) (a6989586621679656203 :: [b]) (a6989586621679656204 :: [c]) (a6989586621679656205 :: [d]) (a6989586621679656206 :: [e]) (a6989586621679656207 :: [f]) (g1 :: TyFun [g] [(a, b, c, d, e, f, g)])
singletons-base Data.List.Singletons
type family Zip7Sym7 (a6989586621679656202 :: [a]) (a6989586621679656203 :: [b]) (a6989586621679656204 :: [c]) (a6989586621679656205 :: [d]) (a6989586621679656206 :: [e]) (a6989586621679656207 :: [f]) (a6989586621679656208 :: [g]) :: [(a, b, c, d, e, f, g)]
singletons-base Data.List.Singletons
type family Unzip7 (a1 :: [(a, b, c, d, e, f, g)]) :: ([a], [b], [c], [d], [e], [f], [g])
singletons-base Data.List.Singletons
data Unzip7Sym0 (a1 :: TyFun [(a, b, c, d, e, f, g)] ([a], [b], [c], [d], [e], [f], [g]))
singletons-base Data.List.Singletons
type family Unzip7Sym1 (a6989586621679544824 :: [(a, b, c, d, e, f, g)]) :: ([a], [b], [c], [d], [e], [f], [g])
singletons-base Data.List.Singletons
sUnzip7 :: forall a b c d e f g (t :: [(a, b, c, d, e, f, g)]) . Sing t -> Sing (Unzip7 t)
singletons-base Data.List.Singletons