• Home
• com.lihaoyi
• mill-core_2.12
• 0.2.2-11-d093b9
• source code

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

ill-core_2.12.0.2.2-11-d093b9.source-code.ApplicativeGenerated.scala Maven / Gradle / Ivy

package mill.define
import scala.language.higherKinds
trait ApplyerGenerated[TT[_], Z[_], Ctx] {
  def mapCtx[A, B](a: TT[A])(f: (A, Ctx) => Z[B]): TT[B]
  def zipMap[T0, T1, Res](t0: TT[T0], t1: TT[T1])(cb: (T0, T1, Ctx) => Z[Res]) = mapCtx(zip(t0, t1)) { case ((t0, t1), z) => cb(t0, t1, z) }
def zip[T0, T1](t0: TT[T0], t1: TT[T1]): TT[(T0, T1)]
def zipMap[T0, T1, T2, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2])(cb: (T0, T1, T2, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2)) { case ((t0, t1, t2), z) => cb(t0, t1, t2, z) }
def zip[T0, T1, T2](t0: TT[T0], t1: TT[T1], t2: TT[T2]): TT[(T0, T1, T2)]
def zipMap[T0, T1, T2, T3, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3])(cb: (T0, T1, T2, T3, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3)) { case ((t0, t1, t2, t3), z) => cb(t0, t1, t2, t3, z) }
def zip[T0, T1, T2, T3](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3]): TT[(T0, T1, T2, T3)]
def zipMap[T0, T1, T2, T3, T4, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4])(cb: (T0, T1, T2, T3, T4, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4)) { case ((t0, t1, t2, t3, t4), z) => cb(t0, t1, t2, t3, t4, z) }
def zip[T0, T1, T2, T3, T4](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4]): TT[(T0, T1, T2, T3, T4)]
def zipMap[T0, T1, T2, T3, T4, T5, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5])(cb: (T0, T1, T2, T3, T4, T5, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5)) { case ((t0, t1, t2, t3, t4, t5), z) => cb(t0, t1, t2, t3, t4, t5, z) }
def zip[T0, T1, T2, T3, T4, T5](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5]): TT[(T0, T1, T2, T3, T4, T5)]
def zipMap[T0, T1, T2, T3, T4, T5, T6, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6])(cb: (T0, T1, T2, T3, T4, T5, T6, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5, t6)) { case ((t0, t1, t2, t3, t4, t5, t6), z) => cb(t0, t1, t2, t3, t4, t5, t6, z) }
def zip[T0, T1, T2, T3, T4, T5, T6](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6]): TT[(T0, T1, T2, T3, T4, T5, T6)]
def zipMap[T0, T1, T2, T3, T4, T5, T6, T7, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7])(cb: (T0, T1, T2, T3, T4, T5, T6, T7, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5, t6, t7)) { case ((t0, t1, t2, t3, t4, t5, t6, t7), z) => cb(t0, t1, t2, t3, t4, t5, t6, t7, z) }
def zip[T0, T1, T2, T3, T4, T5, T6, T7](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7]): TT[(T0, T1, T2, T3, T4, T5, T6, T7)]
def zipMap[T0, T1, T2, T3, T4, T5, T6, T7, T8, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8])(cb: (T0, T1, T2, T3, T4, T5, T6, T7, T8, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5, t6, t7, t8)) { case ((t0, t1, t2, t3, t4, t5, t6, t7, t8), z) => cb(t0, t1, t2, t3, t4, t5, t6, t7, t8, z) }
def zip[T0, T1, T2, T3, T4, T5, T6, T7, T8](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8]): TT[(T0, T1, T2, T3, T4, T5, T6, T7, T8)]
def zipMap[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9])(cb: (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9)) { case ((t0, t1, t2, t3, t4, t5, t6, t7, t8, t9), z) => cb(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, z) }
def zip[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9]): TT[(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)]
def zipMap[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10])(cb: (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10)) { case ((t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10), z) => cb(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, z) }
def zip[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10]): TT[(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10)]
def zipMap[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11])(cb: (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11)) { case ((t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11), z) => cb(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, z) }
def zip[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11]): TT[(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11)]
def zipMap[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12])(cb: (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12)) { case ((t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12), z) => cb(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, z) }
def zip[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12]): TT[(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12)]
def zipMap[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13])(cb: (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13)) { case ((t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13), z) => cb(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, z) }
def zip[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13]): TT[(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13)]
def zipMap[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13], t14: TT[T14])(cb: (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14)) { case ((t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14), z) => cb(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, z) }
def zip[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13], t14: TT[T14]): TT[(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14)]
def zipMap[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13], t14: TT[T14], t15: TT[T15])(cb: (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15)) { case ((t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15), z) => cb(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, z) }
def zip[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13], t14: TT[T14], t15: TT[T15]): TT[(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15)]
def zipMap[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13], t14: TT[T14], t15: TT[T15], t16: TT[T16])(cb: (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16)) { case ((t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16), z) => cb(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, z) }
def zip[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13], t14: TT[T14], t15: TT[T15], t16: TT[T16]): TT[(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16)]
def zipMap[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13], t14: TT[T14], t15: TT[T15], t16: TT[T16], t17: TT[T17])(cb: (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17)) { case ((t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17), z) => cb(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, z) }
def zip[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13], t14: TT[T14], t15: TT[T15], t16: TT[T16], t17: TT[T17]): TT[(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17)]
def zipMap[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13], t14: TT[T14], t15: TT[T15], t16: TT[T16], t17: TT[T17], t18: TT[T18])(cb: (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18)) { case ((t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18), z) => cb(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, z) }
def zip[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13], t14: TT[T14], t15: TT[T15], t16: TT[T16], t17: TT[T17], t18: TT[T18]): TT[(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18)]
def zipMap[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13], t14: TT[T14], t15: TT[T15], t16: TT[T16], t17: TT[T17], t18: TT[T18], t19: TT[T19])(cb: (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19)) { case ((t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19), z) => cb(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, z) }
def zip[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13], t14: TT[T14], t15: TT[T15], t16: TT[T16], t17: TT[T17], t18: TT[T18], t19: TT[T19]): TT[(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19)]
def zipMap[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, Res](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13], t14: TT[T14], t15: TT[T15], t16: TT[T16], t17: TT[T17], t18: TT[T18], t19: TT[T19], t20: TT[T20])(cb: (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, Ctx) => Z[Res]) = mapCtx(zip(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20)) { case ((t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20), z) => cb(t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, z) }
def zip[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13], t14: TT[T14], t15: TT[T15], t16: TT[T16], t17: TT[T17], t18: TT[T18], t19: TT[T19], t20: TT[T20]): TT[(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20)]
def zip[T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21](t0: TT[T0], t1: TT[T1], t2: TT[T2], t3: TT[T3], t4: TT[T4], t5: TT[T5], t6: TT[T6], t7: TT[T7], t8: TT[T8], t9: TT[T9], t10: TT[T10], t11: TT[T11], t12: TT[T12], t13: TT[T13], t14: TT[T14], t15: TT[T15], t16: TT[T16], t17: TT[T17], t18: TT[T18], t19: TT[T19], t20: TT[T20], t21: TT[T21]): TT[(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21)]
}