ArbitraryArities

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

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

   

   Definition Classes

   AnyRef → Any

4. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

5. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

   

   Definition Classes

   AnyRef

7. def equals(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

8. def finalize(): Unit

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( classOf[java.lang.Throwable] )

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

   

10. 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)]]

    

11. 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)]]

    

12. 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)]]

    

13. 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)]]

    

14. 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)]]

    

15. 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)]]

    

16. 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)]]

    

17. 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)]]

    

18. 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)]]

    

19. 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)]]

    

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

    

21. 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)]]

    

22. 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)]]

    

23. 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)]]

    

24. 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)]]

    

25. 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)]]

    

26. 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)]]

    

27. 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)]]

    

28. 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)]]

    

29. 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)]]

    

30. 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)]]

    

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

    

32. 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]]

    

33. 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]]

    

34. 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]]

    

35. 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]]

    

36. 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]]

    

37. 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]]

    

38. 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]]

    

39. 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]]

    

40. 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]]

    

41. 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]]

    

42. 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]]

    

43. 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]]

    

44. 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]]

    

45. 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]]

    

46. 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]]

    

47. 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]]

    

48. 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]]

    

49. 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]]

    

50. 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]]

    

51. 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]]

    

52. 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]]

    

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

    

54. 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)]]

    

55. 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)]]

    

56. 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)]]

    

57. 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)]]

    

58. 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)]]

    

59. 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)]]

    

60. 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)]]

    

61. 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)]]

    

62. 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)]]

    

63. 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)]]

    

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

    

65. 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)]]

    

66. 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)]]

    

67. 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)]]

    

68. 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)]]

    

69. 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)]]

    

70. 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)]]

    

71. 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)]]

    

72. 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)]]

    

73. 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)]]

    

74. 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)]]

    

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

    

76. 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]]

    

77. 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]]

    

78. 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]]

    

79. 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]]

    

80. 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]]

    

81. 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]]

    

82. 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]]

    

83. 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]]

    

84. 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]]

    

85. 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]]

    

86. 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]]

    

87. 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]]

    

88. 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]]

    

89. 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]]

    

90. 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]]

    

91. 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]]

    

92. 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]]

    

93. 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]]

    

94. 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]]

    

95. 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]]

    

96. 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]]

    

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

    

    Definition Classes

    AnyRef → Any

98. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

99. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

     

     Definition Classes

     AnyRef

101. final def notify(): Unit

     

     Definition Classes

     AnyRef

102. final def notifyAll(): Unit

     

     Definition Classes

     AnyRef

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

     

     Definition Classes

     AnyRef

104. def toString(): String

     

     Definition Classes

     AnyRef → Any

105. final def wait(): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )