scalaprops
Gen
object
Gen
extends
GenInstances0
with
Serializable
Source
Gen.scala
Linear Supertypes
Serializable
,
Serializable
,
GenInstances0
,
GenInstances
,
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
Gen
Serializable
Serializable
GenInstances0
GenInstances
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
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
]
implicit
def
arrayGen
[
A
]
(
implicit
arg0:
ClassTag
[
A
]
,
arg1:
Gen
[
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
chooseR
(
from:
Int
,
to:
Int
,
r:
Rand
)
:
Gen
[
Int
]
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
implicit
def
codensityGen
[
F
[
_
]
,
A
]
(
implicit
arg0:
Monad
[
F
]
,
F:
Gen
[
F
[
A
]]
,
A:
Gen
[
A
]
)
:
Gen
[
Codensity
[
F
,
A
]]
implicit
def
cokleisli
[
F
[
_
]
,
A
,
B
]
(
implicit
F:
Gen
[(
F
[
A
]) ⇒
B
]
)
:
Gen
[
Cokleisli
[
F
,
A
,
B
]]
implicit
def
constGen
[
A
,
B
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
Const
[
A
,
B
]]
implicit
def
contravariantCoyonedaGen
[
F
[
_
]
,
A
]
(
implicit
F:
Gen
[
F
[
A
]]
)
:
Gen
[
ContravariantCoyoneda
[
F
,
A
]]
implicit
def
coproductGen
[
F
[
_
]
,
G
[
_
]
,
A
]
(
implicit
F:
Gen
[
\/
[
F
[
A
],
G
[
A
]]]
)
:
Gen
[
Coproduct
[
F
,
G
,
A
]]
implicit
def
coyonedaGen
[
F
[
_
]
,
A
]
(
implicit
F:
Gen
[
F
[
A
]]
)
:
Gen
[
Coyoneda
[
F
,
A
]]
implicit
def
dequeueGen
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
Dequeue
[
A
]]
implicit
def
dievGen
[
A
]
(
implicit
arg0:
Gen
[
A
]
,
arg1:
Enum
[
A
]
)
:
Gen
[
Diev
[
A
]]
implicit
def
disjunction
[
A
,
B
]
(
implicit
A:
Gen
[
A
]
,
B:
Gen
[
B
]
)
:
Gen
[
\/
[
A
,
B
]]
implicit
def
dlistGen
[
A
]
(
implicit
arg0:
Gen
[
A
]
)
:
Gen
[
DList
[
A
]]
implicit
def
either3Gen
[
A1
,
A2
,
A3
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
)
:
Gen
[
Either3
[
A1
,
A2
,
A3
]]
implicit
def
eitherGen
[
A
,
B
]
(
implicit
A:
Gen
[
A
]
,
B:
Gen
[
B
]
)
:
Gen
[
Either
[
A
,
B
]]
implicit
def
eitherTGen
[
F
[
_
]
,
A
,
B
]
(
implicit
F:
Gen
[
F
[
\/
[
A
,
B
]]]
)
:
Gen
[
EitherT
[
F
,
A
,
B
]]
def
elemFrequency
[
A
]
(
as:
NonEmptyList
[(
Int
,
A
)]
)
:
Gen
[
A
]
def
elements
[
A
]
(
a:
A
,
as:
A
*
)
:
Gen
[
A
]
implicit
def
endoGen
[
A
]
(
implicit
arg0:
Gen
[
A
]
,
arg1:
Cogen
[
A
]
)
:
Gen
[
Endo
[
A
]]
implicit final
def
endomorphicGen
[
F
[
_
,
_
]
,
A
]
(
implicit
F:
Gen
[
F
[
A
,
A
]]
)
:
Gen
[
Endomorphic
[
F
,
A
]]
Definition Classes
GenInstances0
implicit
def
ephemeralStreamGen
[
A
]
(
implicit
arg0:
Gen
[
A
]
)
:
Gen
[
EphemeralStream
[
A
]]
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
implicit final
def
f0
[
Z
]
(
implicit
Z:
Gen
[
Z
]
)
:
Gen
[() ⇒
Z
]
Definition Classes
GenInstances
implicit final
def
f1
[
A1
,
Z
]
(
implicit
A1:
Cogen
[
A1
]
,
Z:
Gen
[
Z
]
)
:
Gen
[(
A1
) ⇒
Z
]
Definition Classes
GenInstances
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]
)
implicit
def
fingerGen
[
V
,
A
]
(
implicit
A:
Gen
[
A
]
,
R:
Reducer
[
A
,
V
]
)
:
Gen
[
Finger
[
V
,
A
]]
def
frequency
[
A
]
(
g: (
Int
,
Gen
[
A
])
,
gs: (
Int
,
Gen
[
A
])*
)
:
Gen
[
A
]
def
frequency
[
A
]
(
gs:
NonEmptyList
[(
Int
,
Gen
[
A
])]
)
:
Gen
[
A
]
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
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
) ⇒ (
A
,
Rand
)
)
:
Gen
[
A
]
implicit
val
genAlphaChar
:
Gen
[
@@
[
Char
,
Alpha
]]
implicit
val
genAlphaLowerChar
:
Gen
[
@@
[
Char
,
AlphaLower
]]
implicit
val
genAlphaLowerString
:
Gen
[
@@
[
String
,
AlphaLower
]]
implicit
val
genAlphaNumChar
:
Gen
[
@@
[
Char
,
AlphaNum
]]
implicit
val
genAlphaNumString
:
Gen
[
@@
[
String
,
AlphaNum
]]
implicit
val
genAlphaString
:
Gen
[
@@
[
String
,
Alpha
]]
implicit
val
genAlphaUpperChar
:
Gen
[
@@
[
Char
,
AlphaUpper
]]
implicit
val
genAlphaUpperString
:
Gen
[
@@
[
String
,
AlphaUpper
]]
implicit
val
genAsciiChar
:
Gen
[
@@
[
Char
,
Ascii
]]
implicit
val
genAsciiString
:
Gen
[
@@
[
String
,
Ascii
]]
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
]
val
genIntAll
:
Gen
[
Int
]
implicit
val
genIntBoundaries
:
Gen
[
Int
]
val
genIntSized
:
Gen
[
Int
]
val
genLongAll
:
Gen
[
Long
]
implicit
val
genLongBoundaries
:
Gen
[
Long
]
implicit
val
genNumChar
:
Gen
[
@@
[
Char
,
Num
]]
implicit
val
genNumString
:
Gen
[
@@
[
String
,
Num
]]
val
genShortAll
:
Gen
[
Short
]
implicit
val
genShortBoundaries
:
Gen
[
Short
]
val
genShortSized
:
Gen
[
Short
]
implicit
val
genUnit
:
Gen
[
Unit
]
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
implicit
def
heapGen
[
A
]
(
implicit
arg0:
Gen
[
A
]
,
arg1:
Order
[
A
]
)
:
Gen
[
Heap
[
A
]]
implicit
def
idTGen
[
F
[
_
]
,
A
]
(
implicit
F:
Gen
[
F
[
A
]]
)
:
Gen
[
IdT
[
F
,
A
]]
implicit
def
ilist
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
IList
[
A
]]
implicit
def
imapGen
[
A
,
B
]
(
implicit
arg0:
Order
[
A
]
,
arg1:
Gen
[
A
]
,
arg2:
Gen
[
B
]
)
:
Gen
[
==>>
[
A
,
B
]]
implicit
def
immutableArrayGen
[
A
]
(
implicit
arg0:
Gen
[
A
]
,
arg1:
ClassTag
[
A
]
)
:
Gen
[
ImmutableArray
[
A
]]
implicit
def
indSeqGen
[
A
]
(
implicit
arg0:
Gen
[
A
]
)
:
Gen
[
IndSeq
[
A
]]
implicit
def
indexedContsTGen
[
W
[
_
]
,
M
[
_
]
,
R
,
O
,
A
]
(
implicit
F:
Gen
[(
W
[(
A
) ⇒
M
[
O
]]) ⇒
M
[
R
]]
)
:
Gen
[
IndexedContsT
[
W
,
M
,
R
,
O
,
A
]]
implicit
def
indexedReaderWriterStateTGen
[
F
[
_
]
,
R
,
W
,
S1
,
S2
,
A
]
(
implicit
F:
Gen
[(
R
,
S1
) ⇒
F
[(
W
,
A
,
S2
)]]
)
:
Gen
[
IndexedReaderWriterStateT
[
F
,
R
,
W
,
S1
,
S2
,
A
]]
implicit
def
indexedStateTGen
[
F
[
_
]
,
S1
,
S2
,
A
]
(
implicit
F:
Gen
[(
S1
) ⇒
F
[(
S2
,
A
)]]
)
:
Gen
[
IndexedStateT
[
F
,
S1
,
S2
,
A
]]
implicit
def
indexedStoreTGen
[
F
[
_
]
,
I
,
A
,
B
]
(
implicit
arg0:
Gen
[
I
]
,
F:
Gen
[
F
[(
A
) ⇒
B
]]
)
:
Gen
[
IndexedStoreT
[
F
,
I
,
A
,
B
]]
implicit
val
instance
:
Monad
[
Gen
]
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
implicit
def
isetGen
[
A
]
(
implicit
arg0:
Order
[
A
]
,
arg1:
Gen
[
A
]
)
:
Gen
[
ISet
[
A
]]
implicit
val
javaBooleanGen
:
Gen
[
Boolean
]
implicit
val
javaByteGen
:
Gen
[
Byte
]
implicit
val
javaIntegerGen
:
Gen
[
Integer
]
implicit
val
javaLongGen
:
Gen
[
Long
]
implicit
val
javaShortGen
:
Gen
[
Short
]
implicit
def
kleisli
[
F
[
_
]
,
A
,
B
]
(
implicit
F:
Gen
[(
A
) ⇒
F
[
B
]]
)
:
Gen
[
Kleisli
[
F
,
A
,
B
]]
implicit
def
kleisliLikeEndoGen
[
G
[
_
[
_
]
,
_
,
_
]
,
F
[
_
]
,
A
]
(
implicit
F:
Gen
[
G
[
F
,
A
,
A
]]
)
:
Gen
[
Endomorphic
[[a, b]
G
[
F
,
a
,
b
],
A
]]
implicit
def
lazyEitherGen
[
A1
,
A2
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
)
:
Gen
[
LazyEither
[
A1
,
A2
]]
implicit
def
lazyEitherTGen
[
F
[
_
]
,
A
,
B
]
(
implicit
F:
Gen
[
F
[
LazyEither
[
A
,
B
]]]
)
:
Gen
[
LazyEitherT
[
F
,
A
,
B
]]
implicit
def
lazyOptionGen
[
A
]
(
implicit
arg0:
Gen
[
A
]
)
:
Gen
[
LazyOption
[
A
]]
implicit
def
lazyOptionTGen
[
F
[
_
]
,
A
]
(
implicit
F:
Gen
[
F
[
LazyOption
[
A
]]]
)
:
Gen
[
LazyOptionT
[
F
,
A
]]
implicit
def
lazyTuple2
[
A1
,
A2
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
)
:
Gen
[
LazyTuple2
[
A1
,
A2
]]
implicit
def
lazyTuple3
[
A1
,
A2
,
A3
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
)
:
Gen
[
LazyTuple3
[
A1
,
A2
,
A3
]]
implicit
def
lazyTuple4
[
A1
,
A2
,
A3
,
A4
]
(
implicit
A1:
Gen
[
A1
]
,
A2:
Gen
[
A2
]
,
A3:
Gen
[
A3
]
,
A4:
Gen
[
A4
]
)
:
Gen
[
LazyTuple4
[
A1
,
A2
,
A3
,
A4
]]
implicit
def
list
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
List
[
A
]]
def
listOf
[
A
]
(
g:
Gen
[
A
]
,
x:
Int
=
0
)
:
Gen
[
IList
[
A
]]
def
listOf1
[
A
]
(
g:
Gen
[
A
]
)
:
Gen
[
IList
[
A
]]
implicit
def
listTGen
[
F
[
_
]
,
A
]
(
implicit
F:
Gen
[
F
[
List
[
A
]]]
)
:
Gen
[
ListT
[
F
,
A
]]
implicit
def
mapGen
[
A
,
B
]
(
implicit
arg0:
Gen
[
A
]
,
arg1:
Gen
[
B
]
)
:
Gen
[
Map
[
A
,
B
]]
implicit
def
maybe
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
Maybe
[
A
]]
implicit
def
maybeTGen
[
F
[
_
]
,
A
]
(
implicit
F:
Gen
[
F
[
Maybe
[
A
]]]
)
:
Gen
[
MaybeT
[
F
,
A
]]
implicit
def
monoidCoproduct
[
A
,
B
]
(
implicit
arg0:
Gen
[
A
]
,
arg1:
Gen
[
B
]
)
:
Gen
[
:+:
[
A
,
B
]]
implicit
def
nameGen
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
Name
[
A
]]
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
implicit
def
needGen
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
Need
[
A
]]
implicit
def
nonEmptyList
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
NonEmptyList
[
A
]]
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
implicit
def
nullArgument
[
A
,
B
]
(
implicit
F:
Gen
[(
Option
[
A
]) ⇒
B
]
)
:
Gen
[
NullArgument
[
A
,
B
]]
implicit
def
nullResult
[
A
,
B
]
(
implicit
F:
Gen
[(
A
) ⇒
Option
[
B
]]
)
:
Gen
[
NullResult
[
A
,
B
]]
val
numChar
:
Gen
[
Char
]
val
numString
:
Gen
[
String
]
implicit
def
oneAnd
[
F
[
_
]
,
A
]
(
implicit
F:
Gen
[
F
[
A
]]
,
A:
Gen
[
A
]
)
:
Gen
[
OneAnd
[
F
,
A
]]
def
oneOf
[
A
]
(
x:
Gen
[
A
]
,
xs:
Gen
[
A
]*
)
:
Gen
[
A
]
def
oneOfLazy
[
A
]
(
x:
Need
[
Gen
[
A
]]
,
xs:
Need
[
Gen
[
A
]]*
)
:
Gen
[
A
]
implicit
def
oneOr
[
F
[
_
]
,
A
]
(
implicit
F:
Gen
[
F
[
A
]]
,
A:
Gen
[
A
]
)
:
Gen
[
OneOr
[
F
,
A
]]
implicit
def
option
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
Option
[
A
]]
implicit
def
optionTGen
[
F
[
_
]
,
A
]
(
implicit
F:
Gen
[
F
[
Option
[
A
]]]
)
:
Gen
[
OptionT
[
F
,
A
]]
implicit
val
orEmptyGen
:
Gen
[
Empty
]
implicit
def
orGen
[
A
,
B <:
Or
]
(
implicit
A:
Gen
[
A
]
,
B:
Gen
[
B
]
)
:
Gen
[
:-:
[
A
,
B
]]
implicit
val
orderingGen
:
Gen
[
Ordering
]
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
]]
def
promote
[
A
,
B
]
(
f: (
A
) ⇒
Gen
[
B
]
)
:
Gen
[(
A
) ⇒
B
]
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
]]
implicit
def
shrinkGen
[
A
]
(
implicit
arg0:
Cogen
[
A
]
,
arg1:
Gen
[
A
]
)
:
Gen
[
Shrink
[
A
]]
def
sized
[
A
]
(
f: (
Int
) ⇒
Gen
[
A
]
)
:
Gen
[
A
]
def
someOf
[
A
]
(
as:
IList
[
A
]
)
:
Gen
[
IList
[
A
]]
implicit
def
streamGen
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
Stream
[
A
]]
implicit
def
streamTGen
[
F
[
_
]
,
A
]
(
implicit
arg0:
Applicative
[
F
]
,
F:
Gen
[
F
[
Stream
[
A
]]]
)
:
Gen
[
StreamT
[
F
,
A
]]
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
implicit
def
theseGen
[
A
,
B
]
(
implicit
A:
Gen
[
A
]
,
B:
Gen
[
B
]
)
:
Gen
[
\&/
[
A
,
B
]]
def
toString
()
:
String
Definition Classes
AnyRef → Any
implicit
def
treeGen
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
Tree
[
A
]]
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
implicit
def
unwriterTGen
[
F
[
_
]
,
A
,
B
]
(
implicit
F:
Gen
[
F
[(
A
,
B
)]]
)
:
Gen
[
UnwriterT
[
F
,
A
,
B
]]
implicit
def
validationGen
[
A
,
B
]
(
implicit
arg0:
Gen
[
A
]
,
arg1:
Gen
[
B
]
)
:
Gen
[
Validation
[
A
,
B
]]
def
value
[
A
]
(
a:
A
)
:
Gen
[
A
]
implicit
def
valueGen
[
A
]
(
implicit
A:
Gen
[
A
]
)
:
Gen
[
Value
[
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
(
...
)
implicit
def
writerTGen
[
F
[
_
]
,
A
,
B
]
(
implicit
F:
Gen
[
F
[(
A
,
B
)]]
)
:
Gen
[
WriterT
[
F
,
A
,
B
]]
implicit
def
zipperGen
[
A
]
(
implicit
arg0:
Gen
[
A
]
)
:
Gen
[
Zipper
[
A
]]
Inherited from
Serializable
Inherited from
Serializable
Inherited from
GenInstances0
Inherited from
GenInstances
Inherited from
AnyRef
Inherited from
Any
Ungrouped