kantan
.
regex
.
laws
.
discipline
ArbitraryInstances
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
Learn more about member selection
Visibility
Public
All
Value Members
final
def
!=
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
implicit
lazy val
arbBigDecimal
:
Arbitrary
[
BigDecimal
]
Definition Classes
ArbitraryInstances
implicit
val
arbCompileError
:
Arbitrary
[
CompileError
]
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
[
codecs.Result.Failure
[
F
]]
Definition Classes
ArbitraryInstances
implicit
val
arbFile
:
Arbitrary
[
File
]
Definition Classes
ArbitraryInstances
def
arbIllegalCaseClass1
[
I1
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass10
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass11
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass12
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass13
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass14
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass15
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass16
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
,
ai16:
Arbitrary
[
IllegalString
[
I16
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass17
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
,
ai16:
Arbitrary
[
IllegalString
[
I16
]]
,
ai17:
Arbitrary
[
IllegalString
[
I17
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass18
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
,
ai16:
Arbitrary
[
IllegalString
[
I16
]]
,
ai17:
Arbitrary
[
IllegalString
[
I17
]]
,
ai18:
Arbitrary
[
IllegalString
[
I18
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass19
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
,
ai16:
Arbitrary
[
IllegalString
[
I16
]]
,
ai17:
Arbitrary
[
IllegalString
[
I17
]]
,
ai18:
Arbitrary
[
IllegalString
[
I18
]]
,
ai19:
Arbitrary
[
IllegalString
[
I19
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass2
[
I1
,
I2
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass20
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
,
ai16:
Arbitrary
[
IllegalString
[
I16
]]
,
ai17:
Arbitrary
[
IllegalString
[
I17
]]
,
ai18:
Arbitrary
[
IllegalString
[
I18
]]
,
ai19:
Arbitrary
[
IllegalString
[
I19
]]
,
ai20:
Arbitrary
[
IllegalString
[
I20
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass21
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
I21
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
,
ai16:
Arbitrary
[
IllegalString
[
I16
]]
,
ai17:
Arbitrary
[
IllegalString
[
I17
]]
,
ai18:
Arbitrary
[
IllegalString
[
I18
]]
,
ai19:
Arbitrary
[
IllegalString
[
I19
]]
,
ai20:
Arbitrary
[
IllegalString
[
I20
]]
,
ai21:
Arbitrary
[
IllegalString
[
I21
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass22
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
I21
,
I22
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
,
ai16:
Arbitrary
[
IllegalString
[
I16
]]
,
ai17:
Arbitrary
[
IllegalString
[
I17
]]
,
ai18:
Arbitrary
[
IllegalString
[
I18
]]
,
ai19:
Arbitrary
[
IllegalString
[
I19
]]
,
ai20:
Arbitrary
[
IllegalString
[
I20
]]
,
ai21:
Arbitrary
[
IllegalString
[
I21
]]
,
ai22:
Arbitrary
[
IllegalString
[
I22
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass3
[
I1
,
I2
,
I3
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass4
[
I1
,
I2
,
I3
,
I4
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass5
[
I1
,
I2
,
I3
,
I4
,
I5
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass6
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass7
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass8
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbIllegalCaseClass9
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
O
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
)
:
Arbitrary
[
IllegalMatch
[
O
]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalGroup
[
A
]
(
implicit
la:
Arbitrary
[
IllegalString
[
A
]]
)
:
Arbitrary
[
IllegalGroup
[
A
]]
implicit
def
arbIllegalGroupOpt
[
A
]
(
implicit
la:
Arbitrary
[
IllegalString
[
A
]]
)
:
Arbitrary
[
IllegalGroup
[
Option
[
A
]]]
implicit
def
arbIllegalMatch
[
A
]
(
implicit
ia:
Arbitrary
[
IllegalString
[
A
]]
)
:
Arbitrary
[
IllegalMatch
[
A
]]
implicit
def
arbIllegalPath
[
T
]
:
Arbitrary
[
IllegalValue
[
String
,
Path
,
T
]]
Definition Classes
ArbitraryInstances
implicit
def
arbIllegalTuple1
[
I1
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple10
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple11
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple12
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple13
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple14
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple15
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple16
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
,
ai16:
Arbitrary
[
IllegalString
[
I16
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple17
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
,
ai16:
Arbitrary
[
IllegalString
[
I16
]]
,
ai17:
Arbitrary
[
IllegalString
[
I17
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple18
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
,
ai16:
Arbitrary
[
IllegalString
[
I16
]]
,
ai17:
Arbitrary
[
IllegalString
[
I17
]]
,
ai18:
Arbitrary
[
IllegalString
[
I18
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple19
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
,
ai16:
Arbitrary
[
IllegalString
[
I16
]]
,
ai17:
Arbitrary
[
IllegalString
[
I17
]]
,
ai18:
Arbitrary
[
IllegalString
[
I18
]]
,
ai19:
Arbitrary
[
IllegalString
[
I19
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple2
[
I1
,
I2
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple20
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
,
ai16:
Arbitrary
[
IllegalString
[
I16
]]
,
ai17:
Arbitrary
[
IllegalString
[
I17
]]
,
ai18:
Arbitrary
[
IllegalString
[
I18
]]
,
ai19:
Arbitrary
[
IllegalString
[
I19
]]
,
ai20:
Arbitrary
[
IllegalString
[
I20
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple21
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
I21
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
,
ai16:
Arbitrary
[
IllegalString
[
I16
]]
,
ai17:
Arbitrary
[
IllegalString
[
I17
]]
,
ai18:
Arbitrary
[
IllegalString
[
I18
]]
,
ai19:
Arbitrary
[
IllegalString
[
I19
]]
,
ai20:
Arbitrary
[
IllegalString
[
I20
]]
,
ai21:
Arbitrary
[
IllegalString
[
I21
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
I21
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple22
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
I21
,
I22
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
,
ai10:
Arbitrary
[
IllegalString
[
I10
]]
,
ai11:
Arbitrary
[
IllegalString
[
I11
]]
,
ai12:
Arbitrary
[
IllegalString
[
I12
]]
,
ai13:
Arbitrary
[
IllegalString
[
I13
]]
,
ai14:
Arbitrary
[
IllegalString
[
I14
]]
,
ai15:
Arbitrary
[
IllegalString
[
I15
]]
,
ai16:
Arbitrary
[
IllegalString
[
I16
]]
,
ai17:
Arbitrary
[
IllegalString
[
I17
]]
,
ai18:
Arbitrary
[
IllegalString
[
I18
]]
,
ai19:
Arbitrary
[
IllegalString
[
I19
]]
,
ai20:
Arbitrary
[
IllegalString
[
I20
]]
,
ai21:
Arbitrary
[
IllegalString
[
I21
]]
,
ai22:
Arbitrary
[
IllegalString
[
I22
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
I21
,
I22
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple3
[
I1
,
I2
,
I3
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple4
[
I1
,
I2
,
I3
,
I4
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple5
[
I1
,
I2
,
I3
,
I4
,
I5
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple6
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple7
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple8
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalTuple9
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
]
(
implicit
ai1:
Arbitrary
[
IllegalString
[
I1
]]
,
ai2:
Arbitrary
[
IllegalString
[
I2
]]
,
ai3:
Arbitrary
[
IllegalString
[
I3
]]
,
ai4:
Arbitrary
[
IllegalString
[
I4
]]
,
ai5:
Arbitrary
[
IllegalString
[
I5
]]
,
ai6:
Arbitrary
[
IllegalString
[
I6
]]
,
ai7:
Arbitrary
[
IllegalString
[
I7
]]
,
ai8:
Arbitrary
[
IllegalString
[
I8
]]
,
ai9:
Arbitrary
[
IllegalString
[
I9
]]
)
:
Arbitrary
[
IllegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
)]]
Definition Classes
ArbitraryArities
implicit
def
arbIllegalURI
[
T
]
:
Arbitrary
[
IllegalValue
[
String
,
URI
,
T
]]
Definition Classes
ArbitraryInstances
def
arbIllegalValue
[
E
,
A
,
T
]
(
illegal: (
E
) ⇒
Boolean
)
(
implicit
arg0:
Arbitrary
[
E
]
)
:
Arbitrary
[
IllegalValue
[
E
,
A
,
T
]]
Definition Classes
ArbitraryInstances
implicit
def
arbIllegalValueFromDec
[
E
,
A
,
T
]
(
implicit
arg0:
Arbitrary
[
E
]
,
da:
Decoder
[
E
,
A
, _,
T
]
)
:
Arbitrary
[
IllegalValue
[
E
,
A
,
T
]]
Definition Classes
ArbitraryInstances
implicit
val
arbIoException
:
Arbitrary
[
IOException
]
Definition Classes
ArbitraryInstances
def
arbLegalCaseClass1
[
I1
,
O
]
(
f: (
I1
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass10
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass11
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass12
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass13
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass14
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass15
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass16
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
,
al16:
Arbitrary
[
LegalString
[
I16
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass17
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
,
al16:
Arbitrary
[
LegalString
[
I16
]]
,
al17:
Arbitrary
[
LegalString
[
I17
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass18
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
,
al16:
Arbitrary
[
LegalString
[
I16
]]
,
al17:
Arbitrary
[
LegalString
[
I17
]]
,
al18:
Arbitrary
[
LegalString
[
I18
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass19
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
,
al16:
Arbitrary
[
LegalString
[
I16
]]
,
al17:
Arbitrary
[
LegalString
[
I17
]]
,
al18:
Arbitrary
[
LegalString
[
I18
]]
,
al19:
Arbitrary
[
LegalString
[
I19
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass2
[
I1
,
I2
,
O
]
(
f: (
I1
,
I2
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass20
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
,
al16:
Arbitrary
[
LegalString
[
I16
]]
,
al17:
Arbitrary
[
LegalString
[
I17
]]
,
al18:
Arbitrary
[
LegalString
[
I18
]]
,
al19:
Arbitrary
[
LegalString
[
I19
]]
,
al20:
Arbitrary
[
LegalString
[
I20
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass21
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
I21
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
I21
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
,
al16:
Arbitrary
[
LegalString
[
I16
]]
,
al17:
Arbitrary
[
LegalString
[
I17
]]
,
al18:
Arbitrary
[
LegalString
[
I18
]]
,
al19:
Arbitrary
[
LegalString
[
I19
]]
,
al20:
Arbitrary
[
LegalString
[
I20
]]
,
al21:
Arbitrary
[
LegalString
[
I21
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass22
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
I21
,
I22
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
I21
,
I22
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
,
al16:
Arbitrary
[
LegalString
[
I16
]]
,
al17:
Arbitrary
[
LegalString
[
I17
]]
,
al18:
Arbitrary
[
LegalString
[
I18
]]
,
al19:
Arbitrary
[
LegalString
[
I19
]]
,
al20:
Arbitrary
[
LegalString
[
I20
]]
,
al21:
Arbitrary
[
LegalString
[
I21
]]
,
al22:
Arbitrary
[
LegalString
[
I22
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass3
[
I1
,
I2
,
I3
,
O
]
(
f: (
I1
,
I2
,
I3
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass4
[
I1
,
I2
,
I3
,
I4
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass5
[
I1
,
I2
,
I3
,
I4
,
I5
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass6
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass7
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass8
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
def
arbLegalCaseClass9
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
O
]
(
f: (
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
) ⇒
O
)
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
)
:
Arbitrary
[
LegalMatch
[
O
]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalGroup
[
A
]
(
implicit
la:
Arbitrary
[
LegalString
[
A
]]
)
:
Arbitrary
[
LegalGroup
[
A
]]
implicit
def
arbLegalGroupOpt
[
A
]
(
implicit
la:
Arbitrary
[
LegalString
[
A
]]
)
:
Arbitrary
[
LegalGroup
[
Option
[
A
]]]
implicit
def
arbLegalMatch
[
A
]
(
implicit
la:
Arbitrary
[
LegalString
[
A
]]
)
:
Arbitrary
[
LegalMatch
[
A
]]
implicit
def
arbLegalTuple1
[
I1
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple10
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple11
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple12
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple13
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple14
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple15
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple16
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
,
al16:
Arbitrary
[
LegalString
[
I16
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple17
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
,
al16:
Arbitrary
[
LegalString
[
I16
]]
,
al17:
Arbitrary
[
LegalString
[
I17
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple18
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
,
al16:
Arbitrary
[
LegalString
[
I16
]]
,
al17:
Arbitrary
[
LegalString
[
I17
]]
,
al18:
Arbitrary
[
LegalString
[
I18
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple19
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
,
al16:
Arbitrary
[
LegalString
[
I16
]]
,
al17:
Arbitrary
[
LegalString
[
I17
]]
,
al18:
Arbitrary
[
LegalString
[
I18
]]
,
al19:
Arbitrary
[
LegalString
[
I19
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple2
[
I1
,
I2
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple20
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
,
al16:
Arbitrary
[
LegalString
[
I16
]]
,
al17:
Arbitrary
[
LegalString
[
I17
]]
,
al18:
Arbitrary
[
LegalString
[
I18
]]
,
al19:
Arbitrary
[
LegalString
[
I19
]]
,
al20:
Arbitrary
[
LegalString
[
I20
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple21
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
I21
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
,
al16:
Arbitrary
[
LegalString
[
I16
]]
,
al17:
Arbitrary
[
LegalString
[
I17
]]
,
al18:
Arbitrary
[
LegalString
[
I18
]]
,
al19:
Arbitrary
[
LegalString
[
I19
]]
,
al20:
Arbitrary
[
LegalString
[
I20
]]
,
al21:
Arbitrary
[
LegalString
[
I21
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
I21
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple22
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
I21
,
I22
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
,
al10:
Arbitrary
[
LegalString
[
I10
]]
,
al11:
Arbitrary
[
LegalString
[
I11
]]
,
al12:
Arbitrary
[
LegalString
[
I12
]]
,
al13:
Arbitrary
[
LegalString
[
I13
]]
,
al14:
Arbitrary
[
LegalString
[
I14
]]
,
al15:
Arbitrary
[
LegalString
[
I15
]]
,
al16:
Arbitrary
[
LegalString
[
I16
]]
,
al17:
Arbitrary
[
LegalString
[
I17
]]
,
al18:
Arbitrary
[
LegalString
[
I18
]]
,
al19:
Arbitrary
[
LegalString
[
I19
]]
,
al20:
Arbitrary
[
LegalString
[
I20
]]
,
al21:
Arbitrary
[
LegalString
[
I21
]]
,
al22:
Arbitrary
[
LegalString
[
I22
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
,
I10
,
I11
,
I12
,
I13
,
I14
,
I15
,
I16
,
I17
,
I18
,
I19
,
I20
,
I21
,
I22
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple3
[
I1
,
I2
,
I3
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple4
[
I1
,
I2
,
I3
,
I4
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple5
[
I1
,
I2
,
I3
,
I4
,
I5
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple6
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple7
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple8
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
)]]
Definition Classes
ArbitraryArities
implicit
def
arbLegalTuple9
[
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
]
(
implicit
al1:
Arbitrary
[
LegalString
[
I1
]]
,
al2:
Arbitrary
[
LegalString
[
I2
]]
,
al3:
Arbitrary
[
LegalString
[
I3
]]
,
al4:
Arbitrary
[
LegalString
[
I4
]]
,
al5:
Arbitrary
[
LegalString
[
I5
]]
,
al6:
Arbitrary
[
LegalString
[
I6
]]
,
al7:
Arbitrary
[
LegalString
[
I7
]]
,
al8:
Arbitrary
[
LegalString
[
I8
]]
,
al9:
Arbitrary
[
LegalString
[
I9
]]
)
:
Arbitrary
[
LegalMatch
[(
I1
,
I2
,
I3
,
I4
,
I5
,
I6
,
I7
,
I8
,
I9
)]]
Definition Classes
ArbitraryArities
def
arbLegalValue
[
E
,
A
,
T
]
(
encode: (
A
) ⇒
E
)
(
implicit
arbA:
Arbitrary
[
A
]
)
:
Arbitrary
[
LegalValue
[
E
,
A
,
T
]]
Definition Classes
ArbitraryInstances
implicit
def
arbLegalValueFromEnc
[
E
,
A
,
T
]
(
implicit
arg0:
Arbitrary
[
A
]
,
ea:
Encoder
[
E
,
A
,
T
]
)
:
Arbitrary
[
LegalValue
[
E
,
A
,
T
]]
Definition Classes
ArbitraryInstances
implicit
val
arbNoSuchGroupId
:
Arbitrary
[
NoSuchGroupId
]
implicit
val
arbPath
:
Arbitrary
[
Path
]
Definition Classes
ArbitraryInstances
implicit
val
arbRegexError
:
Arbitrary
[
RegexError
]
implicit
def
arbResult
[
F
,
S
]
(
implicit
arg0:
Arbitrary
[
F
]
,
arg1:
Arbitrary
[
S
]
)
:
Arbitrary
[
Result
[
F
,
S
]]
Definition Classes
ArbitraryInstances
implicit
val
arbStringDecodeError
:
Arbitrary
[
codecs.strings.DecodeError
]
Definition Classes
ArbitraryInstances
implicit
def
arbStringDecoder
[
A
]
(
implicit
arg0:
Arbitrary
[
A
]
)
:
Arbitrary
[
StringDecoder
[
A
]]
Definition Classes
ArbitraryInstances
implicit
def
arbStringEncoder
[
A
]
(
implicit
arg0:
Arbitrary
[
A
]
)
:
Arbitrary
[
StringEncoder
[
A
]]
Definition Classes
ArbitraryInstances
implicit
def
arbSuccess
[
S
]
(
implicit
arg0:
Arbitrary
[
S
]
)
:
Arbitrary
[
codecs.Result.Success
[
S
]]
Definition Classes
ArbitraryInstances
implicit
def
arbTry
[
A
]
(
implicit
aa:
Arbitrary
[
A
]
)
:
Arbitrary
[
Try
[
A
]]
Definition Classes
ArbitraryInstances
implicit
val
arbTypeError
:
Arbitrary
[
TypeError
]
implicit
val
arbURI
:
Arbitrary
[
URI
]
Definition Classes
ArbitraryInstances
implicit
val
arbURL
:
Arbitrary
[
URL
]
Definition Classes
ArbitraryInstances
implicit
val
arbUuid
:
Arbitrary
[
UUID
]
Definition Classes
ArbitraryInstances
implicit
def
arbValue
[
E
,
D
,
T
]
(
implicit
arbL:
Arbitrary
[
LegalValue
[
E
,
D
,
T
]]
,
arbI:
Arbitrary
[
IllegalValue
[
E
,
D
,
T
]]
)
:
Arbitrary
[
CodecValue
[
E
,
D
,
T
]]
Definition Classes
ArbitraryInstances
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
failure
[
F
]
(
implicit
arg0:
Arbitrary
[
F
]
)
:
Gen
[
codecs.Result.Failure
[
F
]]
Definition Classes
ArbitraryInstances
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
implicit
val
genException
:
Gen
[
Exception
]
Definition Classes
ArbitraryInstances
val
genFileNotFound
:
Gen
[
FileNotFoundException
]
Definition Classes
ArbitraryInstances
val
genIllegalArgument
:
Gen
[
IllegalArgumentException
]
Definition Classes
ArbitraryInstances
def
genIllegalTuple1
[
E1
,
D1
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
), (
D1
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple10
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple11
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple12
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple13
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple14
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple15
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple16
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple17
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple18
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple19
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple2
[
E1
,
E2
,
D1
,
D2
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
), (
D1
,
D2
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple20
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
,
arbD20:
Arbitrary
[
IllegalValue
[
E20
,
D20
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple21
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
,
arbD20:
Arbitrary
[
IllegalValue
[
E20
,
D20
,
T
]]
,
arbD21:
Arbitrary
[
IllegalValue
[
E21
,
D21
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple22
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
D22
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
,
arbD20:
Arbitrary
[
IllegalValue
[
E20
,
D20
,
T
]]
,
arbD21:
Arbitrary
[
IllegalValue
[
E21
,
D21
,
T
]]
,
arbD22:
Arbitrary
[
IllegalValue
[
E22
,
D22
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
D22
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple3
[
E1
,
E2
,
E3
,
D1
,
D2
,
D3
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
), (
D1
,
D2
,
D3
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple4
[
E1
,
E2
,
E3
,
E4
,
D1
,
D2
,
D3
,
D4
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
), (
D1
,
D2
,
D3
,
D4
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple5
[
E1
,
E2
,
E3
,
E4
,
E5
,
D1
,
D2
,
D3
,
D4
,
D5
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
), (
D1
,
D2
,
D3
,
D4
,
D5
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple6
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple7
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple8
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalTuple9
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
T
]
(
implicit
arbD1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
)
:
Gen
[
IllegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
),
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith1
[
E1
,
D1
,
EE
,
DD
,
T
]
(
encoded: (
E1
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith10
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith11
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith12
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith13
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith14
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith15
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith16
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith17
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith18
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith19
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith2
[
E1
,
E2
,
D1
,
D2
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith20
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
,
arb20:
Arbitrary
[
IllegalValue
[
E20
,
D20
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith21
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
,
arb20:
Arbitrary
[
IllegalValue
[
E20
,
D20
,
T
]]
,
arb21:
Arbitrary
[
IllegalValue
[
E21
,
D21
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith22
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
D22
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
IllegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
IllegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
IllegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
IllegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
IllegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
IllegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
IllegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
IllegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
IllegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
IllegalValue
[
E19
,
D19
,
T
]]
,
arb20:
Arbitrary
[
IllegalValue
[
E20
,
D20
,
T
]]
,
arb21:
Arbitrary
[
IllegalValue
[
E21
,
D21
,
T
]]
,
arb22:
Arbitrary
[
IllegalValue
[
E22
,
D22
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith3
[
E1
,
E2
,
E3
,
D1
,
D2
,
D3
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith4
[
E1
,
E2
,
E3
,
E4
,
D1
,
D2
,
D3
,
D4
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith5
[
E1
,
E2
,
E3
,
E4
,
E5
,
D1
,
D2
,
D3
,
D4
,
D5
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith6
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith7
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith8
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genIllegalWith9
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
EE
,
DD
,
T
]
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
IllegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
IllegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
IllegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
IllegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
IllegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
IllegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
IllegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
IllegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
IllegalValue
[
E9
,
D9
,
T
]]
)
:
Gen
[
IllegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
val
genIoException
:
Gen
[
IOException
]
Definition Classes
ArbitraryInstances
def
genLegalTuple1
[
E1
,
D1
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
), (
D1
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple10
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple11
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple12
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple13
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple14
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple15
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple16
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple17
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple18
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple19
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple2
[
E1
,
E2
,
D1
,
D2
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
), (
D1
,
D2
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple20
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
,
arbD20:
Arbitrary
[
LegalValue
[
E20
,
D20
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple21
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
,
arbD20:
Arbitrary
[
LegalValue
[
E20
,
D20
,
T
]]
,
arbD21:
Arbitrary
[
LegalValue
[
E21
,
D21
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple22
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
D22
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arbD10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arbD11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arbD12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arbD13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arbD14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arbD15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arbD16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arbD17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arbD18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arbD19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
,
arbD20:
Arbitrary
[
LegalValue
[
E20
,
D20
,
T
]]
,
arbD21:
Arbitrary
[
LegalValue
[
E21
,
D21
,
T
]]
,
arbD22:
Arbitrary
[
LegalValue
[
E22
,
D22
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
D22
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple3
[
E1
,
E2
,
E3
,
D1
,
D2
,
D3
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
), (
D1
,
D2
,
D3
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple4
[
E1
,
E2
,
E3
,
E4
,
D1
,
D2
,
D3
,
D4
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
), (
D1
,
D2
,
D3
,
D4
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple5
[
E1
,
E2
,
E3
,
E4
,
E5
,
D1
,
D2
,
D3
,
D4
,
D5
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
), (
D1
,
D2
,
D3
,
D4
,
D5
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple6
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple7
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple8
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalTuple9
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
T
]
(
implicit
arbD1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arbD2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arbD3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arbD4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arbD5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arbD6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arbD7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arbD8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arbD9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
)
:
Gen
[
LegalValue
[(
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
), (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
),
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith1
[
E1
,
D1
,
EE
,
DD
,
T
]
(
decoded: (
D1
) ⇒
DD
)
(
encoded: (
E1
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith10
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith11
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith12
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith13
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith14
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith15
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith16
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith17
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith18
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith19
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith2
[
E1
,
E2
,
D1
,
D2
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
) ⇒
DD
)
(
encoded: (
E1
,
E2
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith20
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
,
arb20:
Arbitrary
[
LegalValue
[
E20
,
D20
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith21
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
,
arb20:
Arbitrary
[
LegalValue
[
E20
,
D20
,
T
]]
,
arb21:
Arbitrary
[
LegalValue
[
E21
,
D21
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith22
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
D22
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
D10
,
D11
,
D12
,
D13
,
D14
,
D15
,
D16
,
D17
,
D18
,
D19
,
D20
,
D21
,
D22
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
E10
,
E11
,
E12
,
E13
,
E14
,
E15
,
E16
,
E17
,
E18
,
E19
,
E20
,
E21
,
E22
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
,
arb10:
Arbitrary
[
LegalValue
[
E10
,
D10
,
T
]]
,
arb11:
Arbitrary
[
LegalValue
[
E11
,
D11
,
T
]]
,
arb12:
Arbitrary
[
LegalValue
[
E12
,
D12
,
T
]]
,
arb13:
Arbitrary
[
LegalValue
[
E13
,
D13
,
T
]]
,
arb14:
Arbitrary
[
LegalValue
[
E14
,
D14
,
T
]]
,
arb15:
Arbitrary
[
LegalValue
[
E15
,
D15
,
T
]]
,
arb16:
Arbitrary
[
LegalValue
[
E16
,
D16
,
T
]]
,
arb17:
Arbitrary
[
LegalValue
[
E17
,
D17
,
T
]]
,
arb18:
Arbitrary
[
LegalValue
[
E18
,
D18
,
T
]]
,
arb19:
Arbitrary
[
LegalValue
[
E19
,
D19
,
T
]]
,
arb20:
Arbitrary
[
LegalValue
[
E20
,
D20
,
T
]]
,
arb21:
Arbitrary
[
LegalValue
[
E21
,
D21
,
T
]]
,
arb22:
Arbitrary
[
LegalValue
[
E22
,
D22
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith3
[
E1
,
E2
,
E3
,
D1
,
D2
,
D3
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith4
[
E1
,
E2
,
E3
,
E4
,
D1
,
D2
,
D3
,
D4
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith5
[
E1
,
E2
,
E3
,
E4
,
E5
,
D1
,
D2
,
D3
,
D4
,
D5
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith6
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith7
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith8
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
def
genLegalWith9
[
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
,
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
,
EE
,
DD
,
T
]
(
decoded: (
D1
,
D2
,
D3
,
D4
,
D5
,
D6
,
D7
,
D8
,
D9
) ⇒
DD
)
(
encoded: (
E1
,
E2
,
E3
,
E4
,
E5
,
E6
,
E7
,
E8
,
E9
) ⇒
EE
)
(
implicit
arb1:
Arbitrary
[
LegalValue
[
E1
,
D1
,
T
]]
,
arb2:
Arbitrary
[
LegalValue
[
E2
,
D2
,
T
]]
,
arb3:
Arbitrary
[
LegalValue
[
E3
,
D3
,
T
]]
,
arb4:
Arbitrary
[
LegalValue
[
E4
,
D4
,
T
]]
,
arb5:
Arbitrary
[
LegalValue
[
E5
,
D5
,
T
]]
,
arb6:
Arbitrary
[
LegalValue
[
E6
,
D6
,
T
]]
,
arb7:
Arbitrary
[
LegalValue
[
E7
,
D7
,
T
]]
,
arb8:
Arbitrary
[
LegalValue
[
E8
,
D8
,
T
]]
,
arb9:
Arbitrary
[
LegalValue
[
E9
,
D9
,
T
]]
)
:
Gen
[
LegalValue
[
EE
,
DD
,
T
]]
Definition Classes
ArbitraryArities
val
genPathElement
:
Gen
[
String
]
Definition Classes
ArbitraryInstances
val
genURL
:
Gen
[
URL
]
Definition Classes
ArbitraryInstances
val
genUnsupportedEncoding
:
Gen
[
UnsupportedEncodingException
]
Definition Classes
ArbitraryInstances
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
val
pattern1
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern10
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern11
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern12
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern13
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern14
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern15
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern16
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern17
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern18
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern19
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern2
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern20
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern21
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern22
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern3
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern4
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern5
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern6
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern7
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern8
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
val
pattern9
:
java.util.regex.Pattern
Definition Classes
ArbitraryArities
def
success
[
S
]
(
implicit
arg0:
Arbitrary
[
S
]
)
:
Gen
[
codecs.Result.Success
[
S
]]
Definition Classes
ArbitraryInstances
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toMatch
(
p:
java.util.regex.Pattern
,
is:
String
*
)
:
Match
Definition Classes
ArbitraryArities
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