kantan.codecs.laws.discipline

ArbitraryArities

trait ArbitraryArities extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
ArbitraryInstances, arbitrary
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ArbitraryArities
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  7. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  8. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  9. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  10. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  11. def genIllegalTuple1[E1, D1](implicit arbD1: Arbitrary[IllegalValue[E1, D1]]): Gen[IllegalValue[(E1), (D1)]]

  12. def genIllegalTuple10[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]], arbD8: Arbitrary[IllegalValue[E8, D8]], arbD9: Arbitrary[IllegalValue[E9, D9]], arbD10: Arbitrary[IllegalValue[E10, D10]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10)]]

  13. def genIllegalTuple11[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]], arbD8: Arbitrary[IllegalValue[E8, D8]], arbD9: Arbitrary[IllegalValue[E9, D9]], arbD10: Arbitrary[IllegalValue[E10, D10]], arbD11: Arbitrary[IllegalValue[E11, D11]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11)]]

  14. def genIllegalTuple12[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]], arbD8: Arbitrary[IllegalValue[E8, D8]], arbD9: Arbitrary[IllegalValue[E9, D9]], arbD10: Arbitrary[IllegalValue[E10, D10]], arbD11: Arbitrary[IllegalValue[E11, D11]], arbD12: Arbitrary[IllegalValue[E12, D12]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12)]]

  15. def genIllegalTuple13[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]], arbD8: Arbitrary[IllegalValue[E8, D8]], arbD9: Arbitrary[IllegalValue[E9, D9]], arbD10: Arbitrary[IllegalValue[E10, D10]], arbD11: Arbitrary[IllegalValue[E11, D11]], arbD12: Arbitrary[IllegalValue[E12, D12]], arbD13: Arbitrary[IllegalValue[E13, D13]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13)]]

  16. def genIllegalTuple14[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]], arbD8: Arbitrary[IllegalValue[E8, D8]], arbD9: Arbitrary[IllegalValue[E9, D9]], arbD10: Arbitrary[IllegalValue[E10, D10]], arbD11: Arbitrary[IllegalValue[E11, D11]], arbD12: Arbitrary[IllegalValue[E12, D12]], arbD13: Arbitrary[IllegalValue[E13, D13]], arbD14: Arbitrary[IllegalValue[E14, D14]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14)]]

  17. def genIllegalTuple15[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]], arbD8: Arbitrary[IllegalValue[E8, D8]], arbD9: Arbitrary[IllegalValue[E9, D9]], arbD10: Arbitrary[IllegalValue[E10, D10]], arbD11: Arbitrary[IllegalValue[E11, D11]], arbD12: Arbitrary[IllegalValue[E12, D12]], arbD13: Arbitrary[IllegalValue[E13, D13]], arbD14: Arbitrary[IllegalValue[E14, D14]], arbD15: Arbitrary[IllegalValue[E15, D15]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15)]]

  18. def genIllegalTuple16[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]], arbD8: Arbitrary[IllegalValue[E8, D8]], arbD9: Arbitrary[IllegalValue[E9, D9]], arbD10: Arbitrary[IllegalValue[E10, D10]], arbD11: Arbitrary[IllegalValue[E11, D11]], arbD12: Arbitrary[IllegalValue[E12, D12]], arbD13: Arbitrary[IllegalValue[E13, D13]], arbD14: Arbitrary[IllegalValue[E14, D14]], arbD15: Arbitrary[IllegalValue[E15, D15]], arbD16: Arbitrary[IllegalValue[E16, D16]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16)]]

  19. def genIllegalTuple17[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]], arbD8: Arbitrary[IllegalValue[E8, D8]], arbD9: Arbitrary[IllegalValue[E9, D9]], arbD10: Arbitrary[IllegalValue[E10, D10]], arbD11: Arbitrary[IllegalValue[E11, D11]], arbD12: Arbitrary[IllegalValue[E12, D12]], arbD13: Arbitrary[IllegalValue[E13, D13]], arbD14: Arbitrary[IllegalValue[E14, D14]], arbD15: Arbitrary[IllegalValue[E15, D15]], arbD16: Arbitrary[IllegalValue[E16, D16]], arbD17: Arbitrary[IllegalValue[E17, D17]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17)]]

  20. def genIllegalTuple18[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]], arbD8: Arbitrary[IllegalValue[E8, D8]], arbD9: Arbitrary[IllegalValue[E9, D9]], arbD10: Arbitrary[IllegalValue[E10, D10]], arbD11: Arbitrary[IllegalValue[E11, D11]], arbD12: Arbitrary[IllegalValue[E12, D12]], arbD13: Arbitrary[IllegalValue[E13, D13]], arbD14: Arbitrary[IllegalValue[E14, D14]], arbD15: Arbitrary[IllegalValue[E15, D15]], arbD16: Arbitrary[IllegalValue[E16, D16]], arbD17: Arbitrary[IllegalValue[E17, D17]], arbD18: Arbitrary[IllegalValue[E18, D18]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18)]]

  21. def genIllegalTuple19[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]], arbD8: Arbitrary[IllegalValue[E8, D8]], arbD9: Arbitrary[IllegalValue[E9, D9]], arbD10: Arbitrary[IllegalValue[E10, D10]], arbD11: Arbitrary[IllegalValue[E11, D11]], arbD12: Arbitrary[IllegalValue[E12, D12]], arbD13: Arbitrary[IllegalValue[E13, D13]], arbD14: Arbitrary[IllegalValue[E14, D14]], arbD15: Arbitrary[IllegalValue[E15, D15]], arbD16: Arbitrary[IllegalValue[E16, D16]], arbD17: Arbitrary[IllegalValue[E17, D17]], arbD18: Arbitrary[IllegalValue[E18, D18]], arbD19: Arbitrary[IllegalValue[E19, D19]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19)]]

  22. def genIllegalTuple2[E1, E2, D1, D2](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]]): Gen[IllegalValue[(E1, E2), (D1, D2)]]

  23. def genIllegalTuple20[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]], arbD8: Arbitrary[IllegalValue[E8, D8]], arbD9: Arbitrary[IllegalValue[E9, D9]], arbD10: Arbitrary[IllegalValue[E10, D10]], arbD11: Arbitrary[IllegalValue[E11, D11]], arbD12: Arbitrary[IllegalValue[E12, D12]], arbD13: Arbitrary[IllegalValue[E13, D13]], arbD14: Arbitrary[IllegalValue[E14, D14]], arbD15: Arbitrary[IllegalValue[E15, D15]], arbD16: Arbitrary[IllegalValue[E16, D16]], arbD17: Arbitrary[IllegalValue[E17, D17]], arbD18: Arbitrary[IllegalValue[E18, D18]], arbD19: Arbitrary[IllegalValue[E19, D19]], arbD20: Arbitrary[IllegalValue[E20, D20]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20)]]

  24. def genIllegalTuple21[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, D21](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]], arbD8: Arbitrary[IllegalValue[E8, D8]], arbD9: Arbitrary[IllegalValue[E9, D9]], arbD10: Arbitrary[IllegalValue[E10, D10]], arbD11: Arbitrary[IllegalValue[E11, D11]], arbD12: Arbitrary[IllegalValue[E12, D12]], arbD13: Arbitrary[IllegalValue[E13, D13]], arbD14: Arbitrary[IllegalValue[E14, D14]], arbD15: Arbitrary[IllegalValue[E15, D15]], arbD16: Arbitrary[IllegalValue[E16, D16]], arbD17: Arbitrary[IllegalValue[E17, D17]], arbD18: Arbitrary[IllegalValue[E18, D18]], arbD19: Arbitrary[IllegalValue[E19, D19]], arbD20: Arbitrary[IllegalValue[E20, D20]], arbD21: Arbitrary[IllegalValue[E21, D21]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, D21)]]

  25. def genIllegalTuple22[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, D21, D22](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]], arbD8: Arbitrary[IllegalValue[E8, D8]], arbD9: Arbitrary[IllegalValue[E9, D9]], arbD10: Arbitrary[IllegalValue[E10, D10]], arbD11: Arbitrary[IllegalValue[E11, D11]], arbD12: Arbitrary[IllegalValue[E12, D12]], arbD13: Arbitrary[IllegalValue[E13, D13]], arbD14: Arbitrary[IllegalValue[E14, D14]], arbD15: Arbitrary[IllegalValue[E15, D15]], arbD16: Arbitrary[IllegalValue[E16, D16]], arbD17: Arbitrary[IllegalValue[E17, D17]], arbD18: Arbitrary[IllegalValue[E18, D18]], arbD19: Arbitrary[IllegalValue[E19, D19]], arbD20: Arbitrary[IllegalValue[E20, D20]], arbD21: Arbitrary[IllegalValue[E21, D21]], arbD22: Arbitrary[IllegalValue[E22, D22]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, D21, D22)]]

  26. def genIllegalTuple3[E1, E2, E3, D1, D2, D3](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]]): Gen[IllegalValue[(E1, E2, E3), (D1, D2, D3)]]

  27. def genIllegalTuple4[E1, E2, E3, E4, D1, D2, D3, D4](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]]): Gen[IllegalValue[(E1, E2, E3, E4), (D1, D2, D3, D4)]]

  28. def genIllegalTuple5[E1, E2, E3, E4, E5, D1, D2, D3, D4, D5](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]]): Gen[IllegalValue[(E1, E2, E3, E4, E5), (D1, D2, D3, D4, D5)]]

  29. def genIllegalTuple6[E1, E2, E3, E4, E5, E6, D1, D2, D3, D4, D5, D6](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6), (D1, D2, D3, D4, D5, D6)]]

  30. def genIllegalTuple7[E1, E2, E3, E4, E5, E6, E7, D1, D2, D3, D4, D5, D6, D7](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7), (D1, D2, D3, D4, D5, D6, D7)]]

  31. def genIllegalTuple8[E1, E2, E3, E4, E5, E6, E7, E8, D1, D2, D3, D4, D5, D6, D7, D8](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]], arbD8: Arbitrary[IllegalValue[E8, D8]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7, E8), (D1, D2, D3, D4, D5, D6, D7, D8)]]

  32. def genIllegalTuple9[E1, E2, E3, E4, E5, E6, E7, E8, E9, D1, D2, D3, D4, D5, D6, D7, D8, D9](implicit arbD1: Arbitrary[IllegalValue[E1, D1]], arbD2: Arbitrary[IllegalValue[E2, D2]], arbD3: Arbitrary[IllegalValue[E3, D3]], arbD4: Arbitrary[IllegalValue[E4, D4]], arbD5: Arbitrary[IllegalValue[E5, D5]], arbD6: Arbitrary[IllegalValue[E6, D6]], arbD7: Arbitrary[IllegalValue[E7, D7]], arbD8: Arbitrary[IllegalValue[E8, D8]], arbD9: Arbitrary[IllegalValue[E9, D9]]): Gen[IllegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9), (D1, D2, D3, D4, D5, D6, D7, D8, D9)]]

  33. def genIllegalWith1[E1, D1, EE, DD](encoded: (E1) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]]): Gen[IllegalValue[EE, DD]]

  34. def genIllegalWith10[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]], arb8: Arbitrary[IllegalValue[E8, D8]], arb9: Arbitrary[IllegalValue[E9, D9]], arb10: Arbitrary[IllegalValue[E10, D10]]): Gen[IllegalValue[EE, DD]]

  35. def genIllegalWith11[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]], arb8: Arbitrary[IllegalValue[E8, D8]], arb9: Arbitrary[IllegalValue[E9, D9]], arb10: Arbitrary[IllegalValue[E10, D10]], arb11: Arbitrary[IllegalValue[E11, D11]]): Gen[IllegalValue[EE, DD]]

  36. def genIllegalWith12[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]], arb8: Arbitrary[IllegalValue[E8, D8]], arb9: Arbitrary[IllegalValue[E9, D9]], arb10: Arbitrary[IllegalValue[E10, D10]], arb11: Arbitrary[IllegalValue[E11, D11]], arb12: Arbitrary[IllegalValue[E12, D12]]): Gen[IllegalValue[EE, DD]]

  37. def genIllegalWith13[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]], arb8: Arbitrary[IllegalValue[E8, D8]], arb9: Arbitrary[IllegalValue[E9, D9]], arb10: Arbitrary[IllegalValue[E10, D10]], arb11: Arbitrary[IllegalValue[E11, D11]], arb12: Arbitrary[IllegalValue[E12, D12]], arb13: Arbitrary[IllegalValue[E13, D13]]): Gen[IllegalValue[EE, DD]]

  38. def genIllegalWith14[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]], arb8: Arbitrary[IllegalValue[E8, D8]], arb9: Arbitrary[IllegalValue[E9, D9]], arb10: Arbitrary[IllegalValue[E10, D10]], arb11: Arbitrary[IllegalValue[E11, D11]], arb12: Arbitrary[IllegalValue[E12, D12]], arb13: Arbitrary[IllegalValue[E13, D13]], arb14: Arbitrary[IllegalValue[E14, D14]]): Gen[IllegalValue[EE, DD]]

  39. def genIllegalWith15[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]], arb8: Arbitrary[IllegalValue[E8, D8]], arb9: Arbitrary[IllegalValue[E9, D9]], arb10: Arbitrary[IllegalValue[E10, D10]], arb11: Arbitrary[IllegalValue[E11, D11]], arb12: Arbitrary[IllegalValue[E12, D12]], arb13: Arbitrary[IllegalValue[E13, D13]], arb14: Arbitrary[IllegalValue[E14, D14]], arb15: Arbitrary[IllegalValue[E15, D15]]): Gen[IllegalValue[EE, DD]]

  40. def genIllegalWith16[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]], arb8: Arbitrary[IllegalValue[E8, D8]], arb9: Arbitrary[IllegalValue[E9, D9]], arb10: Arbitrary[IllegalValue[E10, D10]], arb11: Arbitrary[IllegalValue[E11, D11]], arb12: Arbitrary[IllegalValue[E12, D12]], arb13: Arbitrary[IllegalValue[E13, D13]], arb14: Arbitrary[IllegalValue[E14, D14]], arb15: Arbitrary[IllegalValue[E15, D15]], arb16: Arbitrary[IllegalValue[E16, D16]]): Gen[IllegalValue[EE, DD]]

  41. def genIllegalWith17[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]], arb8: Arbitrary[IllegalValue[E8, D8]], arb9: Arbitrary[IllegalValue[E9, D9]], arb10: Arbitrary[IllegalValue[E10, D10]], arb11: Arbitrary[IllegalValue[E11, D11]], arb12: Arbitrary[IllegalValue[E12, D12]], arb13: Arbitrary[IllegalValue[E13, D13]], arb14: Arbitrary[IllegalValue[E14, D14]], arb15: Arbitrary[IllegalValue[E15, D15]], arb16: Arbitrary[IllegalValue[E16, D16]], arb17: Arbitrary[IllegalValue[E17, D17]]): Gen[IllegalValue[EE, DD]]

  42. def genIllegalWith18[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]], arb8: Arbitrary[IllegalValue[E8, D8]], arb9: Arbitrary[IllegalValue[E9, D9]], arb10: Arbitrary[IllegalValue[E10, D10]], arb11: Arbitrary[IllegalValue[E11, D11]], arb12: Arbitrary[IllegalValue[E12, D12]], arb13: Arbitrary[IllegalValue[E13, D13]], arb14: Arbitrary[IllegalValue[E14, D14]], arb15: Arbitrary[IllegalValue[E15, D15]], arb16: Arbitrary[IllegalValue[E16, D16]], arb17: Arbitrary[IllegalValue[E17, D17]], arb18: Arbitrary[IllegalValue[E18, D18]]): Gen[IllegalValue[EE, DD]]

  43. def genIllegalWith19[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]], arb8: Arbitrary[IllegalValue[E8, D8]], arb9: Arbitrary[IllegalValue[E9, D9]], arb10: Arbitrary[IllegalValue[E10, D10]], arb11: Arbitrary[IllegalValue[E11, D11]], arb12: Arbitrary[IllegalValue[E12, D12]], arb13: Arbitrary[IllegalValue[E13, D13]], arb14: Arbitrary[IllegalValue[E14, D14]], arb15: Arbitrary[IllegalValue[E15, D15]], arb16: Arbitrary[IllegalValue[E16, D16]], arb17: Arbitrary[IllegalValue[E17, D17]], arb18: Arbitrary[IllegalValue[E18, D18]], arb19: Arbitrary[IllegalValue[E19, D19]]): Gen[IllegalValue[EE, DD]]

  44. def genIllegalWith2[E1, E2, D1, D2, EE, DD](encoded: (E1, E2) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]]): Gen[IllegalValue[EE, DD]]

  45. def genIllegalWith20[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]], arb8: Arbitrary[IllegalValue[E8, D8]], arb9: Arbitrary[IllegalValue[E9, D9]], arb10: Arbitrary[IllegalValue[E10, D10]], arb11: Arbitrary[IllegalValue[E11, D11]], arb12: Arbitrary[IllegalValue[E12, D12]], arb13: Arbitrary[IllegalValue[E13, D13]], arb14: Arbitrary[IllegalValue[E14, D14]], arb15: Arbitrary[IllegalValue[E15, D15]], arb16: Arbitrary[IllegalValue[E16, D16]], arb17: Arbitrary[IllegalValue[E17, D17]], arb18: Arbitrary[IllegalValue[E18, D18]], arb19: Arbitrary[IllegalValue[E19, D19]], arb20: Arbitrary[IllegalValue[E20, D20]]): Gen[IllegalValue[EE, DD]]

  46. def genIllegalWith21[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, D21, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]], arb8: Arbitrary[IllegalValue[E8, D8]], arb9: Arbitrary[IllegalValue[E9, D9]], arb10: Arbitrary[IllegalValue[E10, D10]], arb11: Arbitrary[IllegalValue[E11, D11]], arb12: Arbitrary[IllegalValue[E12, D12]], arb13: Arbitrary[IllegalValue[E13, D13]], arb14: Arbitrary[IllegalValue[E14, D14]], arb15: Arbitrary[IllegalValue[E15, D15]], arb16: Arbitrary[IllegalValue[E16, D16]], arb17: Arbitrary[IllegalValue[E17, D17]], arb18: Arbitrary[IllegalValue[E18, D18]], arb19: Arbitrary[IllegalValue[E19, D19]], arb20: Arbitrary[IllegalValue[E20, D20]], arb21: Arbitrary[IllegalValue[E21, D21]]): Gen[IllegalValue[EE, DD]]

  47. def genIllegalWith22[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, D21, D22, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]], arb8: Arbitrary[IllegalValue[E8, D8]], arb9: Arbitrary[IllegalValue[E9, D9]], arb10: Arbitrary[IllegalValue[E10, D10]], arb11: Arbitrary[IllegalValue[E11, D11]], arb12: Arbitrary[IllegalValue[E12, D12]], arb13: Arbitrary[IllegalValue[E13, D13]], arb14: Arbitrary[IllegalValue[E14, D14]], arb15: Arbitrary[IllegalValue[E15, D15]], arb16: Arbitrary[IllegalValue[E16, D16]], arb17: Arbitrary[IllegalValue[E17, D17]], arb18: Arbitrary[IllegalValue[E18, D18]], arb19: Arbitrary[IllegalValue[E19, D19]], arb20: Arbitrary[IllegalValue[E20, D20]], arb21: Arbitrary[IllegalValue[E21, D21]], arb22: Arbitrary[IllegalValue[E22, D22]]): Gen[IllegalValue[EE, DD]]

  48. def genIllegalWith3[E1, E2, E3, D1, D2, D3, EE, DD](encoded: (E1, E2, E3) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]]): Gen[IllegalValue[EE, DD]]

  49. def genIllegalWith4[E1, E2, E3, E4, D1, D2, D3, D4, EE, DD](encoded: (E1, E2, E3, E4) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]]): Gen[IllegalValue[EE, DD]]

  50. def genIllegalWith5[E1, E2, E3, E4, E5, D1, D2, D3, D4, D5, EE, DD](encoded: (E1, E2, E3, E4, E5) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]]): Gen[IllegalValue[EE, DD]]

  51. def genIllegalWith6[E1, E2, E3, E4, E5, E6, D1, D2, D3, D4, D5, D6, EE, DD](encoded: (E1, E2, E3, E4, E5, E6) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]]): Gen[IllegalValue[EE, DD]]

  52. def genIllegalWith7[E1, E2, E3, E4, E5, E6, E7, D1, D2, D3, D4, D5, D6, D7, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]]): Gen[IllegalValue[EE, DD]]

  53. def genIllegalWith8[E1, E2, E3, E4, E5, E6, E7, E8, D1, D2, D3, D4, D5, D6, D7, D8, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7, E8) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]], arb8: Arbitrary[IllegalValue[E8, D8]]): Gen[IllegalValue[EE, DD]]

  54. def genIllegalWith9[E1, E2, E3, E4, E5, E6, E7, E8, E9, D1, D2, D3, D4, D5, D6, D7, D8, D9, EE, DD](encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9) ⇒ EE)(implicit arb1: Arbitrary[IllegalValue[E1, D1]], arb2: Arbitrary[IllegalValue[E2, D2]], arb3: Arbitrary[IllegalValue[E3, D3]], arb4: Arbitrary[IllegalValue[E4, D4]], arb5: Arbitrary[IllegalValue[E5, D5]], arb6: Arbitrary[IllegalValue[E6, D6]], arb7: Arbitrary[IllegalValue[E7, D7]], arb8: Arbitrary[IllegalValue[E8, D8]], arb9: Arbitrary[IllegalValue[E9, D9]]): Gen[IllegalValue[EE, DD]]

  55. def genLegalTuple1[E1, D1](implicit arbD1: Arbitrary[LegalValue[E1, D1]]): Gen[LegalValue[(E1), (D1)]]

  56. def genLegalTuple10[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]], arbD8: Arbitrary[LegalValue[E8, D8]], arbD9: Arbitrary[LegalValue[E9, D9]], arbD10: Arbitrary[LegalValue[E10, D10]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10)]]

  57. def genLegalTuple11[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]], arbD8: Arbitrary[LegalValue[E8, D8]], arbD9: Arbitrary[LegalValue[E9, D9]], arbD10: Arbitrary[LegalValue[E10, D10]], arbD11: Arbitrary[LegalValue[E11, D11]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11)]]

  58. def genLegalTuple12[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]], arbD8: Arbitrary[LegalValue[E8, D8]], arbD9: Arbitrary[LegalValue[E9, D9]], arbD10: Arbitrary[LegalValue[E10, D10]], arbD11: Arbitrary[LegalValue[E11, D11]], arbD12: Arbitrary[LegalValue[E12, D12]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12)]]

  59. def genLegalTuple13[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]], arbD8: Arbitrary[LegalValue[E8, D8]], arbD9: Arbitrary[LegalValue[E9, D9]], arbD10: Arbitrary[LegalValue[E10, D10]], arbD11: Arbitrary[LegalValue[E11, D11]], arbD12: Arbitrary[LegalValue[E12, D12]], arbD13: Arbitrary[LegalValue[E13, D13]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13)]]

  60. def genLegalTuple14[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]], arbD8: Arbitrary[LegalValue[E8, D8]], arbD9: Arbitrary[LegalValue[E9, D9]], arbD10: Arbitrary[LegalValue[E10, D10]], arbD11: Arbitrary[LegalValue[E11, D11]], arbD12: Arbitrary[LegalValue[E12, D12]], arbD13: Arbitrary[LegalValue[E13, D13]], arbD14: Arbitrary[LegalValue[E14, D14]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14)]]

  61. def genLegalTuple15[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]], arbD8: Arbitrary[LegalValue[E8, D8]], arbD9: Arbitrary[LegalValue[E9, D9]], arbD10: Arbitrary[LegalValue[E10, D10]], arbD11: Arbitrary[LegalValue[E11, D11]], arbD12: Arbitrary[LegalValue[E12, D12]], arbD13: Arbitrary[LegalValue[E13, D13]], arbD14: Arbitrary[LegalValue[E14, D14]], arbD15: Arbitrary[LegalValue[E15, D15]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15)]]

  62. def genLegalTuple16[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]], arbD8: Arbitrary[LegalValue[E8, D8]], arbD9: Arbitrary[LegalValue[E9, D9]], arbD10: Arbitrary[LegalValue[E10, D10]], arbD11: Arbitrary[LegalValue[E11, D11]], arbD12: Arbitrary[LegalValue[E12, D12]], arbD13: Arbitrary[LegalValue[E13, D13]], arbD14: Arbitrary[LegalValue[E14, D14]], arbD15: Arbitrary[LegalValue[E15, D15]], arbD16: Arbitrary[LegalValue[E16, D16]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16)]]

  63. def genLegalTuple17[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]], arbD8: Arbitrary[LegalValue[E8, D8]], arbD9: Arbitrary[LegalValue[E9, D9]], arbD10: Arbitrary[LegalValue[E10, D10]], arbD11: Arbitrary[LegalValue[E11, D11]], arbD12: Arbitrary[LegalValue[E12, D12]], arbD13: Arbitrary[LegalValue[E13, D13]], arbD14: Arbitrary[LegalValue[E14, D14]], arbD15: Arbitrary[LegalValue[E15, D15]], arbD16: Arbitrary[LegalValue[E16, D16]], arbD17: Arbitrary[LegalValue[E17, D17]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17)]]

  64. def genLegalTuple18[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]], arbD8: Arbitrary[LegalValue[E8, D8]], arbD9: Arbitrary[LegalValue[E9, D9]], arbD10: Arbitrary[LegalValue[E10, D10]], arbD11: Arbitrary[LegalValue[E11, D11]], arbD12: Arbitrary[LegalValue[E12, D12]], arbD13: Arbitrary[LegalValue[E13, D13]], arbD14: Arbitrary[LegalValue[E14, D14]], arbD15: Arbitrary[LegalValue[E15, D15]], arbD16: Arbitrary[LegalValue[E16, D16]], arbD17: Arbitrary[LegalValue[E17, D17]], arbD18: Arbitrary[LegalValue[E18, D18]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18)]]

  65. def genLegalTuple19[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]], arbD8: Arbitrary[LegalValue[E8, D8]], arbD9: Arbitrary[LegalValue[E9, D9]], arbD10: Arbitrary[LegalValue[E10, D10]], arbD11: Arbitrary[LegalValue[E11, D11]], arbD12: Arbitrary[LegalValue[E12, D12]], arbD13: Arbitrary[LegalValue[E13, D13]], arbD14: Arbitrary[LegalValue[E14, D14]], arbD15: Arbitrary[LegalValue[E15, D15]], arbD16: Arbitrary[LegalValue[E16, D16]], arbD17: Arbitrary[LegalValue[E17, D17]], arbD18: Arbitrary[LegalValue[E18, D18]], arbD19: Arbitrary[LegalValue[E19, D19]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19)]]

  66. def genLegalTuple2[E1, E2, D1, D2](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]]): Gen[LegalValue[(E1, E2), (D1, D2)]]

  67. def genLegalTuple20[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]], arbD8: Arbitrary[LegalValue[E8, D8]], arbD9: Arbitrary[LegalValue[E9, D9]], arbD10: Arbitrary[LegalValue[E10, D10]], arbD11: Arbitrary[LegalValue[E11, D11]], arbD12: Arbitrary[LegalValue[E12, D12]], arbD13: Arbitrary[LegalValue[E13, D13]], arbD14: Arbitrary[LegalValue[E14, D14]], arbD15: Arbitrary[LegalValue[E15, D15]], arbD16: Arbitrary[LegalValue[E16, D16]], arbD17: Arbitrary[LegalValue[E17, D17]], arbD18: Arbitrary[LegalValue[E18, D18]], arbD19: Arbitrary[LegalValue[E19, D19]], arbD20: Arbitrary[LegalValue[E20, D20]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20)]]

  68. def genLegalTuple21[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, D21](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]], arbD8: Arbitrary[LegalValue[E8, D8]], arbD9: Arbitrary[LegalValue[E9, D9]], arbD10: Arbitrary[LegalValue[E10, D10]], arbD11: Arbitrary[LegalValue[E11, D11]], arbD12: Arbitrary[LegalValue[E12, D12]], arbD13: Arbitrary[LegalValue[E13, D13]], arbD14: Arbitrary[LegalValue[E14, D14]], arbD15: Arbitrary[LegalValue[E15, D15]], arbD16: Arbitrary[LegalValue[E16, D16]], arbD17: Arbitrary[LegalValue[E17, D17]], arbD18: Arbitrary[LegalValue[E18, D18]], arbD19: Arbitrary[LegalValue[E19, D19]], arbD20: Arbitrary[LegalValue[E20, D20]], arbD21: Arbitrary[LegalValue[E21, D21]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, D21)]]

  69. def genLegalTuple22[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, D21, D22](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]], arbD8: Arbitrary[LegalValue[E8, D8]], arbD9: Arbitrary[LegalValue[E9, D9]], arbD10: Arbitrary[LegalValue[E10, D10]], arbD11: Arbitrary[LegalValue[E11, D11]], arbD12: Arbitrary[LegalValue[E12, D12]], arbD13: Arbitrary[LegalValue[E13, D13]], arbD14: Arbitrary[LegalValue[E14, D14]], arbD15: Arbitrary[LegalValue[E15, D15]], arbD16: Arbitrary[LegalValue[E16, D16]], arbD17: Arbitrary[LegalValue[E17, D17]], arbD18: Arbitrary[LegalValue[E18, D18]], arbD19: Arbitrary[LegalValue[E19, D19]], arbD20: Arbitrary[LegalValue[E20, D20]], arbD21: Arbitrary[LegalValue[E21, D21]], arbD22: Arbitrary[LegalValue[E22, D22]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22), (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, D21, D22)]]

  70. def genLegalTuple3[E1, E2, E3, D1, D2, D3](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]]): Gen[LegalValue[(E1, E2, E3), (D1, D2, D3)]]

  71. def genLegalTuple4[E1, E2, E3, E4, D1, D2, D3, D4](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]]): Gen[LegalValue[(E1, E2, E3, E4), (D1, D2, D3, D4)]]

  72. def genLegalTuple5[E1, E2, E3, E4, E5, D1, D2, D3, D4, D5](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]]): Gen[LegalValue[(E1, E2, E3, E4, E5), (D1, D2, D3, D4, D5)]]

  73. def genLegalTuple6[E1, E2, E3, E4, E5, E6, D1, D2, D3, D4, D5, D6](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6), (D1, D2, D3, D4, D5, D6)]]

  74. def genLegalTuple7[E1, E2, E3, E4, E5, E6, E7, D1, D2, D3, D4, D5, D6, D7](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7), (D1, D2, D3, D4, D5, D6, D7)]]

  75. def genLegalTuple8[E1, E2, E3, E4, E5, E6, E7, E8, D1, D2, D3, D4, D5, D6, D7, D8](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]], arbD8: Arbitrary[LegalValue[E8, D8]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7, E8), (D1, D2, D3, D4, D5, D6, D7, D8)]]

  76. def genLegalTuple9[E1, E2, E3, E4, E5, E6, E7, E8, E9, D1, D2, D3, D4, D5, D6, D7, D8, D9](implicit arbD1: Arbitrary[LegalValue[E1, D1]], arbD2: Arbitrary[LegalValue[E2, D2]], arbD3: Arbitrary[LegalValue[E3, D3]], arbD4: Arbitrary[LegalValue[E4, D4]], arbD5: Arbitrary[LegalValue[E5, D5]], arbD6: Arbitrary[LegalValue[E6, D6]], arbD7: Arbitrary[LegalValue[E7, D7]], arbD8: Arbitrary[LegalValue[E8, D8]], arbD9: Arbitrary[LegalValue[E9, D9]]): Gen[LegalValue[(E1, E2, E3, E4, E5, E6, E7, E8, E9), (D1, D2, D3, D4, D5, D6, D7, D8, D9)]]

  77. def genLegalWith1[E1, D1, EE, DD](decoded: (D1) ⇒ DD)(encoded: (E1) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]]): Gen[LegalValue[EE, DD]]

  78. def genLegalWith10[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]], arb8: Arbitrary[LegalValue[E8, D8]], arb9: Arbitrary[LegalValue[E9, D9]], arb10: Arbitrary[LegalValue[E10, D10]]): Gen[LegalValue[EE, DD]]

  79. def genLegalWith11[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]], arb8: Arbitrary[LegalValue[E8, D8]], arb9: Arbitrary[LegalValue[E9, D9]], arb10: Arbitrary[LegalValue[E10, D10]], arb11: Arbitrary[LegalValue[E11, D11]]): Gen[LegalValue[EE, DD]]

  80. def genLegalWith12[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]], arb8: Arbitrary[LegalValue[E8, D8]], arb9: Arbitrary[LegalValue[E9, D9]], arb10: Arbitrary[LegalValue[E10, D10]], arb11: Arbitrary[LegalValue[E11, D11]], arb12: Arbitrary[LegalValue[E12, D12]]): Gen[LegalValue[EE, DD]]

  81. def genLegalWith13[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]], arb8: Arbitrary[LegalValue[E8, D8]], arb9: Arbitrary[LegalValue[E9, D9]], arb10: Arbitrary[LegalValue[E10, D10]], arb11: Arbitrary[LegalValue[E11, D11]], arb12: Arbitrary[LegalValue[E12, D12]], arb13: Arbitrary[LegalValue[E13, D13]]): Gen[LegalValue[EE, DD]]

  82. def genLegalWith14[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]], arb8: Arbitrary[LegalValue[E8, D8]], arb9: Arbitrary[LegalValue[E9, D9]], arb10: Arbitrary[LegalValue[E10, D10]], arb11: Arbitrary[LegalValue[E11, D11]], arb12: Arbitrary[LegalValue[E12, D12]], arb13: Arbitrary[LegalValue[E13, D13]], arb14: Arbitrary[LegalValue[E14, D14]]): Gen[LegalValue[EE, DD]]

  83. def genLegalWith15[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]], arb8: Arbitrary[LegalValue[E8, D8]], arb9: Arbitrary[LegalValue[E9, D9]], arb10: Arbitrary[LegalValue[E10, D10]], arb11: Arbitrary[LegalValue[E11, D11]], arb12: Arbitrary[LegalValue[E12, D12]], arb13: Arbitrary[LegalValue[E13, D13]], arb14: Arbitrary[LegalValue[E14, D14]], arb15: Arbitrary[LegalValue[E15, D15]]): Gen[LegalValue[EE, DD]]

  84. def genLegalWith16[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]], arb8: Arbitrary[LegalValue[E8, D8]], arb9: Arbitrary[LegalValue[E9, D9]], arb10: Arbitrary[LegalValue[E10, D10]], arb11: Arbitrary[LegalValue[E11, D11]], arb12: Arbitrary[LegalValue[E12, D12]], arb13: Arbitrary[LegalValue[E13, D13]], arb14: Arbitrary[LegalValue[E14, D14]], arb15: Arbitrary[LegalValue[E15, D15]], arb16: Arbitrary[LegalValue[E16, D16]]): Gen[LegalValue[EE, DD]]

  85. def genLegalWith17[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]], arb8: Arbitrary[LegalValue[E8, D8]], arb9: Arbitrary[LegalValue[E9, D9]], arb10: Arbitrary[LegalValue[E10, D10]], arb11: Arbitrary[LegalValue[E11, D11]], arb12: Arbitrary[LegalValue[E12, D12]], arb13: Arbitrary[LegalValue[E13, D13]], arb14: Arbitrary[LegalValue[E14, D14]], arb15: Arbitrary[LegalValue[E15, D15]], arb16: Arbitrary[LegalValue[E16, D16]], arb17: Arbitrary[LegalValue[E17, D17]]): Gen[LegalValue[EE, DD]]

  86. def genLegalWith18[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]], arb8: Arbitrary[LegalValue[E8, D8]], arb9: Arbitrary[LegalValue[E9, D9]], arb10: Arbitrary[LegalValue[E10, D10]], arb11: Arbitrary[LegalValue[E11, D11]], arb12: Arbitrary[LegalValue[E12, D12]], arb13: Arbitrary[LegalValue[E13, D13]], arb14: Arbitrary[LegalValue[E14, D14]], arb15: Arbitrary[LegalValue[E15, D15]], arb16: Arbitrary[LegalValue[E16, D16]], arb17: Arbitrary[LegalValue[E17, D17]], arb18: Arbitrary[LegalValue[E18, D18]]): Gen[LegalValue[EE, DD]]

  87. def genLegalWith19[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]], arb8: Arbitrary[LegalValue[E8, D8]], arb9: Arbitrary[LegalValue[E9, D9]], arb10: Arbitrary[LegalValue[E10, D10]], arb11: Arbitrary[LegalValue[E11, D11]], arb12: Arbitrary[LegalValue[E12, D12]], arb13: Arbitrary[LegalValue[E13, D13]], arb14: Arbitrary[LegalValue[E14, D14]], arb15: Arbitrary[LegalValue[E15, D15]], arb16: Arbitrary[LegalValue[E16, D16]], arb17: Arbitrary[LegalValue[E17, D17]], arb18: Arbitrary[LegalValue[E18, D18]], arb19: Arbitrary[LegalValue[E19, D19]]): Gen[LegalValue[EE, DD]]

  88. def genLegalWith2[E1, E2, D1, D2, EE, DD](decoded: (D1, D2) ⇒ DD)(encoded: (E1, E2) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]]): Gen[LegalValue[EE, DD]]

  89. def genLegalWith20[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]], arb8: Arbitrary[LegalValue[E8, D8]], arb9: Arbitrary[LegalValue[E9, D9]], arb10: Arbitrary[LegalValue[E10, D10]], arb11: Arbitrary[LegalValue[E11, D11]], arb12: Arbitrary[LegalValue[E12, D12]], arb13: Arbitrary[LegalValue[E13, D13]], arb14: Arbitrary[LegalValue[E14, D14]], arb15: Arbitrary[LegalValue[E15, D15]], arb16: Arbitrary[LegalValue[E16, D16]], arb17: Arbitrary[LegalValue[E17, D17]], arb18: Arbitrary[LegalValue[E18, D18]], arb19: Arbitrary[LegalValue[E19, D19]], arb20: Arbitrary[LegalValue[E20, D20]]): Gen[LegalValue[EE, DD]]

  90. def genLegalWith21[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, D21, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, D21) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]], arb8: Arbitrary[LegalValue[E8, D8]], arb9: Arbitrary[LegalValue[E9, D9]], arb10: Arbitrary[LegalValue[E10, D10]], arb11: Arbitrary[LegalValue[E11, D11]], arb12: Arbitrary[LegalValue[E12, D12]], arb13: Arbitrary[LegalValue[E13, D13]], arb14: Arbitrary[LegalValue[E14, D14]], arb15: Arbitrary[LegalValue[E15, D15]], arb16: Arbitrary[LegalValue[E16, D16]], arb17: Arbitrary[LegalValue[E17, D17]], arb18: Arbitrary[LegalValue[E18, D18]], arb19: Arbitrary[LegalValue[E19, D19]], arb20: Arbitrary[LegalValue[E20, D20]], arb21: Arbitrary[LegalValue[E21, D21]]): Gen[LegalValue[EE, DD]]

  91. def genLegalWith22[E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, D21, D22, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, D16, D17, D18, D19, D20, D21, D22) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, E16, E17, E18, E19, E20, E21, E22) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]], arb8: Arbitrary[LegalValue[E8, D8]], arb9: Arbitrary[LegalValue[E9, D9]], arb10: Arbitrary[LegalValue[E10, D10]], arb11: Arbitrary[LegalValue[E11, D11]], arb12: Arbitrary[LegalValue[E12, D12]], arb13: Arbitrary[LegalValue[E13, D13]], arb14: Arbitrary[LegalValue[E14, D14]], arb15: Arbitrary[LegalValue[E15, D15]], arb16: Arbitrary[LegalValue[E16, D16]], arb17: Arbitrary[LegalValue[E17, D17]], arb18: Arbitrary[LegalValue[E18, D18]], arb19: Arbitrary[LegalValue[E19, D19]], arb20: Arbitrary[LegalValue[E20, D20]], arb21: Arbitrary[LegalValue[E21, D21]], arb22: Arbitrary[LegalValue[E22, D22]]): Gen[LegalValue[EE, DD]]

  92. def genLegalWith3[E1, E2, E3, D1, D2, D3, EE, DD](decoded: (D1, D2, D3) ⇒ DD)(encoded: (E1, E2, E3) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]]): Gen[LegalValue[EE, DD]]

  93. def genLegalWith4[E1, E2, E3, E4, D1, D2, D3, D4, EE, DD](decoded: (D1, D2, D3, D4) ⇒ DD)(encoded: (E1, E2, E3, E4) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]]): Gen[LegalValue[EE, DD]]

  94. def genLegalWith5[E1, E2, E3, E4, E5, D1, D2, D3, D4, D5, EE, DD](decoded: (D1, D2, D3, D4, D5) ⇒ DD)(encoded: (E1, E2, E3, E4, E5) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]]): Gen[LegalValue[EE, DD]]

  95. def genLegalWith6[E1, E2, E3, E4, E5, E6, D1, D2, D3, D4, D5, D6, EE, DD](decoded: (D1, D2, D3, D4, D5, D6) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]]): Gen[LegalValue[EE, DD]]

  96. def genLegalWith7[E1, E2, E3, E4, E5, E6, E7, D1, D2, D3, D4, D5, D6, D7, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]]): Gen[LegalValue[EE, DD]]

  97. def genLegalWith8[E1, E2, E3, E4, E5, E6, E7, E8, D1, D2, D3, D4, D5, D6, D7, D8, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7, D8) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7, E8) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]], arb8: Arbitrary[LegalValue[E8, D8]]): Gen[LegalValue[EE, DD]]

  98. def genLegalWith9[E1, E2, E3, E4, E5, E6, E7, E8, E9, D1, D2, D3, D4, D5, D6, D7, D8, D9, EE, DD](decoded: (D1, D2, D3, D4, D5, D6, D7, D8, D9) ⇒ DD)(encoded: (E1, E2, E3, E4, E5, E6, E7, E8, E9) ⇒ EE)(implicit arb1: Arbitrary[LegalValue[E1, D1]], arb2: Arbitrary[LegalValue[E2, D2]], arb3: Arbitrary[LegalValue[E3, D3]], arb4: Arbitrary[LegalValue[E4, D4]], arb5: Arbitrary[LegalValue[E5, D5]], arb6: Arbitrary[LegalValue[E6, D6]], arb7: Arbitrary[LegalValue[E7, D7]], arb8: Arbitrary[LegalValue[E8, D8]], arb9: Arbitrary[LegalValue[E9, D9]]): Gen[LegalValue[EE, DD]]

  99. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  100. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  101. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  102. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  103. final def notify(): Unit

    Definition Classes
    AnyRef

  104. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  105. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  106. def toString(): String

    Definition Classes
    AnyRef → Any

  107. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  108. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  109. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped