kantan
.
regex
.
laws
.
discipline
arbitrary
object
arbitrary
extends
ArbitraryInstances
Linear Supertypes
ArbitraryInstances
,
ArbitraryArities
,
codecs.laws.discipline.ArbitraryInstances
,
codecs.laws.discipline.ArbitraryArities
,
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
arbitrary
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
val
arbAccessMode
:
Arbitrary
[
AccessMode
]
Definition Classes
ArbitraryInstances
implicit
lazy val
arbBigDecimal
:
Arbitrary
[
BigDecimal
]
Definition Classes
ArbitraryInstances
implicit
val
arbCompileError
:
Arbitrary
[
CompileError
]
Definition Classes
ArbitraryInstances
implicit
val
arbDate
:
Arbitrary
[
Date
]
Definition Classes
ArbitraryInstances
implicit
val
arbDecodeError
:
Arbitrary
[
DecodeError
]
Definition Classes
ArbitraryInstances
implicit
def
arbDecodeResult
[
A
]
(
implicit
arg0:
Arbitrary
[
A
]
)
:
Arbitrary
[
DecodeResult
[
A
]]
Definition Classes
ArbitraryInstances
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
]]
Definition Classes
ArbitraryInstances
implicit
def
arbIllegalGroupOpt
[
A
]
(
implicit
la:
Arbitrary
[
IllegalString
[
A
]]
)
:
Arbitrary
[
IllegalGroup
[
Option
[
A
]]]
Definition Classes
ArbitraryInstances
implicit
def
arbIllegalMatch
[
A
]
(
implicit
ia:
Arbitrary
[
IllegalString
[
A
]]
)
:
Arbitrary
[
IllegalMatch
[
A
]]
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
]]
Definition Classes
ArbitraryInstances
implicit
def
arbLegalGroupOpt
[
A
]
(
implicit
la:
Arbitrary
[
LegalString
[
A
]]
)
:
Arbitrary
[
LegalGroup
[
Option
[
A
]]]
Definition Classes
ArbitraryInstances
implicit
def
arbLegalMatch
[
A
]
(
implicit
la:
Arbitrary
[
LegalString
[
A
]]
)
:
Arbitrary
[
LegalMatch
[
A
]]
Definition Classes
ArbitraryInstances
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
]
Definition Classes
ArbitraryInstances
implicit
val
arbPath
:
Arbitrary
[
Path
]
Definition Classes
ArbitraryInstances
implicit
val
arbPattern
:
Arbitrary
[
java.util.regex.Pattern
]
Definition Classes
ArbitraryInstances
implicit
val
arbRegex
:
Arbitrary
[
scala.util.matching.Regex
]
Definition Classes
ArbitraryInstances
implicit
val
arbRegexError
:
Arbitrary
[
RegexError
]
Definition Classes
ArbitraryInstances
implicit
def
arbResult
[
F
,
S
]
(
implicit
arg0:
Arbitrary
[
F
]
,
arg1:
Arbitrary
[
S
]
)
:
Arbitrary
[
Result
[
F
,
S
]]
Definition Classes
ArbitraryInstances
implicit
val
arbStringDecodeError
:
Arbitrary
[
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
]
,
arg1:
Cogen
[
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
]
Definition Classes
ArbitraryInstances
implicit
val
arbURI
:
Arbitrary
[
URI
]
Definition Classes
ArbitraryInstances
implicit
val
arbURL
:
Arbitrary
[
URL
]
Definition Classes
ArbitraryInstances
implicit
val
arbUuid
:
Arbitrary
[
UUID
]
Definition Classes
ArbitraryInstances
implicit
def
arbValue
[
E
,
D
,
T
]
(
implicit
arbL:
Arbitrary
[
LegalValue
[
E
,
D
,
T
]]
,
arbI:
Arbitrary
[
IllegalValue
[
E
,
D
,
T
]]
)
:
Arbitrary
[
CodecValue
[
E
,
D
,
T
]]
Definition Classes
ArbitraryInstances
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
implicit
val
cogenAccessMode
:
Cogen
[
AccessMode
]
Definition Classes
ArbitraryInstances
implicit
val
cogenDate
:
Cogen
[
Date
]
Definition Classes
ArbitraryInstances
implicit
val
cogenFile
:
Cogen
[
File
]
Definition Classes
ArbitraryInstances
implicit
val
cogenMatch
:
Cogen
[
Match
]
Definition Classes
ArbitraryInstances
implicit
val
cogenPath
:
Cogen
[
Path
]
Definition Classes
ArbitraryInstances
implicit
val
cogenPattern
:
Cogen
[
java.util.regex.Pattern
]
Definition Classes
ArbitraryInstances
implicit
val
cogenRegex
:
Cogen
[
scala.util.matching.Regex
]
Definition Classes
ArbitraryInstances
implicit
val
cogenRegexDecodeError
:
Cogen
[
DecodeError
]
Definition Classes
ArbitraryInstances
implicit
def
cogenResult
[
A
,
B
]
(
implicit
arg0:
Cogen
[
A
]
,
arg1:
Cogen
[
B
]
)
:
Cogen
[
Result
[
A
,
B
]]
Definition Classes
ArbitraryInstances
implicit
val
cogenStringDecodeError
:
Cogen
[
codecs.strings.DecodeError
]
Definition Classes
ArbitraryInstances
implicit
val
cogenUUID
:
Cogen
[
UUID
]
Definition Classes
ArbitraryInstances
implicit
val
cogenUri
:
Cogen
[
URI
]
Definition Classes
ArbitraryInstances
implicit
val
cogenUrl
:
Cogen
[
URL
]
Definition Classes
ArbitraryInstances
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
genPattern
:
Gen
[
java.util.regex.Pattern
]
Definition Classes
ArbitraryInstances
val
genRegexOptions
:
Gen
[
Int
]
Definition Classes
ArbitraryInstances
val
genRegularExpression
:
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
(
str:
String
)
:
Match
Definition Classes
ArbitraryInstances
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
ArbitraryInstances
Inherited from
ArbitraryArities
Inherited from
codecs.laws.discipline.ArbitraryInstances
Inherited from
codecs.laws.discipline.ArbitraryArities
Inherited from
AnyRef
Inherited from
Any
Ungrouped