All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • kantan.csv.laws.discipline.ArbitraryArities.scala Maven / Gradle / Ivy

    There is a newer version: 0.5.1
    Show newest version
    // auto-generated by sbt-boilerplate
package kantan.csv.laws.discipline

import kantan.codecs.laws.discipline.GenCodecValue
import org.scalacheck.{Arbitrary, Gen}

trait ArbitraryArities extends kantan.codecs.laws.discipline.ArbitraryInstances {
  implicit def arbTuple1[A](implicit a1: Arbitrary[A]): Arbitrary[Tuple1[A]] =
      Arbitrary(a1.arbitrary.map(Tuple1.apply))

  implicit def tuple1CodecValue[A1: Arbitrary](implicit c1: GenCodecValue[String, A1]): GenCodecValue[Seq[String], Tuple1[A1]] = GenCodecValue[Seq[String], Tuple1[A1]] { is ⇒
    Seq(c1.encode(is._1))
  }{ ss ⇒ ss.length != 1 || c1.isIllegal(ss(0)) }

    implicit def tuple2CodecValue[A1: Arbitrary, A2: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2]): GenCodecValue[Seq[String], Tuple2[A1, A2]] = GenCodecValue[Seq[String], Tuple2[A1, A2]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2))
  }{ ss ⇒ ss.length != 2 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) }

    implicit def tuple3CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3]): GenCodecValue[Seq[String], Tuple3[A1, A2, A3]] = GenCodecValue[Seq[String], Tuple3[A1, A2, A3]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3))
  }{ ss ⇒ ss.length != 3 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) }

    implicit def tuple4CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4]): GenCodecValue[Seq[String], Tuple4[A1, A2, A3, A4]] = GenCodecValue[Seq[String], Tuple4[A1, A2, A3, A4]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4))
  }{ ss ⇒ ss.length != 4 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) }

    implicit def tuple5CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5]): GenCodecValue[Seq[String], Tuple5[A1, A2, A3, A4, A5]] = GenCodecValue[Seq[String], Tuple5[A1, A2, A3, A4, A5]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5))
  }{ ss ⇒ ss.length != 5 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) }

    implicit def tuple6CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6]): GenCodecValue[Seq[String], Tuple6[A1, A2, A3, A4, A5, A6]] = GenCodecValue[Seq[String], Tuple6[A1, A2, A3, A4, A5, A6]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6))
  }{ ss ⇒ ss.length != 6 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) }

    implicit def tuple7CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7]): GenCodecValue[Seq[String], Tuple7[A1, A2, A3, A4, A5, A6, A7]] = GenCodecValue[Seq[String], Tuple7[A1, A2, A3, A4, A5, A6, A7]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7))
  }{ ss ⇒ ss.length != 7 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) }

    implicit def tuple8CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary, A8: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7], c8: GenCodecValue[String, A8]): GenCodecValue[Seq[String], Tuple8[A1, A2, A3, A4, A5, A6, A7, A8]] = GenCodecValue[Seq[String], Tuple8[A1, A2, A3, A4, A5, A6, A7, A8]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7), c8.encode(is._8))
  }{ ss ⇒ ss.length != 8 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) || c8.isIllegal(ss(7)) }

    implicit def tuple9CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary, A8: Arbitrary, A9: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7], c8: GenCodecValue[String, A8], c9: GenCodecValue[String, A9]): GenCodecValue[Seq[String], Tuple9[A1, A2, A3, A4, A5, A6, A7, A8, A9]] = GenCodecValue[Seq[String], Tuple9[A1, A2, A3, A4, A5, A6, A7, A8, A9]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7), c8.encode(is._8), c9.encode(is._9))
  }{ ss ⇒ ss.length != 9 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) || c8.isIllegal(ss(7)) || c9.isIllegal(ss(8)) }

    implicit def tuple10CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary, A8: Arbitrary, A9: Arbitrary, A10: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7], c8: GenCodecValue[String, A8], c9: GenCodecValue[String, A9], c10: GenCodecValue[String, A10]): GenCodecValue[Seq[String], Tuple10[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10]] = GenCodecValue[Seq[String], Tuple10[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7), c8.encode(is._8), c9.encode(is._9), c10.encode(is._10))
  }{ ss ⇒ ss.length != 10 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) || c8.isIllegal(ss(7)) || c9.isIllegal(ss(8)) || c10.isIllegal(ss(9)) }

    implicit def tuple11CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary, A8: Arbitrary, A9: Arbitrary, A10: Arbitrary, A11: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7], c8: GenCodecValue[String, A8], c9: GenCodecValue[String, A9], c10: GenCodecValue[String, A10], c11: GenCodecValue[String, A11]): GenCodecValue[Seq[String], Tuple11[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11]] = GenCodecValue[Seq[String], Tuple11[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7), c8.encode(is._8), c9.encode(is._9), c10.encode(is._10), c11.encode(is._11))
  }{ ss ⇒ ss.length != 11 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) || c8.isIllegal(ss(7)) || c9.isIllegal(ss(8)) || c10.isIllegal(ss(9)) || c11.isIllegal(ss(10)) }

    implicit def tuple12CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary, A8: Arbitrary, A9: Arbitrary, A10: Arbitrary, A11: Arbitrary, A12: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7], c8: GenCodecValue[String, A8], c9: GenCodecValue[String, A9], c10: GenCodecValue[String, A10], c11: GenCodecValue[String, A11], c12: GenCodecValue[String, A12]): GenCodecValue[Seq[String], Tuple12[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12]] = GenCodecValue[Seq[String], Tuple12[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7), c8.encode(is._8), c9.encode(is._9), c10.encode(is._10), c11.encode(is._11), c12.encode(is._12))
  }{ ss ⇒ ss.length != 12 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) || c8.isIllegal(ss(7)) || c9.isIllegal(ss(8)) || c10.isIllegal(ss(9)) || c11.isIllegal(ss(10)) || c12.isIllegal(ss(11)) }

    implicit def tuple13CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary, A8: Arbitrary, A9: Arbitrary, A10: Arbitrary, A11: Arbitrary, A12: Arbitrary, A13: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7], c8: GenCodecValue[String, A8], c9: GenCodecValue[String, A9], c10: GenCodecValue[String, A10], c11: GenCodecValue[String, A11], c12: GenCodecValue[String, A12], c13: GenCodecValue[String, A13]): GenCodecValue[Seq[String], Tuple13[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13]] = GenCodecValue[Seq[String], Tuple13[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7), c8.encode(is._8), c9.encode(is._9), c10.encode(is._10), c11.encode(is._11), c12.encode(is._12), c13.encode(is._13))
  }{ ss ⇒ ss.length != 13 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) || c8.isIllegal(ss(7)) || c9.isIllegal(ss(8)) || c10.isIllegal(ss(9)) || c11.isIllegal(ss(10)) || c12.isIllegal(ss(11)) || c13.isIllegal(ss(12)) }

    implicit def tuple14CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary, A8: Arbitrary, A9: Arbitrary, A10: Arbitrary, A11: Arbitrary, A12: Arbitrary, A13: Arbitrary, A14: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7], c8: GenCodecValue[String, A8], c9: GenCodecValue[String, A9], c10: GenCodecValue[String, A10], c11: GenCodecValue[String, A11], c12: GenCodecValue[String, A12], c13: GenCodecValue[String, A13], c14: GenCodecValue[String, A14]): GenCodecValue[Seq[String], Tuple14[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14]] = GenCodecValue[Seq[String], Tuple14[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7), c8.encode(is._8), c9.encode(is._9), c10.encode(is._10), c11.encode(is._11), c12.encode(is._12), c13.encode(is._13), c14.encode(is._14))
  }{ ss ⇒ ss.length != 14 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) || c8.isIllegal(ss(7)) || c9.isIllegal(ss(8)) || c10.isIllegal(ss(9)) || c11.isIllegal(ss(10)) || c12.isIllegal(ss(11)) || c13.isIllegal(ss(12)) || c14.isIllegal(ss(13)) }

    implicit def tuple15CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary, A8: Arbitrary, A9: Arbitrary, A10: Arbitrary, A11: Arbitrary, A12: Arbitrary, A13: Arbitrary, A14: Arbitrary, A15: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7], c8: GenCodecValue[String, A8], c9: GenCodecValue[String, A9], c10: GenCodecValue[String, A10], c11: GenCodecValue[String, A11], c12: GenCodecValue[String, A12], c13: GenCodecValue[String, A13], c14: GenCodecValue[String, A14], c15: GenCodecValue[String, A15]): GenCodecValue[Seq[String], Tuple15[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15]] = GenCodecValue[Seq[String], Tuple15[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7), c8.encode(is._8), c9.encode(is._9), c10.encode(is._10), c11.encode(is._11), c12.encode(is._12), c13.encode(is._13), c14.encode(is._14), c15.encode(is._15))
  }{ ss ⇒ ss.length != 15 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) || c8.isIllegal(ss(7)) || c9.isIllegal(ss(8)) || c10.isIllegal(ss(9)) || c11.isIllegal(ss(10)) || c12.isIllegal(ss(11)) || c13.isIllegal(ss(12)) || c14.isIllegal(ss(13)) || c15.isIllegal(ss(14)) }

    implicit def tuple16CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary, A8: Arbitrary, A9: Arbitrary, A10: Arbitrary, A11: Arbitrary, A12: Arbitrary, A13: Arbitrary, A14: Arbitrary, A15: Arbitrary, A16: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7], c8: GenCodecValue[String, A8], c9: GenCodecValue[String, A9], c10: GenCodecValue[String, A10], c11: GenCodecValue[String, A11], c12: GenCodecValue[String, A12], c13: GenCodecValue[String, A13], c14: GenCodecValue[String, A14], c15: GenCodecValue[String, A15], c16: GenCodecValue[String, A16]): GenCodecValue[Seq[String], Tuple16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16]] = GenCodecValue[Seq[String], Tuple16[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7), c8.encode(is._8), c9.encode(is._9), c10.encode(is._10), c11.encode(is._11), c12.encode(is._12), c13.encode(is._13), c14.encode(is._14), c15.encode(is._15), c16.encode(is._16))
  }{ ss ⇒ ss.length != 16 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) || c8.isIllegal(ss(7)) || c9.isIllegal(ss(8)) || c10.isIllegal(ss(9)) || c11.isIllegal(ss(10)) || c12.isIllegal(ss(11)) || c13.isIllegal(ss(12)) || c14.isIllegal(ss(13)) || c15.isIllegal(ss(14)) || c16.isIllegal(ss(15)) }

    implicit def tuple17CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary, A8: Arbitrary, A9: Arbitrary, A10: Arbitrary, A11: Arbitrary, A12: Arbitrary, A13: Arbitrary, A14: Arbitrary, A15: Arbitrary, A16: Arbitrary, A17: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7], c8: GenCodecValue[String, A8], c9: GenCodecValue[String, A9], c10: GenCodecValue[String, A10], c11: GenCodecValue[String, A11], c12: GenCodecValue[String, A12], c13: GenCodecValue[String, A13], c14: GenCodecValue[String, A14], c15: GenCodecValue[String, A15], c16: GenCodecValue[String, A16], c17: GenCodecValue[String, A17]): GenCodecValue[Seq[String], Tuple17[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17]] = GenCodecValue[Seq[String], Tuple17[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7), c8.encode(is._8), c9.encode(is._9), c10.encode(is._10), c11.encode(is._11), c12.encode(is._12), c13.encode(is._13), c14.encode(is._14), c15.encode(is._15), c16.encode(is._16), c17.encode(is._17))
  }{ ss ⇒ ss.length != 17 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) || c8.isIllegal(ss(7)) || c9.isIllegal(ss(8)) || c10.isIllegal(ss(9)) || c11.isIllegal(ss(10)) || c12.isIllegal(ss(11)) || c13.isIllegal(ss(12)) || c14.isIllegal(ss(13)) || c15.isIllegal(ss(14)) || c16.isIllegal(ss(15)) || c17.isIllegal(ss(16)) }

    implicit def tuple18CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary, A8: Arbitrary, A9: Arbitrary, A10: Arbitrary, A11: Arbitrary, A12: Arbitrary, A13: Arbitrary, A14: Arbitrary, A15: Arbitrary, A16: Arbitrary, A17: Arbitrary, A18: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7], c8: GenCodecValue[String, A8], c9: GenCodecValue[String, A9], c10: GenCodecValue[String, A10], c11: GenCodecValue[String, A11], c12: GenCodecValue[String, A12], c13: GenCodecValue[String, A13], c14: GenCodecValue[String, A14], c15: GenCodecValue[String, A15], c16: GenCodecValue[String, A16], c17: GenCodecValue[String, A17], c18: GenCodecValue[String, A18]): GenCodecValue[Seq[String], Tuple18[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18]] = GenCodecValue[Seq[String], Tuple18[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7), c8.encode(is._8), c9.encode(is._9), c10.encode(is._10), c11.encode(is._11), c12.encode(is._12), c13.encode(is._13), c14.encode(is._14), c15.encode(is._15), c16.encode(is._16), c17.encode(is._17), c18.encode(is._18))
  }{ ss ⇒ ss.length != 18 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) || c8.isIllegal(ss(7)) || c9.isIllegal(ss(8)) || c10.isIllegal(ss(9)) || c11.isIllegal(ss(10)) || c12.isIllegal(ss(11)) || c13.isIllegal(ss(12)) || c14.isIllegal(ss(13)) || c15.isIllegal(ss(14)) || c16.isIllegal(ss(15)) || c17.isIllegal(ss(16)) || c18.isIllegal(ss(17)) }

    implicit def tuple19CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary, A8: Arbitrary, A9: Arbitrary, A10: Arbitrary, A11: Arbitrary, A12: Arbitrary, A13: Arbitrary, A14: Arbitrary, A15: Arbitrary, A16: Arbitrary, A17: Arbitrary, A18: Arbitrary, A19: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7], c8: GenCodecValue[String, A8], c9: GenCodecValue[String, A9], c10: GenCodecValue[String, A10], c11: GenCodecValue[String, A11], c12: GenCodecValue[String, A12], c13: GenCodecValue[String, A13], c14: GenCodecValue[String, A14], c15: GenCodecValue[String, A15], c16: GenCodecValue[String, A16], c17: GenCodecValue[String, A17], c18: GenCodecValue[String, A18], c19: GenCodecValue[String, A19]): GenCodecValue[Seq[String], Tuple19[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19]] = GenCodecValue[Seq[String], Tuple19[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7), c8.encode(is._8), c9.encode(is._9), c10.encode(is._10), c11.encode(is._11), c12.encode(is._12), c13.encode(is._13), c14.encode(is._14), c15.encode(is._15), c16.encode(is._16), c17.encode(is._17), c18.encode(is._18), c19.encode(is._19))
  }{ ss ⇒ ss.length != 19 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) || c8.isIllegal(ss(7)) || c9.isIllegal(ss(8)) || c10.isIllegal(ss(9)) || c11.isIllegal(ss(10)) || c12.isIllegal(ss(11)) || c13.isIllegal(ss(12)) || c14.isIllegal(ss(13)) || c15.isIllegal(ss(14)) || c16.isIllegal(ss(15)) || c17.isIllegal(ss(16)) || c18.isIllegal(ss(17)) || c19.isIllegal(ss(18)) }

    implicit def tuple20CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary, A8: Arbitrary, A9: Arbitrary, A10: Arbitrary, A11: Arbitrary, A12: Arbitrary, A13: Arbitrary, A14: Arbitrary, A15: Arbitrary, A16: Arbitrary, A17: Arbitrary, A18: Arbitrary, A19: Arbitrary, A20: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7], c8: GenCodecValue[String, A8], c9: GenCodecValue[String, A9], c10: GenCodecValue[String, A10], c11: GenCodecValue[String, A11], c12: GenCodecValue[String, A12], c13: GenCodecValue[String, A13], c14: GenCodecValue[String, A14], c15: GenCodecValue[String, A15], c16: GenCodecValue[String, A16], c17: GenCodecValue[String, A17], c18: GenCodecValue[String, A18], c19: GenCodecValue[String, A19], c20: GenCodecValue[String, A20]): GenCodecValue[Seq[String], Tuple20[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20]] = GenCodecValue[Seq[String], Tuple20[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7), c8.encode(is._8), c9.encode(is._9), c10.encode(is._10), c11.encode(is._11), c12.encode(is._12), c13.encode(is._13), c14.encode(is._14), c15.encode(is._15), c16.encode(is._16), c17.encode(is._17), c18.encode(is._18), c19.encode(is._19), c20.encode(is._20))
  }{ ss ⇒ ss.length != 20 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) || c8.isIllegal(ss(7)) || c9.isIllegal(ss(8)) || c10.isIllegal(ss(9)) || c11.isIllegal(ss(10)) || c12.isIllegal(ss(11)) || c13.isIllegal(ss(12)) || c14.isIllegal(ss(13)) || c15.isIllegal(ss(14)) || c16.isIllegal(ss(15)) || c17.isIllegal(ss(16)) || c18.isIllegal(ss(17)) || c19.isIllegal(ss(18)) || c20.isIllegal(ss(19)) }

    implicit def tuple21CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary, A8: Arbitrary, A9: Arbitrary, A10: Arbitrary, A11: Arbitrary, A12: Arbitrary, A13: Arbitrary, A14: Arbitrary, A15: Arbitrary, A16: Arbitrary, A17: Arbitrary, A18: Arbitrary, A19: Arbitrary, A20: Arbitrary, A21: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7], c8: GenCodecValue[String, A8], c9: GenCodecValue[String, A9], c10: GenCodecValue[String, A10], c11: GenCodecValue[String, A11], c12: GenCodecValue[String, A12], c13: GenCodecValue[String, A13], c14: GenCodecValue[String, A14], c15: GenCodecValue[String, A15], c16: GenCodecValue[String, A16], c17: GenCodecValue[String, A17], c18: GenCodecValue[String, A18], c19: GenCodecValue[String, A19], c20: GenCodecValue[String, A20], c21: GenCodecValue[String, A21]): GenCodecValue[Seq[String], Tuple21[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21]] = GenCodecValue[Seq[String], Tuple21[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7), c8.encode(is._8), c9.encode(is._9), c10.encode(is._10), c11.encode(is._11), c12.encode(is._12), c13.encode(is._13), c14.encode(is._14), c15.encode(is._15), c16.encode(is._16), c17.encode(is._17), c18.encode(is._18), c19.encode(is._19), c20.encode(is._20), c21.encode(is._21))
  }{ ss ⇒ ss.length != 21 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) || c8.isIllegal(ss(7)) || c9.isIllegal(ss(8)) || c10.isIllegal(ss(9)) || c11.isIllegal(ss(10)) || c12.isIllegal(ss(11)) || c13.isIllegal(ss(12)) || c14.isIllegal(ss(13)) || c15.isIllegal(ss(14)) || c16.isIllegal(ss(15)) || c17.isIllegal(ss(16)) || c18.isIllegal(ss(17)) || c19.isIllegal(ss(18)) || c20.isIllegal(ss(19)) || c21.isIllegal(ss(20)) }

    implicit def tuple22CodecValue[A1: Arbitrary, A2: Arbitrary, A3: Arbitrary, A4: Arbitrary, A5: Arbitrary, A6: Arbitrary, A7: Arbitrary, A8: Arbitrary, A9: Arbitrary, A10: Arbitrary, A11: Arbitrary, A12: Arbitrary, A13: Arbitrary, A14: Arbitrary, A15: Arbitrary, A16: Arbitrary, A17: Arbitrary, A18: Arbitrary, A19: Arbitrary, A20: Arbitrary, A21: Arbitrary, A22: Arbitrary](implicit c1: GenCodecValue[String, A1], c2: GenCodecValue[String, A2], c3: GenCodecValue[String, A3], c4: GenCodecValue[String, A4], c5: GenCodecValue[String, A5], c6: GenCodecValue[String, A6], c7: GenCodecValue[String, A7], c8: GenCodecValue[String, A8], c9: GenCodecValue[String, A9], c10: GenCodecValue[String, A10], c11: GenCodecValue[String, A11], c12: GenCodecValue[String, A12], c13: GenCodecValue[String, A13], c14: GenCodecValue[String, A14], c15: GenCodecValue[String, A15], c16: GenCodecValue[String, A16], c17: GenCodecValue[String, A17], c18: GenCodecValue[String, A18], c19: GenCodecValue[String, A19], c20: GenCodecValue[String, A20], c21: GenCodecValue[String, A21], c22: GenCodecValue[String, A22]): GenCodecValue[Seq[String], Tuple22[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22]] = GenCodecValue[Seq[String], Tuple22[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22]] { is ⇒
    Seq(c1.encode(is._1), c2.encode(is._2), c3.encode(is._3), c4.encode(is._4), c5.encode(is._5), c6.encode(is._6), c7.encode(is._7), c8.encode(is._8), c9.encode(is._9), c10.encode(is._10), c11.encode(is._11), c12.encode(is._12), c13.encode(is._13), c14.encode(is._14), c15.encode(is._15), c16.encode(is._16), c17.encode(is._17), c18.encode(is._18), c19.encode(is._19), c20.encode(is._20), c21.encode(is._21), c22.encode(is._22))
  }{ ss ⇒ ss.length != 22 || c1.isIllegal(ss(0)) || c2.isIllegal(ss(1)) || c3.isIllegal(ss(2)) || c4.isIllegal(ss(3)) || c5.isIllegal(ss(4)) || c6.isIllegal(ss(5)) || c7.isIllegal(ss(6)) || c8.isIllegal(ss(7)) || c9.isIllegal(ss(8)) || c10.isIllegal(ss(9)) || c11.isIllegal(ss(10)) || c12.isIllegal(ss(11)) || c13.isIllegal(ss(12)) || c14.isIllegal(ss(13)) || c15.isIllegal(ss(14)) || c16.isIllegal(ss(15)) || c17.isIllegal(ss(16)) || c18.isIllegal(ss(17)) || c19.isIllegal(ss(18)) || c20.isIllegal(ss(19)) || c21.isIllegal(ss(20)) || c22.isIllegal(ss(21)) }
}




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy