kantan
.
xpath
.
laws
.
discipline
ArbitraryArities
Related Doc:
package discipline
trait
ArbitraryArities
extends
AnyRef
Linear Supertypes
AnyRef
,
Any
Known Subclasses
ArbitraryInstances
,
arbitrary
Ordering
Alphabetic
By Inheritance
Inherited
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
def
arbIllegalTuple1
[
A1
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
implicit
def
arbIllegalTuple2
[
A1
,
A2
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
)]]
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
)]]
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
)]]
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
)]]
implicit
def
arbIllegalTuple3
[
A1
,
A2
,
A3
]
(
implicit
a1:
Arbitrary
[
IllegalString
[
A1
]]
,
a2:
Arbitrary
[
IllegalString
[
A2
]]
,
a3:
Arbitrary
[
IllegalString
[
A3
]]
)
:
Arbitrary
[
IllegalNode
[(
A1
,
A2
,
A3
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
implicit
def
arbLegalTuple1
[
A1
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
)
:
Arbitrary
[
LegalNode
[(
A1
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
implicit
def
arbLegalTuple2
[
A1
,
A2
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
)]]
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
)]]
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
)]]
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
)]]
implicit
def
arbLegalTuple3
[
A1
,
A2
,
A3
]
(
implicit
a1:
Arbitrary
[
LegalString
[
A1
]]
,
a2:
Arbitrary
[
LegalString
[
A2
]]
,
a3:
Arbitrary
[
LegalString
[
A3
]]
)
:
Arbitrary
[
LegalNode
[(
A1
,
A2
,
A3
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
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
)]]
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
asTextAttributes
(
atts:
String
*
)
:
Element
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
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
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
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
AnyRef
Inherited from
Any
Ungrouped