Trait

kantan.codecs.laws.discipline

ArbitraryInstances

Related Doc: package discipline

Permalink

trait ArbitraryInstances extends ArbitraryArities

Linear Supertypes
ArbitraryArities, AnyRef, Any
Known Subclasses
arbitrary
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ArbitraryInstances
  2. ArbitraryArities
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef → Any

  4. implicit lazy val arbBigDecimal: Arbitrary[BigDecimal]

    Permalink

  5. implicit val arbDate: Arbitrary[Date]

    Permalink

  6. implicit val arbException: Arbitrary[Exception]

    Permalink

  7. implicit def arbFailure[F](implicit arg0: Arbitrary[F]): Arbitrary[Failure[F]]

    Permalink

  8. implicit val arbFile: Arbitrary[File]

    Permalink

  9. implicit def arbResult[F, S](implicit arg0: Arbitrary[F], arg1: Arbitrary[S]): Arbitrary[Result[F, S]]

    Permalink

  10. implicit def arbStringDecoder[A](implicit arg0: Arbitrary[A]): Arbitrary[StringDecoder[A]]

    Permalink

  11. implicit def arbStringEncoder[A](implicit arg0: Arbitrary[A]): Arbitrary[StringEncoder[A]]

    Permalink

  12. implicit def arbSuccess[S](implicit arg0: Arbitrary[S]): Arbitrary[Success[S]]

    Permalink

  13. implicit def arbTry[A](implicit aa: Arbitrary[A]): Arbitrary[Try[A]]

    Permalink

  14. implicit val arbURI: Arbitrary[URI]

    Permalink

  15. implicit val arbURL: Arbitrary[URL]

    Permalink

  16. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  17. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef

  19. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  20. def failure[F](implicit arg0: Arbitrary[F]): Gen[Failure[F]]

    Permalink

  21. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

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

    Permalink
    Definition Classes
    ArbitraryArities

  110. val genPathElement: Gen[String]

    Permalink

  111. val genURL: Gen[URL]

    Permalink

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

    Permalink
    Definition Classes
    AnyRef → Any

  113. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  114. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyRef

  116. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  117. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  118. def success[S](implicit arg0: Arbitrary[S]): Gen[Success[S]]

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  120. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  121. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from ArbitraryArities

Inherited from AnyRef

Inherited from Any

Ungrouped