kantan
.
codecs
.
scalaz
.
laws
.
discipline
arbitrary
Related Doc:
package discipline
object
arbitrary
extends
ArbitraryInstances
Linear Supertypes
ArbitraryInstances
,
laws.discipline.ArbitraryInstances
,
ArbitraryArities
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
arbitrary
ArbitraryInstances
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
val
arbFile
:
Arbitrary
[
File
]
Definition Classes
ArbitraryInstances
implicit
def
arbIllegalDisjunction
[
E
,
DL
,
DR
,
T
]
(
implicit
a:
Arbitrary
[
IllegalValue
[
E
,
Either
[
DL
,
DR
],
T
]]
)
:
Arbitrary
[
IllegalValue
[
E
,
\/
[
DL
,
DR
],
T
]]
Definition Classes
ArbitraryInstances
implicit
def
arbIllegalMaybe
[
E
,
D
,
T
]
(
implicit
al:
Arbitrary
[
IllegalValue
[
E
,
Option
[
D
],
T
]]
)
:
Arbitrary
[
IllegalValue
[
E
,
Maybe
[
D
],
T
]]
Definition Classes
ArbitraryInstances
implicit
def
arbIllegalPath
[
T
]
:
Arbitrary
[
IllegalValue
[
String
,
Path
,
T
]]
Definition Classes
ArbitraryInstances
implicit
def
arbIllegalURI
[
T
]
:
Arbitrary
[
IllegalValue
[
String
,
URI
,
T
]]
Definition Classes
ArbitraryInstances
def
arbIllegalValue
[
E
,
A
,
T
]
(
illegal: (
E
) ⇒
Boolean
)
(
implicit
arg0:
Arbitrary
[
E
]
)
:
Arbitrary
[
IllegalValue
[
E
,
A
,
T
]]
Definition Classes
ArbitraryInstances
implicit
def
arbIllegalValueFromDec
[
E
,
A
,
T
]
(
implicit
arg0:
Arbitrary
[
E
]
,
da:
Decoder
[
E
,
A
, _,
T
]
)
:
Arbitrary
[
IllegalValue
[
E
,
A
,
T
]]
Definition Classes
ArbitraryInstances
implicit
val
arbIoException
:
Arbitrary
[
IOException
]
Definition Classes
ArbitraryInstances
implicit
def
arbLegalDisjunction
[
E
,
DL
,
DR
,
T
]
(
implicit
a:
Arbitrary
[
LegalValue
[
E
,
Either
[
DL
,
DR
],
T
]]
)
:
Arbitrary
[
LegalValue
[
E
,
\/
[
DL
,
DR
],
T
]]
Definition Classes
ArbitraryInstances
implicit
def
arbLegalMaybe
[
E
,
D
,
T
]
(
implicit
al:
Arbitrary
[
LegalValue
[
E
,
Option
[
D
],
T
]]
)
:
Arbitrary
[
LegalValue
[
E
,
Maybe
[
D
],
T
]]
Definition Classes
ArbitraryInstances
def
arbLegalValue
[
E
,
A
,
T
]
(
encode: (
A
) ⇒
E
)
(
implicit
arbA:
Arbitrary
[
A
]
)
:
Arbitrary
[
LegalValue
[
E
,
A
,
T
]]
Definition Classes
ArbitraryInstances
implicit
def
arbLegalValueFromEnc
[
E
,
A
,
T
]
(
implicit
arg0:
Arbitrary
[
A
]
,
ea:
Encoder
[
E
,
A
,
T
]
)
:
Arbitrary
[
LegalValue
[
E
,
A
,
T
]]
Definition Classes
ArbitraryInstances
implicit
val
arbPath
:
Arbitrary
[
Path
]
Definition Classes
ArbitraryInstances
implicit
def
arbResult
[
F
,
S
]
(
implicit
arg0:
Arbitrary
[
F
]
,
arg1:
Arbitrary
[
S
]
)
:
Arbitrary
[
Result
[
F
,
S
]]
Definition Classes
ArbitraryInstances
implicit
val
arbStringDecodeError
:
Arbitrary
[
DecodeError
]
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
val
arbURI
:
Arbitrary
[
URI
]
Definition Classes
ArbitraryInstances
implicit
val
arbURL
:
Arbitrary
[
URL
]
Definition Classes
ArbitraryInstances
implicit
val
arbUuid
:
Arbitrary
[
UUID
]
Definition Classes
ArbitraryInstances
implicit
def
arbValue
[
E
,
D
,
T
]
(
implicit
arbL:
Arbitrary
[
LegalValue
[
E
,
D
,
T
]]
,
arbI:
Arbitrary
[
IllegalValue
[
E
,
D
,
T
]]
)
:
Arbitrary
[
CodecValue
[
E
,
D
,
T
]]
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]
)
implicit
val
genException
:
Gen
[
Exception
]
Definition Classes
ArbitraryInstances
val
genFileNotFound
:
Gen
[
FileNotFoundException
]
Definition Classes
ArbitraryInstances
val
genIllegalArgument
:
Gen
[
IllegalArgumentException
]
Definition Classes
ArbitraryInstances
def
genIllegalTuple1
[
E1
,
D1
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
), (
D1
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
)
:
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
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple2
[
E1
,
E2
,
D1
,
D2
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
), (
D1
,
D2
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
,
arbD20:
Arbitrary
[
IllegalValue
[
E20
,
D20
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
,
arbD20:
Arbitrary
[
IllegalValue
[
E20
,
D20
,
T
]]
,
arbD21:
Arbitrary
[
IllegalValue
[
E21
,
D21
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
,
arbD20:
Arbitrary
[
IllegalValue
[
E20
,
D20
,
T
]]
,
arbD21:
Arbitrary
[
IllegalValue
[
E21
,
D21
,
T
]]
,
arbD22:
Arbitrary
[
IllegalValue
[
E22
,
D22
,
T
]]
)
:
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
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple3
[
E1
,
E2
,
E3
,
D1
,
D2
,
D3
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
), (
D1
,
D2
,
D3
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple4
[
E1
,
E2
,
E3
,
E4
,
D1
,
D2
,
D3
,
D4
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
), (
D1
,
D2
,
D3
,
D4
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple5
[
E1
,
E2
,
E3
,
E4
,
E5
,
D1
,
D2
,
D3
,
D4
,
D5
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
), (
D1
,
D2
,
D3
,
D4
,
D5
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple6
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple7
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple8
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple9
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith1
[
E1
,
D1
,
EE
,
DD
,
T
]
(
encoded: (
E1
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith2
[
E1
,
E2
,
D1
,
D2
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
,
arb20:
Arbitrary
[
IllegalValue
[
E20
,
D20
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
,
arb20:
Arbitrary
[
IllegalValue
[
E20
,
D20
,
T
]]
,
arb21:
Arbitrary
[
IllegalValue
[
E21
,
D21
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
,
arb20:
Arbitrary
[
IllegalValue
[
E20
,
D20
,
T
]]
,
arb21:
Arbitrary
[
IllegalValue
[
E21
,
D21
,
T
]]
,
arb22:
Arbitrary
[
IllegalValue
[
E22
,
D22
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith3
[
E1
,
E2
,
E3
,
D1
,
D2
,
D3
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith4
[
E1
,
E2
,
E3
,
E4
,
D1
,
D2
,
D3
,
D4
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith5
[
E1
,
E2
,
E3
,
E4
,
E5
,
D1
,
D2
,
D3
,
D4
,
D5
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith6
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith7
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith8
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
val
genIoException
:
Gen
[
IOException
]
Definition Classes
ArbitraryInstances
def
genLegalTuple1
[
E1
,
D1
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
), (
D1
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
)
:
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
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple2
[
E1
,
E2
,
D1
,
D2
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
), (
D1
,
D2
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
,
arbD20:
Arbitrary
[
LegalValue
[
E20
,
D20
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
,
arbD20:
Arbitrary
[
LegalValue
[
E20
,
D20
,
T
]]
,
arbD21:
Arbitrary
[
LegalValue
[
E21
,
D21
,
T
]]
)
:
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
),
T
]]
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
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
,
arbD20:
Arbitrary
[
LegalValue
[
E20
,
D20
,
T
]]
,
arbD21:
Arbitrary
[
LegalValue
[
E21
,
D21
,
T
]]
,
arbD22:
Arbitrary
[
LegalValue
[
E22
,
D22
,
T
]]
)
:
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
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple3
[
E1
,
E2
,
E3
,
D1
,
D2
,
D3
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
), (
D1
,
D2
,
D3
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple4
[
E1
,
E2
,
E3
,
E4
,
D1
,
D2
,
D3
,
D4
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
), (
D1
,
D2
,
D3
,
D4
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple5
[
E1
,
E2
,
E3
,
E4
,
E5
,
D1
,
D2
,
D3
,
D4
,
D5
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
), (
D1
,
D2
,
D3
,
D4
,
D5
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple6
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple7
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple8
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple9
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith1
[
E1
,
D1
,
EE
,
DD
,
T
]
(
decoded: (
D1
) ⇒
DD
)
(
encoded: (
E1
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith2
[
E1
,
E2
,
D1
,
D2
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
) ⇒
DD
)
(
encoded: (
E1
,
E2
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
,
arb20:
Arbitrary
[
LegalValue
[
E20
,
D20
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
,
arb20:
Arbitrary
[
LegalValue
[
E20
,
D20
,
T
]]
,
arb21:
Arbitrary
[
LegalValue
[
E21
,
D21
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
,
arb20:
Arbitrary
[
LegalValue
[
E20
,
D20
,
T
]]
,
arb21:
Arbitrary
[
LegalValue
[
E21
,
D21
,
T
]]
,
arb22:
Arbitrary
[
LegalValue
[
E22
,
D22
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith3
[
E1
,
E2
,
E3
,
D1
,
D2
,
D3
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith4
[
E1
,
E2
,
E3
,
E4
,
D1
,
D2
,
D3
,
D4
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith5
[
E1
,
E2
,
E3
,
E4
,
E5
,
D1
,
D2
,
D3
,
D4
,
D5
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith6
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith7
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith8
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
EE
,
DD
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
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
,
T
]
(
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
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
val
genPathElement
:
Gen
[
String
]
Definition Classes
ArbitraryInstances
val
genURL
:
Gen
[
URL
]
Definition Classes
ArbitraryInstances
val
genUnsupportedEncoding
:
Gen
[
UnsupportedEncodingException
]
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
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
ArbitraryInstances
Inherited from
laws.discipline.ArbitraryInstances
Inherited from
ArbitraryArities
Inherited from
AnyRef
Inherited from
Any
Ungrouped