kantan
.
xpath
.
laws
.
discipline
ArbitraryInstances
Related Doc:
package discipline
trait
ArbitraryInstances
extends
codecs.laws.discipline.ArbitraryInstances
with
ArbitraryArities
Linear Supertypes
ArbitraryArities
,
codecs.laws.discipline.ArbitraryInstances
,
codecs.laws.discipline.ArbitraryArities
,
AnyRef
,
Any
Known Subclasses
arbitrary
Ordering
Alphabetic
By Inheritance
Inherited
ArbitraryInstances
ArbitraryArities
ArbitraryInstances
ArbitraryArities
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
implicit
lazy val
arbBigDecimal
:
Arbitrary
[
BigDecimal
]
Definition Classes
ArbitraryInstances
implicit
val
arbDate
:
Arbitrary
[
Date
]
Definition Classes
ArbitraryInstances
implicit
val
arbDecodeError
:
Arbitrary
[
DecodeError
]
implicit
def
arbDecodeResult
[
A
]
(
implicit
arg0:
Arbitrary
[
A
]
)
:
Arbitrary
[
DecodeResult
[
A
]]
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
arbIllegalFoundNode
[
A
]
(
implicit
ia:
Arbitrary
[
IllegalString
[
A
]]
)
:
Arbitrary
[
IllegalValue
[
Node
,
A
]]
implicit
def
arbIllegalNode
[
A
]
(
implicit
ia:
Arbitrary
[
IllegalValue
[
Node
,
A
]]
)
:
Arbitrary
[
IllegalNode
[
A
]]
implicit
def
arbIllegalNodeOpt
[
A
]
(
implicit
la:
Arbitrary
[
IllegalString
[
A
]]
)
:
Arbitrary
[
IllegalNode
[
Option
[
A
]]]
implicit
def
arbIllegalTuple1
[
A1
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple10
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
,
a8:
Arbitrary
[
IllegalString
[
A8
]]
,
a9:
Arbitrary
[
IllegalString
[
A9
]]
,
a10:
Arbitrary
[
IllegalString
[
A10
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple11
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
,
a8:
Arbitrary
[
IllegalString
[
A8
]]
,
a9:
Arbitrary
[
IllegalString
[
A9
]]
,
a10:
Arbitrary
[
IllegalString
[
A10
]]
,
a11:
Arbitrary
[
IllegalString
[
A11
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple12
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
,
a8:
Arbitrary
[
IllegalString
[
A8
]]
,
a9:
Arbitrary
[
IllegalString
[
A9
]]
,
a10:
Arbitrary
[
IllegalString
[
A10
]]
,
a11:
Arbitrary
[
IllegalString
[
A11
]]
,
a12:
Arbitrary
[
IllegalString
[
A12
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple13
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
,
a8:
Arbitrary
[
IllegalString
[
A8
]]
,
a9:
Arbitrary
[
IllegalString
[
A9
]]
,
a10:
Arbitrary
[
IllegalString
[
A10
]]
,
a11:
Arbitrary
[
IllegalString
[
A11
]]
,
a12:
Arbitrary
[
IllegalString
[
A12
]]
,
a13:
Arbitrary
[
IllegalString
[
A13
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple14
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
,
a8:
Arbitrary
[
IllegalString
[
A8
]]
,
a9:
Arbitrary
[
IllegalString
[
A9
]]
,
a10:
Arbitrary
[
IllegalString
[
A10
]]
,
a11:
Arbitrary
[
IllegalString
[
A11
]]
,
a12:
Arbitrary
[
IllegalString
[
A12
]]
,
a13:
Arbitrary
[
IllegalString
[
A13
]]
,
a14:
Arbitrary
[
IllegalString
[
A14
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple15
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
,
a8:
Arbitrary
[
IllegalString
[
A8
]]
,
a9:
Arbitrary
[
IllegalString
[
A9
]]
,
a10:
Arbitrary
[
IllegalString
[
A10
]]
,
a11:
Arbitrary
[
IllegalString
[
A11
]]
,
a12:
Arbitrary
[
IllegalString
[
A12
]]
,
a13:
Arbitrary
[
IllegalString
[
A13
]]
,
a14:
Arbitrary
[
IllegalString
[
A14
]]
,
a15:
Arbitrary
[
IllegalString
[
A15
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple16
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
,
a8:
Arbitrary
[
IllegalString
[
A8
]]
,
a9:
Arbitrary
[
IllegalString
[
A9
]]
,
a10:
Arbitrary
[
IllegalString
[
A10
]]
,
a11:
Arbitrary
[
IllegalString
[
A11
]]
,
a12:
Arbitrary
[
IllegalString
[
A12
]]
,
a13:
Arbitrary
[
IllegalString
[
A13
]]
,
a14:
Arbitrary
[
IllegalString
[
A14
]]
,
a15:
Arbitrary
[
IllegalString
[
A15
]]
,
a16:
Arbitrary
[
IllegalString
[
A16
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple17
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
,
a8:
Arbitrary
[
IllegalString
[
A8
]]
,
a9:
Arbitrary
[
IllegalString
[
A9
]]
,
a10:
Arbitrary
[
IllegalString
[
A10
]]
,
a11:
Arbitrary
[
IllegalString
[
A11
]]
,
a12:
Arbitrary
[
IllegalString
[
A12
]]
,
a13:
Arbitrary
[
IllegalString
[
A13
]]
,
a14:
Arbitrary
[
IllegalString
[
A14
]]
,
a15:
Arbitrary
[
IllegalString
[
A15
]]
,
a16:
Arbitrary
[
IllegalString
[
A16
]]
,
a17:
Arbitrary
[
IllegalString
[
A17
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple18
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
,
a8:
Arbitrary
[
IllegalString
[
A8
]]
,
a9:
Arbitrary
[
IllegalString
[
A9
]]
,
a10:
Arbitrary
[
IllegalString
[
A10
]]
,
a11:
Arbitrary
[
IllegalString
[
A11
]]
,
a12:
Arbitrary
[
IllegalString
[
A12
]]
,
a13:
Arbitrary
[
IllegalString
[
A13
]]
,
a14:
Arbitrary
[
IllegalString
[
A14
]]
,
a15:
Arbitrary
[
IllegalString
[
A15
]]
,
a16:
Arbitrary
[
IllegalString
[
A16
]]
,
a17:
Arbitrary
[
IllegalString
[
A17
]]
,
a18:
Arbitrary
[
IllegalString
[
A18
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple19
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
,
a8:
Arbitrary
[
IllegalString
[
A8
]]
,
a9:
Arbitrary
[
IllegalString
[
A9
]]
,
a10:
Arbitrary
[
IllegalString
[
A10
]]
,
a11:
Arbitrary
[
IllegalString
[
A11
]]
,
a12:
Arbitrary
[
IllegalString
[
A12
]]
,
a13:
Arbitrary
[
IllegalString
[
A13
]]
,
a14:
Arbitrary
[
IllegalString
[
A14
]]
,
a15:
Arbitrary
[
IllegalString
[
A15
]]
,
a16:
Arbitrary
[
IllegalString
[
A16
]]
,
a17:
Arbitrary
[
IllegalString
[
A17
]]
,
a18:
Arbitrary
[
IllegalString
[
A18
]]
,
a19:
Arbitrary
[
IllegalString
[
A19
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple2
[
A1
,
A2
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple20
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
,
a8:
Arbitrary
[
IllegalString
[
A8
]]
,
a9:
Arbitrary
[
IllegalString
[
A9
]]
,
a10:
Arbitrary
[
IllegalString
[
A10
]]
,
a11:
Arbitrary
[
IllegalString
[
A11
]]
,
a12:
Arbitrary
[
IllegalString
[
A12
]]
,
a13:
Arbitrary
[
IllegalString
[
A13
]]
,
a14:
Arbitrary
[
IllegalString
[
A14
]]
,
a15:
Arbitrary
[
IllegalString
[
A15
]]
,
a16:
Arbitrary
[
IllegalString
[
A16
]]
,
a17:
Arbitrary
[
IllegalString
[
A17
]]
,
a18:
Arbitrary
[
IllegalString
[
A18
]]
,
a19:
Arbitrary
[
IllegalString
[
A19
]]
,
a20:
Arbitrary
[
IllegalString
[
A20
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple21
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
,
a8:
Arbitrary
[
IllegalString
[
A8
]]
,
a9:
Arbitrary
[
IllegalString
[
A9
]]
,
a10:
Arbitrary
[
IllegalString
[
A10
]]
,
a11:
Arbitrary
[
IllegalString
[
A11
]]
,
a12:
Arbitrary
[
IllegalString
[
A12
]]
,
a13:
Arbitrary
[
IllegalString
[
A13
]]
,
a14:
Arbitrary
[
IllegalString
[
A14
]]
,
a15:
Arbitrary
[
IllegalString
[
A15
]]
,
a16:
Arbitrary
[
IllegalString
[
A16
]]
,
a17:
Arbitrary
[
IllegalString
[
A17
]]
,
a18:
Arbitrary
[
IllegalString
[
A18
]]
,
a19:
Arbitrary
[
IllegalString
[
A19
]]
,
a20:
Arbitrary
[
IllegalString
[
A20
]]
,
a21:
Arbitrary
[
IllegalString
[
A21
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple22
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
,
a8:
Arbitrary
[
IllegalString
[
A8
]]
,
a9:
Arbitrary
[
IllegalString
[
A9
]]
,
a10:
Arbitrary
[
IllegalString
[
A10
]]
,
a11:
Arbitrary
[
IllegalString
[
A11
]]
,
a12:
Arbitrary
[
IllegalString
[
A12
]]
,
a13:
Arbitrary
[
IllegalString
[
A13
]]
,
a14:
Arbitrary
[
IllegalString
[
A14
]]
,
a15:
Arbitrary
[
IllegalString
[
A15
]]
,
a16:
Arbitrary
[
IllegalString
[
A16
]]
,
a17:
Arbitrary
[
IllegalString
[
A17
]]
,
a18:
Arbitrary
[
IllegalString
[
A18
]]
,
a19:
Arbitrary
[
IllegalString
[
A19
]]
,
a20:
Arbitrary
[
IllegalString
[
A20
]]
,
a21:
Arbitrary
[
IllegalString
[
A21
]]
,
a22:
Arbitrary
[
IllegalString
[
A22
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple3
[
A1
,
A2
,
A3
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple4
[
A1
,
A2
,
A3
,
A4
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple5
[
A1
,
A2
,
A3
,
A4
,
A5
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple6
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple7
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple8
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
,
a8:
Arbitrary
[
IllegalString
[
A8
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple9
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
,
a4:
Arbitrary
[
IllegalString
[
A4
]]
,
a5:
Arbitrary
[
IllegalString
[
A5
]]
,
a6:
Arbitrary
[
IllegalString
[
A6
]]
,
a7:
Arbitrary
[
IllegalString
[
A7
]]
,
a8:
Arbitrary
[
IllegalString
[
A8
]]
,
a9:
Arbitrary
[
IllegalString
[
A9
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)]]
Definition Classes
ArbitraryArities
implicit
val
arbIllegalXml
:
Arbitrary
[
IllegalValue
[
String
,
Node
]]
implicit
def
arbLegalFoundNode
[
A
]
(
implicit
la:
Arbitrary
[
LegalString
[
A
]]
)
:
Arbitrary
[
LegalValue
[
Node
,
A
]]
implicit
def
arbLegalNode
[
A
]
(
implicit
la:
Arbitrary
[
LegalValue
[
Node
,
A
]]
)
:
Arbitrary
[
LegalNode
[
A
]]
implicit
def
arbLegalNodeOpt
[
A
]
(
implicit
la:
Arbitrary
[
LegalString
[
A
]]
)
:
Arbitrary
[
LegalNode
[
Option
[
A
]]]
implicit
def
arbLegalTuple1
[
A1
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
)
:
Arbitrary
[
LegalNode
[(
A1
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple10
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
,
a8:
Arbitrary
[
LegalString
[
A8
]]
,
a9:
Arbitrary
[
LegalString
[
A9
]]
,
a10:
Arbitrary
[
LegalString
[
A10
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple11
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
,
a8:
Arbitrary
[
LegalString
[
A8
]]
,
a9:
Arbitrary
[
LegalString
[
A9
]]
,
a10:
Arbitrary
[
LegalString
[
A10
]]
,
a11:
Arbitrary
[
LegalString
[
A11
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple12
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
,
a8:
Arbitrary
[
LegalString
[
A8
]]
,
a9:
Arbitrary
[
LegalString
[
A9
]]
,
a10:
Arbitrary
[
LegalString
[
A10
]]
,
a11:
Arbitrary
[
LegalString
[
A11
]]
,
a12:
Arbitrary
[
LegalString
[
A12
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple13
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
,
a8:
Arbitrary
[
LegalString
[
A8
]]
,
a9:
Arbitrary
[
LegalString
[
A9
]]
,
a10:
Arbitrary
[
LegalString
[
A10
]]
,
a11:
Arbitrary
[
LegalString
[
A11
]]
,
a12:
Arbitrary
[
LegalString
[
A12
]]
,
a13:
Arbitrary
[
LegalString
[
A13
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple14
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
,
a8:
Arbitrary
[
LegalString
[
A8
]]
,
a9:
Arbitrary
[
LegalString
[
A9
]]
,
a10:
Arbitrary
[
LegalString
[
A10
]]
,
a11:
Arbitrary
[
LegalString
[
A11
]]
,
a12:
Arbitrary
[
LegalString
[
A12
]]
,
a13:
Arbitrary
[
LegalString
[
A13
]]
,
a14:
Arbitrary
[
LegalString
[
A14
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple15
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
,
a8:
Arbitrary
[
LegalString
[
A8
]]
,
a9:
Arbitrary
[
LegalString
[
A9
]]
,
a10:
Arbitrary
[
LegalString
[
A10
]]
,
a11:
Arbitrary
[
LegalString
[
A11
]]
,
a12:
Arbitrary
[
LegalString
[
A12
]]
,
a13:
Arbitrary
[
LegalString
[
A13
]]
,
a14:
Arbitrary
[
LegalString
[
A14
]]
,
a15:
Arbitrary
[
LegalString
[
A15
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple16
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
,
a8:
Arbitrary
[
LegalString
[
A8
]]
,
a9:
Arbitrary
[
LegalString
[
A9
]]
,
a10:
Arbitrary
[
LegalString
[
A10
]]
,
a11:
Arbitrary
[
LegalString
[
A11
]]
,
a12:
Arbitrary
[
LegalString
[
A12
]]
,
a13:
Arbitrary
[
LegalString
[
A13
]]
,
a14:
Arbitrary
[
LegalString
[
A14
]]
,
a15:
Arbitrary
[
LegalString
[
A15
]]
,
a16:
Arbitrary
[
LegalString
[
A16
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple17
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
,
a8:
Arbitrary
[
LegalString
[
A8
]]
,
a9:
Arbitrary
[
LegalString
[
A9
]]
,
a10:
Arbitrary
[
LegalString
[
A10
]]
,
a11:
Arbitrary
[
LegalString
[
A11
]]
,
a12:
Arbitrary
[
LegalString
[
A12
]]
,
a13:
Arbitrary
[
LegalString
[
A13
]]
,
a14:
Arbitrary
[
LegalString
[
A14
]]
,
a15:
Arbitrary
[
LegalString
[
A15
]]
,
a16:
Arbitrary
[
LegalString
[
A16
]]
,
a17:
Arbitrary
[
LegalString
[
A17
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple18
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
,
a8:
Arbitrary
[
LegalString
[
A8
]]
,
a9:
Arbitrary
[
LegalString
[
A9
]]
,
a10:
Arbitrary
[
LegalString
[
A10
]]
,
a11:
Arbitrary
[
LegalString
[
A11
]]
,
a12:
Arbitrary
[
LegalString
[
A12
]]
,
a13:
Arbitrary
[
LegalString
[
A13
]]
,
a14:
Arbitrary
[
LegalString
[
A14
]]
,
a15:
Arbitrary
[
LegalString
[
A15
]]
,
a16:
Arbitrary
[
LegalString
[
A16
]]
,
a17:
Arbitrary
[
LegalString
[
A17
]]
,
a18:
Arbitrary
[
LegalString
[
A18
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple19
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
,
a8:
Arbitrary
[
LegalString
[
A8
]]
,
a9:
Arbitrary
[
LegalString
[
A9
]]
,
a10:
Arbitrary
[
LegalString
[
A10
]]
,
a11:
Arbitrary
[
LegalString
[
A11
]]
,
a12:
Arbitrary
[
LegalString
[
A12
]]
,
a13:
Arbitrary
[
LegalString
[
A13
]]
,
a14:
Arbitrary
[
LegalString
[
A14
]]
,
a15:
Arbitrary
[
LegalString
[
A15
]]
,
a16:
Arbitrary
[
LegalString
[
A16
]]
,
a17:
Arbitrary
[
LegalString
[
A17
]]
,
a18:
Arbitrary
[
LegalString
[
A18
]]
,
a19:
Arbitrary
[
LegalString
[
A19
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple2
[
A1
,
A2
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple20
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
,
a8:
Arbitrary
[
LegalString
[
A8
]]
,
a9:
Arbitrary
[
LegalString
[
A9
]]
,
a10:
Arbitrary
[
LegalString
[
A10
]]
,
a11:
Arbitrary
[
LegalString
[
A11
]]
,
a12:
Arbitrary
[
LegalString
[
A12
]]
,
a13:
Arbitrary
[
LegalString
[
A13
]]
,
a14:
Arbitrary
[
LegalString
[
A14
]]
,
a15:
Arbitrary
[
LegalString
[
A15
]]
,
a16:
Arbitrary
[
LegalString
[
A16
]]
,
a17:
Arbitrary
[
LegalString
[
A17
]]
,
a18:
Arbitrary
[
LegalString
[
A18
]]
,
a19:
Arbitrary
[
LegalString
[
A19
]]
,
a20:
Arbitrary
[
LegalString
[
A20
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple21
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
,
a8:
Arbitrary
[
LegalString
[
A8
]]
,
a9:
Arbitrary
[
LegalString
[
A9
]]
,
a10:
Arbitrary
[
LegalString
[
A10
]]
,
a11:
Arbitrary
[
LegalString
[
A11
]]
,
a12:
Arbitrary
[
LegalString
[
A12
]]
,
a13:
Arbitrary
[
LegalString
[
A13
]]
,
a14:
Arbitrary
[
LegalString
[
A14
]]
,
a15:
Arbitrary
[
LegalString
[
A15
]]
,
a16:
Arbitrary
[
LegalString
[
A16
]]
,
a17:
Arbitrary
[
LegalString
[
A17
]]
,
a18:
Arbitrary
[
LegalString
[
A18
]]
,
a19:
Arbitrary
[
LegalString
[
A19
]]
,
a20:
Arbitrary
[
LegalString
[
A20
]]
,
a21:
Arbitrary
[
LegalString
[
A21
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple22
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
,
a8:
Arbitrary
[
LegalString
[
A8
]]
,
a9:
Arbitrary
[
LegalString
[
A9
]]
,
a10:
Arbitrary
[
LegalString
[
A10
]]
,
a11:
Arbitrary
[
LegalString
[
A11
]]
,
a12:
Arbitrary
[
LegalString
[
A12
]]
,
a13:
Arbitrary
[
LegalString
[
A13
]]
,
a14:
Arbitrary
[
LegalString
[
A14
]]
,
a15:
Arbitrary
[
LegalString
[
A15
]]
,
a16:
Arbitrary
[
LegalString
[
A16
]]
,
a17:
Arbitrary
[
LegalString
[
A17
]]
,
a18:
Arbitrary
[
LegalString
[
A18
]]
,
a19:
Arbitrary
[
LegalString
[
A19
]]
,
a20:
Arbitrary
[
LegalString
[
A20
]]
,
a21:
Arbitrary
[
LegalString
[
A21
]]
,
a22:
Arbitrary
[
LegalString
[
A22
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple3
[
A1
,
A2
,
A3
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple4
[
A1
,
A2
,
A3
,
A4
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple5
[
A1
,
A2
,
A3
,
A4
,
A5
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple6
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple7
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple8
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
,
a8:
Arbitrary
[
LegalString
[
A8
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple9
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
,
a4:
Arbitrary
[
LegalString
[
A4
]]
,
a5:
Arbitrary
[
LegalString
[
A5
]]
,
a6:
Arbitrary
[
LegalString
[
A6
]]
,
a7:
Arbitrary
[
LegalString
[
A7
]]
,
a8:
Arbitrary
[
LegalString
[
A8
]]
,
a9:
Arbitrary
[
LegalString
[
A9
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)]]
Definition Classes
ArbitraryArities
implicit
val
arbLegalXml
:
Arbitrary
[
LegalValue
[
String
,
Node
]]
def
arbNode
[
A
]
(
f: (
A
) ⇒
String
)
(
implicit
arg0:
Arbitrary
[
A
]
)
:
Arbitrary
[
Node
]
implicit
def
arbNodeDecoder
[
A
]
(
implicit
arg0:
Arbitrary
[
A
]
)
:
Arbitrary
[
NodeDecoder
[
A
]]
implicit
val
arbParseError
:
Arbitrary
[
ParseError
]
implicit
def
arbQuery
[
A
]
(
implicit
arg0:
Arbitrary
[
A
]
)
:
Arbitrary
[
Query
[
A
]]
implicit
def
arbReadResult
[
A
]
(
implicit
arg0:
Arbitrary
[
A
]
)
:
Arbitrary
[
ReadResult
[
A
]]
implicit
def
arbResult
[
F
,
S
]
(
implicit
arg0:
Arbitrary
[
F
]
,
arg1:
Arbitrary
[
S
]
)
:
Arbitrary
[
Result
[
F
,
S
]]
Definition Classes
ArbitraryInstances
implicit
def
arbStringDecoder
[
A
]
(
implicit
arg0:
Arbitrary
[
A
]
)
:
Arbitrary
[
StringDecoder
[
A
]]
Definition Classes
ArbitraryInstances
implicit
def
arbStringEncoder
[
A
]
(
implicit
arg0:
Arbitrary
[
A
]
)
:
Arbitrary
[
StringEncoder
[
A
]]
Definition Classes
ArbitraryInstances
implicit
def
arbSuccess
[
S
]
(
implicit
arg0:
Arbitrary
[
S
]
)
:
Arbitrary
[
Success
[
S
]]
Definition Classes
ArbitraryInstances
implicit
def
arbTry
[
A
]
(
implicit
aa:
Arbitrary
[
A
]
)
:
Arbitrary
[
Try
[
A
]]
Definition Classes
ArbitraryInstances
implicit
val
arbURI
:
Arbitrary
[
URI
]
Definition Classes
ArbitraryInstances
implicit
val
arbURL
:
Arbitrary
[
URL
]
Definition Classes
ArbitraryInstances
implicit
val
arbXPathError
:
Arbitrary
[
ReadError
]
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
asTextAttributes
(
atts:
String
*
)
:
Element
Definition Classes
ArbitraryArities
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
failure
[
F
]
(
implicit
arg0:
Arbitrary
[
F
]
)
:
Gen
[
Failure
[
F
]]
Definition Classes
ArbitraryInstances
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
genIllegalTuple1
[
E1
,
D1
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
)
:
Gen
[
IllegalValue
[(
E1
), (
D1
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple10
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple11
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple12
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple13
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple14
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple15
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple16
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple17
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple18
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
]]
,
arbD18:
Arbitrary
[
IllegalValue
[
E18
,
D18
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple19
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
]]
,
arbD18:
Arbitrary
[
IllegalValue
[
E18
,
D18
]]
,
arbD19:
Arbitrary
[
IllegalValue
[
E19
,
D19
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple2
[
E1
,
E2
,
D1
,
D2
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
), (
D1
,
D2
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple20
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
]]
,
arbD18:
Arbitrary
[
IllegalValue
[
E18
,
D18
]]
,
arbD19:
Arbitrary
[
IllegalValue
[
E19
,
D19
]]
,
arbD20:
Arbitrary
[
IllegalValue
[
E20
,
D20
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple21
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
]]
,
arbD18:
Arbitrary
[
IllegalValue
[
E18
,
D18
]]
,
arbD19:
Arbitrary
[
IllegalValue
[
E19
,
D19
]]
,
arbD20:
Arbitrary
[
IllegalValue
[
E20
,
D20
]]
,
arbD21:
Arbitrary
[
IllegalValue
[
E21
,
D21
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple22
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
D22
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
]]
,
arbD18:
Arbitrary
[
IllegalValue
[
E18
,
D18
]]
,
arbD19:
Arbitrary
[
IllegalValue
[
E19
,
D19
]]
,
arbD20:
Arbitrary
[
IllegalValue
[
E20
,
D20
]]
,
arbD21:
Arbitrary
[
IllegalValue
[
E21
,
D21
]]
,
arbD22:
Arbitrary
[
IllegalValue
[
E22
,
D22
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
D22
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple3
[
E1
,
E2
,
E3
,
D1
,
D2
,
D3
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
), (
D1
,
D2
,
D3
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple4
[
E1
,
E2
,
E3
,
E4
,
D1
,
D2
,
D3
,
D4
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
), (
D1
,
D2
,
D3
,
D4
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple5
[
E1
,
E2
,
E3
,
E4
,
E5
,
D1
,
D2
,
D3
,
D4
,
D5
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
), (
D1
,
D2
,
D3
,
D4
,
D5
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple6
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple7
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple8
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
)]]
Definition Classes
ArbitraryArities
def
genIllegalTuple9
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
)]]
Definition Classes
ArbitraryArities
def
genIllegalWith1
[
E1
,
D1
,
EE
,
DD
]
(
encoded: (
E1
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith10
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith11
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith12
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith13
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith14
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith15
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith16
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith17
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith18
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
]]
,
arb18:
Arbitrary
[
IllegalValue
[
E18
,
D18
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith19
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
]]
,
arb18:
Arbitrary
[
IllegalValue
[
E18
,
D18
]]
,
arb19:
Arbitrary
[
IllegalValue
[
E19
,
D19
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith2
[
E1
,
E2
,
D1
,
D2
,
EE
,
DD
]
(
encoded: (
E1
,
E2
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith20
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
]]
,
arb18:
Arbitrary
[
IllegalValue
[
E18
,
D18
]]
,
arb19:
Arbitrary
[
IllegalValue
[
E19
,
D19
]]
,
arb20:
Arbitrary
[
IllegalValue
[
E20
,
D20
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith21
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
]]
,
arb18:
Arbitrary
[
IllegalValue
[
E18
,
D18
]]
,
arb19:
Arbitrary
[
IllegalValue
[
E19
,
D19
]]
,
arb20:
Arbitrary
[
IllegalValue
[
E20
,
D20
]]
,
arb21:
Arbitrary
[
IllegalValue
[
E21
,
D21
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith22
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
D22
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
]]
,
arb18:
Arbitrary
[
IllegalValue
[
E18
,
D18
]]
,
arb19:
Arbitrary
[
IllegalValue
[
E19
,
D19
]]
,
arb20:
Arbitrary
[
IllegalValue
[
E20
,
D20
]]
,
arb21:
Arbitrary
[
IllegalValue
[
E21
,
D21
]]
,
arb22:
Arbitrary
[
IllegalValue
[
E22
,
D22
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith3
[
E1
,
E2
,
E3
,
D1
,
D2
,
D3
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith4
[
E1
,
E2
,
E3
,
E4
,
D1
,
D2
,
D3
,
D4
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith5
[
E1
,
E2
,
E3
,
E4
,
E5
,
D1
,
D2
,
D3
,
D4
,
D5
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith6
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith7
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith8
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genIllegalWith9
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
EE
,
DD
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalTuple1
[
E1
,
D1
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
)
:
Gen
[
LegalValue
[(
E1
), (
D1
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple10
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple11
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple12
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple13
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple14
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple15
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple16
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple17
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple18
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
]]
,
arbD18:
Arbitrary
[
LegalValue
[
E18
,
D18
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple19
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
]]
,
arbD18:
Arbitrary
[
LegalValue
[
E18
,
D18
]]
,
arbD19:
Arbitrary
[
LegalValue
[
E19
,
D19
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple2
[
E1
,
E2
,
D1
,
D2
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
), (
D1
,
D2
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple20
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
]]
,
arbD18:
Arbitrary
[
LegalValue
[
E18
,
D18
]]
,
arbD19:
Arbitrary
[
LegalValue
[
E19
,
D19
]]
,
arbD20:
Arbitrary
[
LegalValue
[
E20
,
D20
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple21
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
]]
,
arbD18:
Arbitrary
[
LegalValue
[
E18
,
D18
]]
,
arbD19:
Arbitrary
[
LegalValue
[
E19
,
D19
]]
,
arbD20:
Arbitrary
[
LegalValue
[
E20
,
D20
]]
,
arbD21:
Arbitrary
[
LegalValue
[
E21
,
D21
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple22
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
D22
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
]]
,
arbD18:
Arbitrary
[
LegalValue
[
E18
,
D18
]]
,
arbD19:
Arbitrary
[
LegalValue
[
E19
,
D19
]]
,
arbD20:
Arbitrary
[
LegalValue
[
E20
,
D20
]]
,
arbD21:
Arbitrary
[
LegalValue
[
E21
,
D21
]]
,
arbD22:
Arbitrary
[
LegalValue
[
E22
,
D22
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
D22
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple3
[
E1
,
E2
,
E3
,
D1
,
D2
,
D3
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
), (
D1
,
D2
,
D3
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple4
[
E1
,
E2
,
E3
,
E4
,
D1
,
D2
,
D3
,
D4
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
), (
D1
,
D2
,
D3
,
D4
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple5
[
E1
,
E2
,
E3
,
E4
,
E5
,
D1
,
D2
,
D3
,
D4
,
D5
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
), (
D1
,
D2
,
D3
,
D4
,
D5
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple6
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple7
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple8
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
)]]
Definition Classes
ArbitraryArities
def
genLegalTuple9
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
)]]
Definition Classes
ArbitraryArities
def
genLegalWith1
[
E1
,
D1
,
EE
,
DD
]
(
decoded: (
D1
) ⇒
DD
)
(
encoded: (
E1
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith10
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith11
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith12
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith13
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith14
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith15
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith16
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith17
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith18
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
]]
,
arb18:
Arbitrary
[
LegalValue
[
E18
,
D18
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith19
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
]]
,
arb18:
Arbitrary
[
LegalValue
[
E18
,
D18
]]
,
arb19:
Arbitrary
[
LegalValue
[
E19
,
D19
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith2
[
E1
,
E2
,
D1
,
D2
,
EE
,
DD
]
(
decoded: (
D1
,
D2
) ⇒
DD
)
(
encoded: (
E1
,
E2
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith20
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
]]
,
arb18:
Arbitrary
[
LegalValue
[
E18
,
D18
]]
,
arb19:
Arbitrary
[
LegalValue
[
E19
,
D19
]]
,
arb20:
Arbitrary
[
LegalValue
[
E20
,
D20
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith21
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
]]
,
arb18:
Arbitrary
[
LegalValue
[
E18
,
D18
]]
,
arb19:
Arbitrary
[
LegalValue
[
E19
,
D19
]]
,
arb20:
Arbitrary
[
LegalValue
[
E20
,
D20
]]
,
arb21:
Arbitrary
[
LegalValue
[
E21
,
D21
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith22
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
D22
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
D22
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
]]
,
arb18:
Arbitrary
[
LegalValue
[
E18
,
D18
]]
,
arb19:
Arbitrary
[
LegalValue
[
E19
,
D19
]]
,
arb20:
Arbitrary
[
LegalValue
[
E20
,
D20
]]
,
arb21:
Arbitrary
[
LegalValue
[
E21
,
D21
]]
,
arb22:
Arbitrary
[
LegalValue
[
E22
,
D22
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith3
[
E1
,
E2
,
E3
,
D1
,
D2
,
D3
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith4
[
E1
,
E2
,
E3
,
E4
,
D1
,
D2
,
D3
,
D4
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith5
[
E1
,
E2
,
E3
,
E4
,
E5
,
D1
,
D2
,
D3
,
D4
,
D5
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith6
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith7
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith8
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
def
genLegalWith9
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
EE
,
DD
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
]]
Definition Classes
ArbitraryArities
val
genPathElement
:
Gen
[
String
]
Definition Classes
ArbitraryInstances
val
genURL
:
Gen
[
URL
]
Definition Classes
ArbitraryInstances
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
success
[
S
]
(
implicit
arg0:
Arbitrary
[
S
]
)
:
Gen
[
Success
[
S
]]
Definition Classes
ArbitraryInstances
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
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
ArbitraryArities
Inherited from
codecs.laws.discipline.ArbitraryInstances
Inherited from
codecs.laws.discipline.ArbitraryArities
Inherited from
AnyRef
Inherited from
Any
Ungrouped