scalacheck
1.17.0
scalacheck
org.scalacheck
Arbitrary
Arbitrary
Cogen
Cogen
CogenLowPriority
Gen
RetryUntilException
WithFilter
Gen
Choose
IllegalBoundsError
chooseBigInt
chooseBigInteger
Choose
Parameters
Parameters
RetrievalError
Prop
Prop
Arg
Exception
ExtendedAny
ExtendedBoolean
False
Proof
Result
Status
True
Undecided
PropFromFun
Properties
PropertySpecifier
PropertyWithSeedSpecifier
ScalaCheckFramework
Shrink
Shrink
ShrinkFractional
ShrinkIntegral
ShrinkLowPriority
Test
Exhausted
Failed
Parameters
Parameters
Passed
PropException
Proved
Result
Status
TestCallback
org.scalacheck.commands
Commands
Command
NoOp
SuccessCommand
UnitCommand
org.scalacheck.rng
Seed
Seed
org.scalacheck.util
Buildable
Buildable
ConsoleReporter
ConsoleReporter
FreqMap
FreqMap
Pretty
Pretty
Params
SerializableCanBuildFroms
scalacheck
/
org.scalacheck.commands
/
Commands
/
NoOp
NoOp
case
object
NoOp
extends
Command
A command that doesn't do anything
Source:
Commands.scala
Graph
Supertypes
Self type
trait
Singleton
trait
Product
trait
Mirror
trait
Serializable
trait
Product
trait
Equals
trait
Command
class
Object
trait
Matchable
class
Any
NoOp
.type
Type members
Value members
Type members
Types
type
Result
=
Null
Source:
Commands.scala
Inherited types
type
MirroredElemLabels
=
EmptyTuple
Inherited from:
Singleton
Source:
Mirror.scala
type
MirroredElemTypes
=
EmptyTuple
Inherited from:
Singleton
Source:
Mirror.scala
type
MirroredLabel
<:
String
The name of the type
The name of the type
Inherited from:
Mirror
Source:
Mirror.scala
type
MirroredMonoType
=
Singleton
Inherited from:
Singleton
Source:
Mirror.scala
type
MirroredType
=
Singleton
Inherited from:
Singleton
Source:
Mirror.scala
Value members
Concrete methods
def
nextState
(
state:
State
):
State
Source:
Commands.scala
def
postCondition
(
state:
State
,
result:
Try
[
Null
]):
Prop
Source:
Commands.scala
def
preCondition
(
state:
State
):
Boolean
Source:
Commands.scala
def
run
(
sut:
Sut
):
Result
Source:
Commands.scala
Inherited methods
def
fromProduct
(
p:
Product
):
MirroredMonoType
Inherited from:
Singleton
Source:
Mirror.scala
def
productElementNames
:
Iterator
[
String
]
Inherited from:
Product
def
productIterator
:
Iterator
[
Any
]
Inherited from:
Product