kantan
.
csv
.
laws
.
discipline
ArbitraryArities
Related Doc:
package discipline
trait
ArbitraryArities
extends
codecs.laws.discipline.ArbitraryInstances
Linear Supertypes
codecs.laws.discipline.ArbitraryInstances
,
codecs.laws.discipline.ArbitraryArities
,
AnyRef
,
Any
Known Subclasses
ArbitraryInstances
,
arbitrary
Ordering
Alphabetic
By Inheritance
Inherited
ArbitraryArities
ArbitraryInstances
ArbitraryArities
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
implicit
lazy val
arbBigDecimal
:
Arbitrary
[
BigDecimal
]
Definition Classes
ArbitraryInstances
implicit
val
arbDate
:
Arbitrary
[
Date
]
Definition Classes
ArbitraryInstances
implicit
val
arbException
:
Arbitrary
[
Exception
]
Definition Classes
ArbitraryInstances
implicit
def
arbFailure
[
F
]
(
implicit
arg0:
Arbitrary
[
F
]
)
:
Arbitrary
[
Failure
[
F
]]
Definition Classes
ArbitraryInstances
implicit
def
arbResult
[
F
,
S
]
(
implicit
arg0:
Arbitrary
[
F
]
,
arg1:
Arbitrary
[
S
]
)
:
Arbitrary
[
Result
[
F
,
S
]]
Definition Classes
ArbitraryInstances
implicit
def
arbStringDecoder
[
A
]
(
implicit
arg0:
Arbitrary
[
A
]
)
:
Arbitrary
[
StringDecoder
[
A
]]
Definition Classes
ArbitraryInstances
implicit
def
arbStringEncoder
[
A
]
(
implicit
arg0:
Arbitrary
[
A
]
)
:
Arbitrary
[
StringEncoder
[
A
]]
Definition Classes
ArbitraryInstances
implicit
def
arbSuccess
[
S
]
(
implicit
arg0:
Arbitrary
[
S
]
)
:
Arbitrary
[
Success
[
S
]]
Definition Classes
ArbitraryInstances
implicit
def
arbTry
[
A
]
(
implicit
aa:
Arbitrary
[
A
]
)
:
Arbitrary
[
Try
[
A
]]
Definition Classes
ArbitraryInstances
implicit
def
arbTuple1
[
A
]
(
implicit
a1:
Arbitrary
[
A
]
)
:
Arbitrary
[(
A
)]
implicit
val
arbURI
:
Arbitrary
[
URI
]
Definition Classes
ArbitraryInstances
implicit
val
arbURL
:
Arbitrary
[
URL
]
Definition Classes
ArbitraryInstances
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
failure
[
F
]
(
implicit
arg0:
Arbitrary
[
F
]
)
:
Gen
[
Failure
[
F
]]
Definition Classes
ArbitraryInstances
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
genIllegalTuple1
[
E1
,
D1
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
)
:
Gen
[
IllegalValue
[(
E1
), (
D1
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple2
[
E1
,
E2
,
D1
,
D2
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
), (
D1
,
D2
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
def
genIllegalWith1
[
E1
,
D1
,
EE
,
DD
]
(
encoded: (
E1
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
def
genLegalTuple1
[
E1
,
D1
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
)
:
Gen
[
LegalValue
[(
E1
), (
D1
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple2
[
E1
,
E2
,
D1
,
D2
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
), (
D1
,
D2
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
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
)]]
Definition Classes
ArbitraryArities
def
genLegalWith1
[
E1
,
D1
,
EE
,
DD
]
(
decoded: (
D1
) ⇒
DD
)
(
encoded: (
E1
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
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
]]
Definition Classes
ArbitraryArities
val
genPathElement
:
Gen
[
String
]
Definition Classes
ArbitraryInstances
val
genURL
:
Gen
[
URL
]
Definition Classes
ArbitraryInstances
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
success
[
S
]
(
implicit
arg0:
Arbitrary
[
S
]
)
:
Gen
[
Success
[
S
]]
Definition Classes
ArbitraryInstances
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
implicit
def
tuple10CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
arg7:
Arbitrary
[
A8
]
,
arg8:
Arbitrary
[
A9
]
,
arg9:
Arbitrary
[
A10
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
,
c8:
GenCodecValue
[
String
,
A8
]
,
c9:
GenCodecValue
[
String
,
A9
]
,
c10:
GenCodecValue
[
String
,
A10
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)]
implicit
def
tuple11CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
arg7:
Arbitrary
[
A8
]
,
arg8:
Arbitrary
[
A9
]
,
arg9:
Arbitrary
[
A10
]
,
arg10:
Arbitrary
[
A11
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
,
c8:
GenCodecValue
[
String
,
A8
]
,
c9:
GenCodecValue
[
String
,
A9
]
,
c10:
GenCodecValue
[
String
,
A10
]
,
c11:
GenCodecValue
[
String
,
A11
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)]
implicit
def
tuple12CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
arg7:
Arbitrary
[
A8
]
,
arg8:
Arbitrary
[
A9
]
,
arg9:
Arbitrary
[
A10
]
,
arg10:
Arbitrary
[
A11
]
,
arg11:
Arbitrary
[
A12
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
,
c8:
GenCodecValue
[
String
,
A8
]
,
c9:
GenCodecValue
[
String
,
A9
]
,
c10:
GenCodecValue
[
String
,
A10
]
,
c11:
GenCodecValue
[
String
,
A11
]
,
c12:
GenCodecValue
[
String
,
A12
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)]
implicit
def
tuple13CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
arg7:
Arbitrary
[
A8
]
,
arg8:
Arbitrary
[
A9
]
,
arg9:
Arbitrary
[
A10
]
,
arg10:
Arbitrary
[
A11
]
,
arg11:
Arbitrary
[
A12
]
,
arg12:
Arbitrary
[
A13
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
,
c8:
GenCodecValue
[
String
,
A8
]
,
c9:
GenCodecValue
[
String
,
A9
]
,
c10:
GenCodecValue
[
String
,
A10
]
,
c11:
GenCodecValue
[
String
,
A11
]
,
c12:
GenCodecValue
[
String
,
A12
]
,
c13:
GenCodecValue
[
String
,
A13
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)]
implicit
def
tuple14CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
arg7:
Arbitrary
[
A8
]
,
arg8:
Arbitrary
[
A9
]
,
arg9:
Arbitrary
[
A10
]
,
arg10:
Arbitrary
[
A11
]
,
arg11:
Arbitrary
[
A12
]
,
arg12:
Arbitrary
[
A13
]
,
arg13:
Arbitrary
[
A14
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
,
c8:
GenCodecValue
[
String
,
A8
]
,
c9:
GenCodecValue
[
String
,
A9
]
,
c10:
GenCodecValue
[
String
,
A10
]
,
c11:
GenCodecValue
[
String
,
A11
]
,
c12:
GenCodecValue
[
String
,
A12
]
,
c13:
GenCodecValue
[
String
,
A13
]
,
c14:
GenCodecValue
[
String
,
A14
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)]
implicit
def
tuple15CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
arg7:
Arbitrary
[
A8
]
,
arg8:
Arbitrary
[
A9
]
,
arg9:
Arbitrary
[
A10
]
,
arg10:
Arbitrary
[
A11
]
,
arg11:
Arbitrary
[
A12
]
,
arg12:
Arbitrary
[
A13
]
,
arg13:
Arbitrary
[
A14
]
,
arg14:
Arbitrary
[
A15
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
,
c8:
GenCodecValue
[
String
,
A8
]
,
c9:
GenCodecValue
[
String
,
A9
]
,
c10:
GenCodecValue
[
String
,
A10
]
,
c11:
GenCodecValue
[
String
,
A11
]
,
c12:
GenCodecValue
[
String
,
A12
]
,
c13:
GenCodecValue
[
String
,
A13
]
,
c14:
GenCodecValue
[
String
,
A14
]
,
c15:
GenCodecValue
[
String
,
A15
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)]
implicit
def
tuple16CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
arg7:
Arbitrary
[
A8
]
,
arg8:
Arbitrary
[
A9
]
,
arg9:
Arbitrary
[
A10
]
,
arg10:
Arbitrary
[
A11
]
,
arg11:
Arbitrary
[
A12
]
,
arg12:
Arbitrary
[
A13
]
,
arg13:
Arbitrary
[
A14
]
,
arg14:
Arbitrary
[
A15
]
,
arg15:
Arbitrary
[
A16
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
,
c8:
GenCodecValue
[
String
,
A8
]
,
c9:
GenCodecValue
[
String
,
A9
]
,
c10:
GenCodecValue
[
String
,
A10
]
,
c11:
GenCodecValue
[
String
,
A11
]
,
c12:
GenCodecValue
[
String
,
A12
]
,
c13:
GenCodecValue
[
String
,
A13
]
,
c14:
GenCodecValue
[
String
,
A14
]
,
c15:
GenCodecValue
[
String
,
A15
]
,
c16:
GenCodecValue
[
String
,
A16
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)]
implicit
def
tuple17CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
arg7:
Arbitrary
[
A8
]
,
arg8:
Arbitrary
[
A9
]
,
arg9:
Arbitrary
[
A10
]
,
arg10:
Arbitrary
[
A11
]
,
arg11:
Arbitrary
[
A12
]
,
arg12:
Arbitrary
[
A13
]
,
arg13:
Arbitrary
[
A14
]
,
arg14:
Arbitrary
[
A15
]
,
arg15:
Arbitrary
[
A16
]
,
arg16:
Arbitrary
[
A17
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
,
c8:
GenCodecValue
[
String
,
A8
]
,
c9:
GenCodecValue
[
String
,
A9
]
,
c10:
GenCodecValue
[
String
,
A10
]
,
c11:
GenCodecValue
[
String
,
A11
]
,
c12:
GenCodecValue
[
String
,
A12
]
,
c13:
GenCodecValue
[
String
,
A13
]
,
c14:
GenCodecValue
[
String
,
A14
]
,
c15:
GenCodecValue
[
String
,
A15
]
,
c16:
GenCodecValue
[
String
,
A16
]
,
c17:
GenCodecValue
[
String
,
A17
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)]
implicit
def
tuple18CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
arg7:
Arbitrary
[
A8
]
,
arg8:
Arbitrary
[
A9
]
,
arg9:
Arbitrary
[
A10
]
,
arg10:
Arbitrary
[
A11
]
,
arg11:
Arbitrary
[
A12
]
,
arg12:
Arbitrary
[
A13
]
,
arg13:
Arbitrary
[
A14
]
,
arg14:
Arbitrary
[
A15
]
,
arg15:
Arbitrary
[
A16
]
,
arg16:
Arbitrary
[
A17
]
,
arg17:
Arbitrary
[
A18
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
,
c8:
GenCodecValue
[
String
,
A8
]
,
c9:
GenCodecValue
[
String
,
A9
]
,
c10:
GenCodecValue
[
String
,
A10
]
,
c11:
GenCodecValue
[
String
,
A11
]
,
c12:
GenCodecValue
[
String
,
A12
]
,
c13:
GenCodecValue
[
String
,
A13
]
,
c14:
GenCodecValue
[
String
,
A14
]
,
c15:
GenCodecValue
[
String
,
A15
]
,
c16:
GenCodecValue
[
String
,
A16
]
,
c17:
GenCodecValue
[
String
,
A17
]
,
c18:
GenCodecValue
[
String
,
A18
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)]
implicit
def
tuple19CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
arg7:
Arbitrary
[
A8
]
,
arg8:
Arbitrary
[
A9
]
,
arg9:
Arbitrary
[
A10
]
,
arg10:
Arbitrary
[
A11
]
,
arg11:
Arbitrary
[
A12
]
,
arg12:
Arbitrary
[
A13
]
,
arg13:
Arbitrary
[
A14
]
,
arg14:
Arbitrary
[
A15
]
,
arg15:
Arbitrary
[
A16
]
,
arg16:
Arbitrary
[
A17
]
,
arg17:
Arbitrary
[
A18
]
,
arg18:
Arbitrary
[
A19
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
,
c8:
GenCodecValue
[
String
,
A8
]
,
c9:
GenCodecValue
[
String
,
A9
]
,
c10:
GenCodecValue
[
String
,
A10
]
,
c11:
GenCodecValue
[
String
,
A11
]
,
c12:
GenCodecValue
[
String
,
A12
]
,
c13:
GenCodecValue
[
String
,
A13
]
,
c14:
GenCodecValue
[
String
,
A14
]
,
c15:
GenCodecValue
[
String
,
A15
]
,
c16:
GenCodecValue
[
String
,
A16
]
,
c17:
GenCodecValue
[
String
,
A17
]
,
c18:
GenCodecValue
[
String
,
A18
]
,
c19:
GenCodecValue
[
String
,
A19
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)]
implicit
def
tuple1CodecValue
[
A1
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
c1:
GenCodecValue
[
String
,
A1
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
)]
implicit
def
tuple20CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
arg7:
Arbitrary
[
A8
]
,
arg8:
Arbitrary
[
A9
]
,
arg9:
Arbitrary
[
A10
]
,
arg10:
Arbitrary
[
A11
]
,
arg11:
Arbitrary
[
A12
]
,
arg12:
Arbitrary
[
A13
]
,
arg13:
Arbitrary
[
A14
]
,
arg14:
Arbitrary
[
A15
]
,
arg15:
Arbitrary
[
A16
]
,
arg16:
Arbitrary
[
A17
]
,
arg17:
Arbitrary
[
A18
]
,
arg18:
Arbitrary
[
A19
]
,
arg19:
Arbitrary
[
A20
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
,
c8:
GenCodecValue
[
String
,
A8
]
,
c9:
GenCodecValue
[
String
,
A9
]
,
c10:
GenCodecValue
[
String
,
A10
]
,
c11:
GenCodecValue
[
String
,
A11
]
,
c12:
GenCodecValue
[
String
,
A12
]
,
c13:
GenCodecValue
[
String
,
A13
]
,
c14:
GenCodecValue
[
String
,
A14
]
,
c15:
GenCodecValue
[
String
,
A15
]
,
c16:
GenCodecValue
[
String
,
A16
]
,
c17:
GenCodecValue
[
String
,
A17
]
,
c18:
GenCodecValue
[
String
,
A18
]
,
c19:
GenCodecValue
[
String
,
A19
]
,
c20:
GenCodecValue
[
String
,
A20
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)]
implicit
def
tuple21CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
arg7:
Arbitrary
[
A8
]
,
arg8:
Arbitrary
[
A9
]
,
arg9:
Arbitrary
[
A10
]
,
arg10:
Arbitrary
[
A11
]
,
arg11:
Arbitrary
[
A12
]
,
arg12:
Arbitrary
[
A13
]
,
arg13:
Arbitrary
[
A14
]
,
arg14:
Arbitrary
[
A15
]
,
arg15:
Arbitrary
[
A16
]
,
arg16:
Arbitrary
[
A17
]
,
arg17:
Arbitrary
[
A18
]
,
arg18:
Arbitrary
[
A19
]
,
arg19:
Arbitrary
[
A20
]
,
arg20:
Arbitrary
[
A21
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
,
c8:
GenCodecValue
[
String
,
A8
]
,
c9:
GenCodecValue
[
String
,
A9
]
,
c10:
GenCodecValue
[
String
,
A10
]
,
c11:
GenCodecValue
[
String
,
A11
]
,
c12:
GenCodecValue
[
String
,
A12
]
,
c13:
GenCodecValue
[
String
,
A13
]
,
c14:
GenCodecValue
[
String
,
A14
]
,
c15:
GenCodecValue
[
String
,
A15
]
,
c16:
GenCodecValue
[
String
,
A16
]
,
c17:
GenCodecValue
[
String
,
A17
]
,
c18:
GenCodecValue
[
String
,
A18
]
,
c19:
GenCodecValue
[
String
,
A19
]
,
c20:
GenCodecValue
[
String
,
A20
]
,
c21:
GenCodecValue
[
String
,
A21
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)]
implicit
def
tuple22CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
arg7:
Arbitrary
[
A8
]
,
arg8:
Arbitrary
[
A9
]
,
arg9:
Arbitrary
[
A10
]
,
arg10:
Arbitrary
[
A11
]
,
arg11:
Arbitrary
[
A12
]
,
arg12:
Arbitrary
[
A13
]
,
arg13:
Arbitrary
[
A14
]
,
arg14:
Arbitrary
[
A15
]
,
arg15:
Arbitrary
[
A16
]
,
arg16:
Arbitrary
[
A17
]
,
arg17:
Arbitrary
[
A18
]
,
arg18:
Arbitrary
[
A19
]
,
arg19:
Arbitrary
[
A20
]
,
arg20:
Arbitrary
[
A21
]
,
arg21:
Arbitrary
[
A22
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
,
c8:
GenCodecValue
[
String
,
A8
]
,
c9:
GenCodecValue
[
String
,
A9
]
,
c10:
GenCodecValue
[
String
,
A10
]
,
c11:
GenCodecValue
[
String
,
A11
]
,
c12:
GenCodecValue
[
String
,
A12
]
,
c13:
GenCodecValue
[
String
,
A13
]
,
c14:
GenCodecValue
[
String
,
A14
]
,
c15:
GenCodecValue
[
String
,
A15
]
,
c16:
GenCodecValue
[
String
,
A16
]
,
c17:
GenCodecValue
[
String
,
A17
]
,
c18:
GenCodecValue
[
String
,
A18
]
,
c19:
GenCodecValue
[
String
,
A19
]
,
c20:
GenCodecValue
[
String
,
A20
]
,
c21:
GenCodecValue
[
String
,
A21
]
,
c22:
GenCodecValue
[
String
,
A22
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
)]
implicit
def
tuple2CodecValue
[
A1
,
A2
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
)]
implicit
def
tuple3CodecValue
[
A1
,
A2
,
A3
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
)]
implicit
def
tuple4CodecValue
[
A1
,
A2
,
A3
,
A4
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
)]
implicit
def
tuple5CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
)]
implicit
def
tuple6CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)]
implicit
def
tuple7CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)]
implicit
def
tuple8CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
arg7:
Arbitrary
[
A8
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
,
c8:
GenCodecValue
[
String
,
A8
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)]
implicit
def
tuple9CodecValue
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
]
(
implicit
arg0:
Arbitrary
[
A1
]
,
arg1:
Arbitrary
[
A2
]
,
arg2:
Arbitrary
[
A3
]
,
arg3:
Arbitrary
[
A4
]
,
arg4:
Arbitrary
[
A5
]
,
arg5:
Arbitrary
[
A6
]
,
arg6:
Arbitrary
[
A7
]
,
arg7:
Arbitrary
[
A8
]
,
arg8:
Arbitrary
[
A9
]
,
c1:
GenCodecValue
[
String
,
A1
]
,
c2:
GenCodecValue
[
String
,
A2
]
,
c3:
GenCodecValue
[
String
,
A3
]
,
c4:
GenCodecValue
[
String
,
A4
]
,
c5:
GenCodecValue
[
String
,
A5
]
,
c6:
GenCodecValue
[
String
,
A6
]
,
c7:
GenCodecValue
[
String
,
A7
]
,
c8:
GenCodecValue
[
String
,
A8
]
,
c9:
GenCodecValue
[
String
,
A9
]
)
:
GenCodecValue
[
Seq
[
String
], (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)]
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
codecs.laws.discipline.ArbitraryInstances
Inherited from
codecs.laws.discipline.ArbitraryArities
Inherited from
AnyRef
Inherited from
Any
Ungrouped