kantan
.
codecs
.
shapeless
.
laws
.
discipline
arbitrary
Related Doc:
package discipline
object
arbitrary
extends
ArbitraryInstances
with
laws.discipline.ArbitraryInstances
Linear Supertypes
laws.discipline.ArbitraryInstances
,
CommonArbitraryInstances
,
ArbitraryArities
,
ArbitraryInstances
,
FieldTypeInstances
,
DerivedInstances
,
CoproductInstances
,
HListInstances
,
SingletonInstances
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
arbitrary
ArbitraryInstances
CommonArbitraryInstances
ArbitraryArities
ArbitraryInstances
FieldTypeInstances
DerivedInstances
CoproductInstances
HListInstances
SingletonInstances
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
val
arbAccessMode
:
Arbitrary
[
AccessMode
]
Definition Classes
ArbitraryInstances
implicit
lazy val
arbBigDecimal
:
Arbitrary
[
BigDecimal
]
Definition Classes
CommonArbitraryInstances
implicit
val
arbDate
:
Arbitrary
[
Date
]
Definition Classes
CommonArbitraryInstances
implicit
def
arbDecoder
[
E
,
D
,
F
,
T
]
(
implicit
arg0:
Arbitrary
[
E
]
,
arg1:
Cogen
[
E
]
,
arg2:
Arbitrary
[
D
]
,
arg3:
Arbitrary
[
F
]
)
:
Arbitrary
[
Decoder
[
E
,
D
,
F
,
T
]]
Definition Classes
CommonArbitraryInstances
implicit
def
arbEncoder
[
E
,
D
,
T
]
(
implicit
arg0:
Arbitrary
[
E
]
,
arg1:
Arbitrary
[
D
]
,
arg2:
Cogen
[
D
]
)
:
Arbitrary
[
Encoder
[
E
,
D
,
T
]]
Definition Classes
CommonArbitraryInstances
implicit
def
arbException
:
Arbitrary
[
Exception
]
Definition Classes
CommonArbitraryInstances
implicit
val
arbFile
:
Arbitrary
[
File
]
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
CommonArbitraryInstances
implicit
def
arbIllegalValueFromDec
[
E
,
A
,
T
]
(
implicit
arg0:
Arbitrary
[
E
]
,
da:
Decoder
[
E
,
A
, _,
T
]
)
:
Arbitrary
[
IllegalValue
[
E
,
A
,
T
]]
Definition Classes
CommonArbitraryInstances
implicit
val
arbIoException
:
Arbitrary
[
IOException
]
Definition Classes
CommonArbitraryInstances
def
arbLegalValue
[
E
,
A
,
T
]
(
encode: (
A
) ⇒
E
)
(
implicit
arbA:
Arbitrary
[
A
]
)
:
Arbitrary
[
LegalValue
[
E
,
A
,
T
]]
Definition Classes
CommonArbitraryInstances
implicit
def
arbLegalValueFromEnc
[
E
,
A
,
T
]
(
implicit
arg0:
Arbitrary
[
A
]
,
ea:
Encoder
[
E
,
A
,
T
]
)
:
Arbitrary
[
LegalValue
[
E
,
A
,
T
]]
Definition Classes
CommonArbitraryInstances
implicit
val
arbPath
:
Arbitrary
[
Path
]
Definition Classes
ArbitraryInstances
implicit
val
arbPattern
:
Arbitrary
[
Pattern
]
Definition Classes
CommonArbitraryInstances
implicit
val
arbRegex
:
Arbitrary
[
Regex
]
Definition Classes
CommonArbitraryInstances
implicit
val
arbStringDecodeError
:
Arbitrary
[
DecodeError
]
Definition Classes
CommonArbitraryInstances
implicit
def
arbTry
[
A
]
(
implicit
aa:
Arbitrary
[
A
]
)
:
Arbitrary
[
Try
[
A
]]
Definition Classes
CommonArbitraryInstances
implicit
val
arbURI
:
Arbitrary
[
URI
]
Definition Classes
ArbitraryInstances
implicit
val
arbURL
:
Arbitrary
[
URL
]
Definition Classes
ArbitraryInstances
implicit
val
arbUuid
:
Arbitrary
[
UUID
]
Definition Classes
CommonArbitraryInstances
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
CommonArbitraryInstances
implicit
def
arbitraryFieldType
[
K
,
H
]
(
implicit
underlying:
Arbitrary
[
H
]
)
:
Arbitrary
[
FieldType
[
K
,
H
]]
Definition Classes
FieldTypeInstances
implicit
def
arbitrarySingletonType
[
S
]
(
implicit
w:
Aux
[
S
]
)
:
Arbitrary
[
S
]
Definition Classes
SingletonInstances
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
implicit
val
cogenAccessMode
:
Cogen
[
AccessMode
]
Definition Classes
ArbitraryInstances
implicit
val
cogenDate
:
Cogen
[
Date
]
Definition Classes
CommonArbitraryInstances
implicit
def
cogenFieldType
[
K
,
H
]
(
implicit
underlying:
Cogen
[
H
]
)
:
Cogen
[
FieldType
[
K
,
H
]]
Definition Classes
FieldTypeInstances
implicit
val
cogenFile
:
Cogen
[
File
]
Definition Classes
ArbitraryInstances
implicit
val
cogenPath
:
Cogen
[
Path
]
Definition Classes
ArbitraryInstances
implicit
val
cogenPattern
:
Cogen
[
Pattern
]
Definition Classes
CommonArbitraryInstances
implicit
val
cogenRegex
:
Cogen
[
Regex
]
Definition Classes
CommonArbitraryInstances
implicit
def
cogenSingletonType
[
S
]
(
implicit
w:
Aux
[
S
]
)
:
Cogen
[
S
]
Definition Classes
SingletonInstances
implicit
val
cogenStringDecodeError
:
Cogen
[
DecodeError
]
Definition Classes
CommonArbitraryInstances
implicit
val
cogenUUID
:
Cogen
[
UUID
]
Definition Classes
CommonArbitraryInstances
implicit
val
cogenUri
:
Cogen
[
URI
]
Definition Classes
ArbitraryInstances
implicit
val
cogenUrl
:
Cogen
[
URL
]
Definition Classes
ArbitraryInstances
implicit
def
coproductArbitrary
[
C <:
Coproduct
]
(
implicit
arb:
MkCoproductArbitrary
[
C
]
)
:
Arbitrary
[
C
]
Definition Classes
CoproductInstances
implicit
def
coproductCogen
[
C <:
Coproduct
]
(
implicit
arb:
MkCoproductCogen
[
C
]
)
:
Cogen
[
C
]
Definition Classes
CoproductInstances
implicit
def
derivedArbitrary
[
T
]
(
implicit
ev:
LowPriority
,
underlying:
Strict
[
MkArbitrary
[
T
]]
)
:
Arbitrary
[
T
]
Definition Classes
DerivedInstances
implicit
def
derivedCogen
[
T
]
(
implicit
ev:
LowPriority
,
underlying:
Strict
[
MkCogen
[
T
]]
)
:
Cogen
[
T
]
Definition Classes
DerivedInstances
implicit
def
derivedShrink
[
T
]
(
implicit
ev:
Ignoring
[String("shrinkAny")]
,
underlying:
Strict
[
MkShrink
[
T
]]
)
:
Shrink
[
T
]
Definition Classes
DerivedInstances
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
implicit
def
genException
:
Gen
[
Exception
]
Definition Classes
CommonArbitraryInstances
val
genFileNotFound
:
Gen
[
FileNotFoundException
]
Definition Classes
ArbitraryInstances
val
genIllegalArgument
:
Gen
[
IllegalArgumentException
]
Definition Classes
CommonArbitraryInstances
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 → CommonArbitraryInstances
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
genPattern
:
Gen
[
Pattern
]
Definition Classes
CommonArbitraryInstances
val
genRegexOptions
:
Gen
[
Int
]
Definition Classes
CommonArbitraryInstances
val
genRegularExpression
:
Gen
[
String
]
Definition Classes
CommonArbitraryInstances
val
genURL
:
Gen
[
URL
]
Definition Classes
ArbitraryInstances
val
genUnsupportedEncoding
:
Gen
[
UnsupportedEncodingException
]
Definition Classes
CommonArbitraryInstances
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
implicit
def
hlistArbitrary
[
L <:
HList
]
(
implicit
arb:
MkHListArbitrary
[
L
]
)
:
Arbitrary
[
L
]
Definition Classes
HListInstances
implicit
def
hlistCogen
[
L <:
HList
]
(
implicit
arb:
MkHListCogen
[
L
]
)
:
Cogen
[
L
]
Definition Classes
HListInstances
implicit
def
hlistShrink
[
L <:
HList
]
(
implicit
arb:
MkHListShrink
[
L
]
)
:
Shrink
[
L
]
Definition Classes
HListInstances
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
implicit
def
shrinkFieldType
[
K
,
H
]
(
implicit
underlying:
Shrink
[
H
]
)
:
Shrink
[
FieldType
[
K
,
H
]]
Definition Classes
FieldTypeInstances
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
(
...
)
Deprecated Value Members
def
coproductShrink
[
C <:
Coproduct
]
(
implicit
arb:
MkCoproductShrink
[
C
]
)
:
Shrink
[
C
]
Definition Classes
CoproductInstances
Annotations
@deprecated
Deprecated
(Since version 1.1.7)
Kept for binary compatibility
Inherited from
laws.discipline.ArbitraryInstances
Inherited from
CommonArbitraryInstances
Inherited from
ArbitraryArities
Inherited from
ArbitraryInstances
Inherited from
FieldTypeInstances
Inherited from
DerivedInstances
Inherited from
CoproductInstances
Inherited from
HListInstances
Inherited from
SingletonInstances
Inherited from
AnyRef
Inherited from
Any
Ungrouped