org
.
scalacheck
Cogen
Related Docs:
trait Cogen
|
package scalacheck
object
Cogen
extends
CogenArities
Linear Supertypes
CogenArities
,
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
Cogen
CogenArities
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
def
apply
[
T
]
(
f: (
Seed
,
T
) ⇒
Seed
)
:
Cogen
[
T
]
def
apply
[
T
]
(
f: (
T
) ⇒
Long
)
:
Cogen
[
T
]
def
apply
[
T
]
(
implicit
ev:
Cogen
[
T
]
)
:
Cogen
[
T
]
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
implicit
def
cogenArray
[
A
]
(
implicit
A:
Cogen
[
A
]
)
:
Cogen
[
Array
[
A
]]
implicit
lazy val
cogenBoolean
:
Cogen
[
Boolean
]
implicit
lazy val
cogenByte
:
Cogen
[
Byte
]
implicit
lazy val
cogenChar
:
Cogen
[
Char
]
implicit
lazy val
cogenDouble
:
Cogen
[
Double
]
implicit
def
cogenEither
[
A
,
B
]
(
implicit
A:
Cogen
[
A
]
,
B:
Cogen
[
B
]
)
:
Cogen
[
Either
[
A
,
B
]]
implicit
lazy val
cogenFloat
:
Cogen
[
Float
]
implicit
lazy val
cogenInt
:
Cogen
[
Int
]
implicit
def
cogenList
[
A
]
(
implicit
arg0:
Cogen
[
A
]
)
:
Cogen
[
List
[
A
]]
implicit
lazy val
cogenLong
:
Cogen
[
Long
]
implicit
def
cogenMap
[
K
,
V
]
(
implicit
arg0:
Cogen
[
K
]
,
arg1:
Ordering
[
K
]
,
arg2:
Cogen
[
V
]
,
arg3:
Ordering
[
V
]
)
:
Cogen
[
Map
[
K
,
V
]]
implicit
def
cogenOption
[
A
]
(
implicit
A:
Cogen
[
A
]
)
:
Cogen
[
Option
[
A
]]
implicit
def
cogenSet
[
A
]
(
implicit
arg0:
Cogen
[
A
]
,
arg1:
Ordering
[
A
]
)
:
Cogen
[
Set
[
A
]]
implicit
lazy val
cogenShort
:
Cogen
[
Short
]
implicit
def
cogenString
:
Cogen
[
String
]
implicit
lazy val
cogenUnit
:
Cogen
[
Unit
]
implicit
def
cogenVector
[
A
]
(
implicit
arg0:
Cogen
[
A
]
)
:
Cogen
[
Vector
[
A
]]
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
perturb
[
T
]
(
seed:
Seed
,
t:
T
)
(
implicit
cg:
Cogen
[
T
]
)
:
Seed
def
perturbArray
[
A
]
(
seed:
Seed
,
as:
Array
[
A
]
)
(
implicit
A:
Cogen
[
A
]
)
:
Seed
def
perturbPair
[
A
,
B
]
(
seed:
Seed
,
ab: (
A
,
B
)
)
(
implicit
A:
Cogen
[
A
]
,
B:
Cogen
[
B
]
)
:
Seed
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
implicit final
def
tuple1
[
T1
]
(
implicit
c1:
Cogen
[
T1
]
)
:
Cogen
[(
T1
)]
Definition Classes
CogenArities
implicit final
def
tuple10
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
,
c8:
Cogen
[
T8
]
,
c9:
Cogen
[
T9
]
,
c10:
Cogen
[
T10
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
)]
Definition Classes
CogenArities
implicit final
def
tuple11
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
,
c8:
Cogen
[
T8
]
,
c9:
Cogen
[
T9
]
,
c10:
Cogen
[
T10
]
,
c11:
Cogen
[
T11
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
)]
Definition Classes
CogenArities
implicit final
def
tuple12
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
,
c8:
Cogen
[
T8
]
,
c9:
Cogen
[
T9
]
,
c10:
Cogen
[
T10
]
,
c11:
Cogen
[
T11
]
,
c12:
Cogen
[
T12
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
)]
Definition Classes
CogenArities
implicit final
def
tuple13
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
,
c8:
Cogen
[
T8
]
,
c9:
Cogen
[
T9
]
,
c10:
Cogen
[
T10
]
,
c11:
Cogen
[
T11
]
,
c12:
Cogen
[
T12
]
,
c13:
Cogen
[
T13
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
)]
Definition Classes
CogenArities
implicit final
def
tuple14
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
,
c8:
Cogen
[
T8
]
,
c9:
Cogen
[
T9
]
,
c10:
Cogen
[
T10
]
,
c11:
Cogen
[
T11
]
,
c12:
Cogen
[
T12
]
,
c13:
Cogen
[
T13
]
,
c14:
Cogen
[
T14
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
)]
Definition Classes
CogenArities
implicit final
def
tuple15
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
,
c8:
Cogen
[
T8
]
,
c9:
Cogen
[
T9
]
,
c10:
Cogen
[
T10
]
,
c11:
Cogen
[
T11
]
,
c12:
Cogen
[
T12
]
,
c13:
Cogen
[
T13
]
,
c14:
Cogen
[
T14
]
,
c15:
Cogen
[
T15
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
)]
Definition Classes
CogenArities
implicit final
def
tuple16
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
,
T16
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
,
c8:
Cogen
[
T8
]
,
c9:
Cogen
[
T9
]
,
c10:
Cogen
[
T10
]
,
c11:
Cogen
[
T11
]
,
c12:
Cogen
[
T12
]
,
c13:
Cogen
[
T13
]
,
c14:
Cogen
[
T14
]
,
c15:
Cogen
[
T15
]
,
c16:
Cogen
[
T16
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
,
T16
)]
Definition Classes
CogenArities
implicit final
def
tuple17
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
,
T16
,
T17
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
,
c8:
Cogen
[
T8
]
,
c9:
Cogen
[
T9
]
,
c10:
Cogen
[
T10
]
,
c11:
Cogen
[
T11
]
,
c12:
Cogen
[
T12
]
,
c13:
Cogen
[
T13
]
,
c14:
Cogen
[
T14
]
,
c15:
Cogen
[
T15
]
,
c16:
Cogen
[
T16
]
,
c17:
Cogen
[
T17
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
,
T16
,
T17
)]
Definition Classes
CogenArities
implicit final
def
tuple18
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
,
T16
,
T17
,
T18
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
,
c8:
Cogen
[
T8
]
,
c9:
Cogen
[
T9
]
,
c10:
Cogen
[
T10
]
,
c11:
Cogen
[
T11
]
,
c12:
Cogen
[
T12
]
,
c13:
Cogen
[
T13
]
,
c14:
Cogen
[
T14
]
,
c15:
Cogen
[
T15
]
,
c16:
Cogen
[
T16
]
,
c17:
Cogen
[
T17
]
,
c18:
Cogen
[
T18
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
,
T16
,
T17
,
T18
)]
Definition Classes
CogenArities
implicit final
def
tuple19
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
,
T16
,
T17
,
T18
,
T19
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
,
c8:
Cogen
[
T8
]
,
c9:
Cogen
[
T9
]
,
c10:
Cogen
[
T10
]
,
c11:
Cogen
[
T11
]
,
c12:
Cogen
[
T12
]
,
c13:
Cogen
[
T13
]
,
c14:
Cogen
[
T14
]
,
c15:
Cogen
[
T15
]
,
c16:
Cogen
[
T16
]
,
c17:
Cogen
[
T17
]
,
c18:
Cogen
[
T18
]
,
c19:
Cogen
[
T19
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
,
T16
,
T17
,
T18
,
T19
)]
Definition Classes
CogenArities
implicit final
def
tuple2
[
T1
,
T2
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
)
:
Cogen
[(
T1
,
T2
)]
Definition Classes
CogenArities
implicit final
def
tuple20
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
,
T16
,
T17
,
T18
,
T19
,
T20
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
,
c8:
Cogen
[
T8
]
,
c9:
Cogen
[
T9
]
,
c10:
Cogen
[
T10
]
,
c11:
Cogen
[
T11
]
,
c12:
Cogen
[
T12
]
,
c13:
Cogen
[
T13
]
,
c14:
Cogen
[
T14
]
,
c15:
Cogen
[
T15
]
,
c16:
Cogen
[
T16
]
,
c17:
Cogen
[
T17
]
,
c18:
Cogen
[
T18
]
,
c19:
Cogen
[
T19
]
,
c20:
Cogen
[
T20
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
,
T16
,
T17
,
T18
,
T19
,
T20
)]
Definition Classes
CogenArities
implicit final
def
tuple21
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
,
T16
,
T17
,
T18
,
T19
,
T20
,
T21
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
,
c8:
Cogen
[
T8
]
,
c9:
Cogen
[
T9
]
,
c10:
Cogen
[
T10
]
,
c11:
Cogen
[
T11
]
,
c12:
Cogen
[
T12
]
,
c13:
Cogen
[
T13
]
,
c14:
Cogen
[
T14
]
,
c15:
Cogen
[
T15
]
,
c16:
Cogen
[
T16
]
,
c17:
Cogen
[
T17
]
,
c18:
Cogen
[
T18
]
,
c19:
Cogen
[
T19
]
,
c20:
Cogen
[
T20
]
,
c21:
Cogen
[
T21
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
,
T16
,
T17
,
T18
,
T19
,
T20
,
T21
)]
Definition Classes
CogenArities
implicit final
def
tuple22
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
,
T16
,
T17
,
T18
,
T19
,
T20
,
T21
,
T22
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
,
c8:
Cogen
[
T8
]
,
c9:
Cogen
[
T9
]
,
c10:
Cogen
[
T10
]
,
c11:
Cogen
[
T11
]
,
c12:
Cogen
[
T12
]
,
c13:
Cogen
[
T13
]
,
c14:
Cogen
[
T14
]
,
c15:
Cogen
[
T15
]
,
c16:
Cogen
[
T16
]
,
c17:
Cogen
[
T17
]
,
c18:
Cogen
[
T18
]
,
c19:
Cogen
[
T19
]
,
c20:
Cogen
[
T20
]
,
c21:
Cogen
[
T21
]
,
c22:
Cogen
[
T22
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
,
T10
,
T11
,
T12
,
T13
,
T14
,
T15
,
T16
,
T17
,
T18
,
T19
,
T20
,
T21
,
T22
)]
Definition Classes
CogenArities
implicit final
def
tuple3
[
T1
,
T2
,
T3
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
)
:
Cogen
[(
T1
,
T2
,
T3
)]
Definition Classes
CogenArities
implicit final
def
tuple4
[
T1
,
T2
,
T3
,
T4
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
)]
Definition Classes
CogenArities
implicit final
def
tuple5
[
T1
,
T2
,
T3
,
T4
,
T5
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
)]
Definition Classes
CogenArities
implicit final
def
tuple6
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
)]
Definition Classes
CogenArities
implicit final
def
tuple7
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
)]
Definition Classes
CogenArities
implicit final
def
tuple8
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
,
c8:
Cogen
[
T8
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
)]
Definition Classes
CogenArities
implicit final
def
tuple9
[
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
]
(
implicit
c1:
Cogen
[
T1
]
,
c2:
Cogen
[
T2
]
,
c3:
Cogen
[
T3
]
,
c4:
Cogen
[
T4
]
,
c5:
Cogen
[
T5
]
,
c6:
Cogen
[
T6
]
,
c7:
Cogen
[
T7
]
,
c8:
Cogen
[
T8
]
,
c9:
Cogen
[
T9
]
)
:
Cogen
[(
T1
,
T2
,
T3
,
T4
,
T5
,
T6
,
T7
,
T8
,
T9
)]
Definition Classes
CogenArities
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
CogenArities
Inherited from
AnyRef
Inherited from
Any
Ungrouped