scalaprops
Gen
Related Docs:
class Gen
|
package scalaprops
object
Gen
extends
GenInstances0
with
Serializable
Source
Gen.scala
Linear Supertypes
Serializable
,
Serializable
,
GenInstances0
,
GenInstances1
,
GenInstances
,
GenInstances2
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
Gen
Serializable
Serializable
GenInstances0
GenInstances1
GenInstances
GenInstances2
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
val
alphaChar
:
Gen
[
Char
]
val
alphaLowerChar
:
Gen
[
Char
]
val
alphaLowerString
:
Gen
[
String
]
val
alphaNumChar
:
Gen
[
Char
]
val
alphaNumString
:
Gen
[
String
]
val
alphaString
:
Gen
[
String
]
val
alphaUpperChar
:
Gen
[
Char
]
val
alphaUpperString
:
Gen
[
String
]
def
apply
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
A
]
def
apply2
[
A1
,
A2
,
B
]
(
g1:
Gen
[
A1
]
,
g2:
Gen
[
A2
]
)
(
f: (
A1
,
A2
) ⇒
B
)
:
Gen
[
B
]
implicit
def
arrayGen
[
A
]
(
implicit
arg0:
ClassTag
[
A
]
,
arg1:
Gen
[
A
]
)
:
Gen
[
Array
[
A
]]
def
arrayOfN
[
A
]
(
maxSize:
Int
,
g:
Gen
[
A
]
)
(
implicit
arg0:
ClassTag
[
A
]
)
:
Gen
[
Array
[
A
]]
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
val
asciiChar
:
Gen
[
Char
]
val
asciiString
:
Gen
[
String
]
def
choose
(
from:
Int
,
to:
Int
)
:
Gen
[
Int
]
def
chooseIntBitsToFloat
(
from:
Int
,
to:
Int
)
:
Gen
[
Float
]
def
chooseLong
(
from:
Long
,
to:
Long
)
:
Gen
[
Long
]
def
chooseLongBitsToDouble
(
from:
Long
,
to:
Long
)
:
Gen
[
Double
]
def
chooseR
(
from:
Int
,
to:
Int
,
r:
Rand
)
:
Gen
[
Int
]
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
delay
[
A
]
(
g: ⇒
Gen
[
A
]
)
:
Gen
[
A
]
implicit
def
eitherGen
[
A
,
B
]
(
implicit
A:
Gen
[
A
]
,
B:
Gen
[
B
]
)
:
Gen
[
Either
[
A
,
B
]]
def
elemFrequency
[
A
]
(
a: (
Int
,
A
)
,
as:
List
[(
Int
,
A
)]
)
:
Gen
[
A
]
def
elements
[
A
]
(
a:
A
,
as:
A
*
)
:
Gen
[
A
]
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
implicit
def
f0
[
Z
]
(
implicit
Z:
Gen
[
Z
]
)
:
Gen
[() ⇒
Z
]
implicit
def
f1
[
A1
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
) ⇒
Z
]
implicit final
def
f10
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
A8:
Cogen
[
A8
]
,
A9:
Cogen
[
A9
]
,
A10:
Cogen
[
A10
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f11
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
A8:
Cogen
[
A8
]
,
A9:
Cogen
[
A9
]
,
A10:
Cogen
[
A10
]
,
A11:
Cogen
[
A11
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f12
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
A8:
Cogen
[
A8
]
,
A9:
Cogen
[
A9
]
,
A10:
Cogen
[
A10
]
,
A11:
Cogen
[
A11
]
,
A12:
Cogen
[
A12
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f13
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
A8:
Cogen
[
A8
]
,
A9:
Cogen
[
A9
]
,
A10:
Cogen
[
A10
]
,
A11:
Cogen
[
A11
]
,
A12:
Cogen
[
A12
]
,
A13:
Cogen
[
A13
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f14
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
A8:
Cogen
[
A8
]
,
A9:
Cogen
[
A9
]
,
A10:
Cogen
[
A10
]
,
A11:
Cogen
[
A11
]
,
A12:
Cogen
[
A12
]
,
A13:
Cogen
[
A13
]
,
A14:
Cogen
[
A14
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f15
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
A8:
Cogen
[
A8
]
,
A9:
Cogen
[
A9
]
,
A10:
Cogen
[
A10
]
,
A11:
Cogen
[
A11
]
,
A12:
Cogen
[
A12
]
,
A13:
Cogen
[
A13
]
,
A14:
Cogen
[
A14
]
,
A15:
Cogen
[
A15
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f16
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
A8:
Cogen
[
A8
]
,
A9:
Cogen
[
A9
]
,
A10:
Cogen
[
A10
]
,
A11:
Cogen
[
A11
]
,
A12:
Cogen
[
A12
]
,
A13:
Cogen
[
A13
]
,
A14:
Cogen
[
A14
]
,
A15:
Cogen
[
A15
]
,
A16:
Cogen
[
A16
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f17
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
A8:
Cogen
[
A8
]
,
A9:
Cogen
[
A9
]
,
A10:
Cogen
[
A10
]
,
A11:
Cogen
[
A11
]
,
A12:
Cogen
[
A12
]
,
A13:
Cogen
[
A13
]
,
A14:
Cogen
[
A14
]
,
A15:
Cogen
[
A15
]
,
A16:
Cogen
[
A16
]
,
A17:
Cogen
[
A17
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f18
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
A8:
Cogen
[
A8
]
,
A9:
Cogen
[
A9
]
,
A10:
Cogen
[
A10
]
,
A11:
Cogen
[
A11
]
,
A12:
Cogen
[
A12
]
,
A13:
Cogen
[
A13
]
,
A14:
Cogen
[
A14
]
,
A15:
Cogen
[
A15
]
,
A16:
Cogen
[
A16
]
,
A17:
Cogen
[
A17
]
,
A18:
Cogen
[
A18
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f19
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
A8:
Cogen
[
A8
]
,
A9:
Cogen
[
A9
]
,
A10:
Cogen
[
A10
]
,
A11:
Cogen
[
A11
]
,
A12:
Cogen
[
A12
]
,
A13:
Cogen
[
A13
]
,
A14:
Cogen
[
A14
]
,
A15:
Cogen
[
A15
]
,
A16:
Cogen
[
A16
]
,
A17:
Cogen
[
A17
]
,
A18:
Cogen
[
A18
]
,
A19:
Cogen
[
A19
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f2
[
A1
,
A2
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f20
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
A8:
Cogen
[
A8
]
,
A9:
Cogen
[
A9
]
,
A10:
Cogen
[
A10
]
,
A11:
Cogen
[
A11
]
,
A12:
Cogen
[
A12
]
,
A13:
Cogen
[
A13
]
,
A14:
Cogen
[
A14
]
,
A15:
Cogen
[
A15
]
,
A16:
Cogen
[
A16
]
,
A17:
Cogen
[
A17
]
,
A18:
Cogen
[
A18
]
,
A19:
Cogen
[
A19
]
,
A20:
Cogen
[
A20
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f21
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
A8:
Cogen
[
A8
]
,
A9:
Cogen
[
A9
]
,
A10:
Cogen
[
A10
]
,
A11:
Cogen
[
A11
]
,
A12:
Cogen
[
A12
]
,
A13:
Cogen
[
A13
]
,
A14:
Cogen
[
A14
]
,
A15:
Cogen
[
A15
]
,
A16:
Cogen
[
A16
]
,
A17:
Cogen
[
A17
]
,
A18:
Cogen
[
A18
]
,
A19:
Cogen
[
A19
]
,
A20:
Cogen
[
A20
]
,
A21:
Cogen
[
A21
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f22
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
A8:
Cogen
[
A8
]
,
A9:
Cogen
[
A9
]
,
A10:
Cogen
[
A10
]
,
A11:
Cogen
[
A11
]
,
A12:
Cogen
[
A12
]
,
A13:
Cogen
[
A13
]
,
A14:
Cogen
[
A14
]
,
A15:
Cogen
[
A15
]
,
A16:
Cogen
[
A16
]
,
A17:
Cogen
[
A17
]
,
A18:
Cogen
[
A18
]
,
A19:
Cogen
[
A19
]
,
A20:
Cogen
[
A20
]
,
A21:
Cogen
[
A21
]
,
A22:
Cogen
[
A22
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f3
[
A1
,
A2
,
A3
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f4
[
A1
,
A2
,
A3
,
A4
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f5
[
A1
,
A2
,
A3
,
A4
,
A5
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f6
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f7
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f8
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
A8:
Cogen
[
A8
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
) ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f9
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
A2:
Cogen
[
A2
]
,
A3:
Cogen
[
A3
]
,
A4:
Cogen
[
A4
]
,
A5:
Cogen
[
A5
]
,
A6:
Cogen
[
A6
]
,
A7:
Cogen
[
A7
]
,
A8:
Cogen
[
A8
]
,
A9:
Cogen
[
A9
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
) ⇒
Z
]
Definition Classes
GenInstances
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
frequency
[
A
]
(
g: (
Int
,
Gen
[
A
])
,
gs: (
Int
,
Gen
[
A
])*
)
:
Gen
[
A
]
def
from
[
A1
,
Z
]
(
f: (
A1
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
)
:
Gen
[
Z
]
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
,
A18:
Gen
[
A18
]
,
A19:
Gen
[
A19
]
,
A20:
Gen
[
A20
]
,
A21:
Gen
[
A21
]
,
A22:
Gen
[
A22
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
,
A18:
Gen
[
A18
]
,
A19:
Gen
[
A19
]
,
A20:
Gen
[
A20
]
,
A21:
Gen
[
A21
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
,
A18:
Gen
[
A18
]
,
A19:
Gen
[
A19
]
,
A20:
Gen
[
A20
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
,
A18:
Gen
[
A18
]
,
A19:
Gen
[
A19
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
,
A18:
Gen
[
A18
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
A5
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
A4
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
A3
,
Z
]
(
f: (
A1
,
A2
,
A3
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from
[
A1
,
A2
,
Z
]
(
f: (
A1
,
A2
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
def
from1
[
A1
,
Z
]
(
f: (
A1
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
)
:
Gen
[
Z
]
final
def
from10
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from11
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from12
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from13
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from14
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from15
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from16
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from17
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from18
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
,
A18:
Gen
[
A18
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from19
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
,
A18:
Gen
[
A18
]
,
A19:
Gen
[
A19
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from2
[
A1
,
A2
,
Z
]
(
f: (
A1
,
A2
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from20
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
,
A18:
Gen
[
A18
]
,
A19:
Gen
[
A19
]
,
A20:
Gen
[
A20
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from21
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
,
A18:
Gen
[
A18
]
,
A19:
Gen
[
A19
]
,
A20:
Gen
[
A20
]
,
A21:
Gen
[
A21
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from22
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
,
A18:
Gen
[
A18
]
,
A19:
Gen
[
A19
]
,
A20:
Gen
[
A20
]
,
A21:
Gen
[
A21
]
,
A22:
Gen
[
A22
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from3
[
A1
,
A2
,
A3
,
Z
]
(
f: (
A1
,
A2
,
A3
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from4
[
A1
,
A2
,
A3
,
A4
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from5
[
A1
,
A2
,
A3
,
A4
,
A5
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from6
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from7
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from8
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
final
def
from9
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
Z
]
(
f: (
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
) ⇒
Z
)
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
)
:
Gen
[
Z
]
Definition Classes
GenInstances
implicit
def
futureGen
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
Future
[
A
]]
def
gen
[
A
]
(
f: (
Int
,
Rand
) ⇒ (
Rand
,
A
)
)
:
Gen
[
A
]
implicit
val
genBigDecimalBoundaries
:
Gen
[
BigDecimal
]
implicit
val
genBigIntBoundaries
:
Gen
[
BigInt
]
implicit
val
genBigInteger
:
Gen
[
BigInteger
]
implicit
val
genBoolean
:
Gen
[
Boolean
]
val
genByteAll
:
Gen
[
Byte
]
implicit
val
genByteBoundaries
:
Gen
[
Byte
]
val
genByteSized
:
Gen
[
Byte
]
val
genCharAll
:
Gen
[
Char
]
val
genCharSized
:
Gen
[
Char
]
implicit
val
genDoubleBoundaries
:
Gen
[
Double
]
val
genFiniteDouble
:
Gen
[
Double
]
val
genFiniteFloat
:
Gen
[
Float
]
implicit
val
genFloatBoundaries
:
Gen
[
Float
]
val
genIntAll
:
Gen
[
Int
]
implicit
val
genIntBoundaries
:
Gen
[
Int
]
val
genIntSized
:
Gen
[
Int
]
implicit
val
genJavaBigDecimal
:
Gen
[
BigDecimal
]
val
genLargeBigDecimal
:
Gen
[
BigDecimal
]
val
genLargeBigInt
:
Gen
[
BigInt
]
val
genLongAll
:
Gen
[
Long
]
implicit
val
genLongBoundaries
:
Gen
[
Long
]
val
genShortAll
:
Gen
[
Short
]
implicit
val
genShortBoundaries
:
Gen
[
Short
]
val
genShortSized
:
Gen
[
Short
]
val
genSmallBigDecimal
:
Gen
[
BigDecimal
]
val
genSmallBigInt
:
Gen
[
BigInt
]
def
genString
(
g:
Gen
[
Char
]
,
min:
Int
=
0
)
:
Gen
[
String
]
implicit
val
genUnit
:
Gen
[
Unit
]
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
def
infinite
[
A
]
(
genSize:
Int
,
r:
Rand
,
g:
Gen
[
A
]
)
:
Iterator
[
A
]
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
implicit
val
javaBooleanGen
:
Gen
[
Boolean
]
implicit
val
javaByteGen
:
Gen
[
Byte
]
implicit
val
javaDoubleGen
:
Gen
[
Double
]
implicit
def
javaEnumGen
[
A <:
Enum
[
A
]
]
(
implicit
A:
ClassTag
[
A
]
)
:
Gen
[
A
]
Definition Classes
GenInstances1
implicit
val
javaFloatGen
:
Gen
[
Float
]
implicit
val
javaIntegerGen
:
Gen
[
Integer
]
implicit
val
javaLongGen
:
Gen
[
Long
]
implicit
val
javaShortGen
:
Gen
[
Short
]
def
lazyFrequency
[
A
]
(
g: (
Int
,
Lazy
[
Gen
[
A
]])
,
gs: (
Int
,
Lazy
[
Gen
[
A
]])*
)
:
Gen
[
A
]
def
lazyFrequency
[
A
]
(
g: (
Int
,
Lazy
[
Gen
[
A
]])
,
gs:
List
[(
Int
,
Lazy
[
Gen
[
A
]])]
)
:
Gen
[
A
]
implicit
def
list
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
List
[
A
]]
def
listOf
[
A
]
(
g:
Gen
[
A
]
,
min:
Int
=
0
)
:
Gen
[
List
[
A
]]
def
listOf1
[
A
]
(
g:
Gen
[
A
]
)
:
Gen
[
List
[
A
]]
def
listOfN
[
A
]
(
maxSize:
Int
,
g:
Gen
[
A
]
)
:
Gen
[
List
[
A
]]
implicit
def
mapGen
[
A
,
B
]
(
implicit
arg0:
Gen
[
A
]
,
arg1:
Gen
[
B
]
)
:
Gen
[
Map
[
A
,
B
]]
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
val
negativeByte
:
Gen
[
Byte
]
val
negativeDouble
:
Gen
[
Double
]
val
negativeFiniteDouble
:
Gen
[
Double
]
val
negativeFiniteFloat
:
Gen
[
Float
]
val
negativeFloat
:
Gen
[
Float
]
val
negativeInt
:
Gen
[
Int
]
val
negativeLong
:
Gen
[
Long
]
val
negativeShort
:
Gen
[
Short
]
def
nonEmptyString
(
g:
Gen
[
Char
]
)
:
Gen
[
String
]
alias for
genString(g, min = 1)
val
nonNegativeByte
:
Gen
[
Byte
]
val
nonNegativeDouble
:
Gen
[
Double
]
val
nonNegativeFiniteDouble
:
Gen
[
Double
]
val
nonNegativeFiniteFloat
:
Gen
[
Float
]
val
nonNegativeFloat
:
Gen
[
Float
]
val
nonNegativeInt
:
Gen
[
Int
]
val
nonNegativeLong
:
Gen
[
Long
]
val
nonNegativeShort
:
Gen
[
Short
]
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
val
numChar
:
Gen
[
Char
]
val
numString
:
Gen
[
String
]
def
oneOf
[
A
]
(
x:
Gen
[
A
]
,
xs:
Gen
[
A
]*
)
:
Gen
[
A
]
def
oneOfLazy
[
A
]
(
x:
Lazy
[
Gen
[
A
]]
,
xs:
Lazy
[
Gen
[
A
]]*
)
:
Gen
[
A
]
implicit
def
option
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
Option
[
A
]]
def
parameterised
[
A
]
(
f: (
Int
,
Rand
) ⇒
Gen
[
A
]
)
:
Gen
[
A
]
implicit
def
partialFunctionGen
[
A
,
B
]
(
implicit
arg0:
Cogen
[
A
]
,
arg1:
Gen
[
B
]
)
:
Gen
[
PartialFunction
[
A
,
B
]]
val
positiveByte
:
Gen
[
Byte
]
val
positiveDouble
:
Gen
[
Double
]
val
positiveFiniteDouble
:
Gen
[
Double
]
val
positiveFiniteFloat
:
Gen
[
Float
]
val
positiveFloat
:
Gen
[
Float
]
val
positiveInt
:
Gen
[
Int
]
val
positiveLong
:
Gen
[
Long
]
val
positiveShort
:
Gen
[
Short
]
def
sequenceNArray
[
A
]
(
n:
Int
,
g:
Gen
[
A
]
)
(
implicit
arg0:
ClassTag
[
A
]
)
:
Gen
[
Array
[
A
]]
def
sequenceNList
[
A
]
(
n:
Int
,
g:
Gen
[
A
]
)
:
Gen
[
List
[
A
]]
implicit
def
setGen
[
A
]
(
implicit
arg0:
Gen
[
A
]
)
:
Gen
[
Set
[
A
]]
def
sized
[
A
]
(
f: (
Int
) ⇒
Gen
[
A
]
)
:
Gen
[
A
]
def
someOf
[
A
]
(
as:
List
[
A
]
)
:
Gen
[
List
[
A
]]
implicit
def
streamGen
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
Stream
[
A
]]
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
implicit
def
tuple1
[
A1
]
(
implicit
A1:
Gen
[
A1
]
)
:
Gen
[(
A1
)]
implicit final
def
tuple10
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
)]
Definition Classes
GenInstances
implicit final
def
tuple11
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
)]
Definition Classes
GenInstances
implicit final
def
tuple12
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
)]
Definition Classes
GenInstances
implicit final
def
tuple13
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
)]
Definition Classes
GenInstances
implicit final
def
tuple14
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
)]
Definition Classes
GenInstances
implicit final
def
tuple15
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
)]
Definition Classes
GenInstances
implicit final
def
tuple16
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
)]
Definition Classes
GenInstances
implicit final
def
tuple17
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
)]
Definition Classes
GenInstances
implicit final
def
tuple18
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
,
A18:
Gen
[
A18
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
)]
Definition Classes
GenInstances
implicit final
def
tuple19
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
,
A18:
Gen
[
A18
]
,
A19:
Gen
[
A19
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
)]
Definition Classes
GenInstances
implicit final
def
tuple2
[
A1
,
A2
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
)
:
Gen
[(
A1
,
A2
)]
Definition Classes
GenInstances
implicit final
def
tuple20
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
,
A18:
Gen
[
A18
]
,
A19:
Gen
[
A19
]
,
A20:
Gen
[
A20
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
)]
Definition Classes
GenInstances
implicit final
def
tuple21
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
,
A18:
Gen
[
A18
]
,
A19:
Gen
[
A19
]
,
A20:
Gen
[
A20
]
,
A21:
Gen
[
A21
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
)]
Definition Classes
GenInstances
implicit final
def
tuple22
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
,
A10:
Gen
[
A10
]
,
A11:
Gen
[
A11
]
,
A12:
Gen
[
A12
]
,
A13:
Gen
[
A13
]
,
A14:
Gen
[
A14
]
,
A15:
Gen
[
A15
]
,
A16:
Gen
[
A16
]
,
A17:
Gen
[
A17
]
,
A18:
Gen
[
A18
]
,
A19:
Gen
[
A19
]
,
A20:
Gen
[
A20
]
,
A21:
Gen
[
A21
]
,
A22:
Gen
[
A22
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
,
A10
,
A11
,
A12
,
A13
,
A14
,
A15
,
A16
,
A17
,
A18
,
A19
,
A20
,
A21
,
A22
)]
Definition Classes
GenInstances
implicit final
def
tuple3
[
A1
,
A2
,
A3
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
)
:
Gen
[(
A1
,
A2
,
A3
)]
Definition Classes
GenInstances
implicit final
def
tuple4
[
A1
,
A2
,
A3
,
A4
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
)]
Definition Classes
GenInstances
implicit final
def
tuple5
[
A1
,
A2
,
A3
,
A4
,
A5
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
)]
Definition Classes
GenInstances
implicit final
def
tuple6
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
)]
Definition Classes
GenInstances
implicit final
def
tuple7
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
)]
Definition Classes
GenInstances
implicit final
def
tuple8
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
)]
Definition Classes
GenInstances
implicit final
def
tuple9
[
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
,
A5:
Gen
[
A5
]
,
A6:
Gen
[
A6
]
,
A7:
Gen
[
A7
]
,
A8:
Gen
[
A8
]
,
A9:
Gen
[
A9
]
)
:
Gen
[(
A1
,
A2
,
A3
,
A4
,
A5
,
A6
,
A7
,
A8
,
A9
)]
Definition Classes
GenInstances
def
value
[
A
]
(
a:
A
)
:
Gen
[
A
]
implicit
def
vector
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
Vector
[
A
]]
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
Serializable
Inherited from
Serializable
Inherited from
GenInstances0
Inherited from
GenInstances1
Inherited from
GenInstances
Inherited from
GenInstances2
Inherited from
AnyRef
Inherited from
Any
Ungrouped