package scalacheck
- Alphabetic
- Public
- All
Type Members
- sealed abstract class Arbitrary [T] extends AnyRef
- sealed trait Cogen [-T] extends AnyRef
- sealed abstract class Gen [+T] extends AnyRef
-
sealed abstract
class
Prop
extends AnyRef
- Annotations
- @JSExportDescendentClasses() @JSExportDescendentObjects()
-
sealed
class
PropFromFun
extends Prop
Helper class to satisfy ScalaJS compilation.
Helper class to satisfy ScalaJS compilation. Do not use this directly, use
Prop.apply
instead. -
class
Properties
extends AnyRef
Represents a collection of properties, with convenient methods for checking all properties at once.
Represents a collection of properties, with convenient methods for checking all properties at once. This class is itself a property, which holds if and only if all of the contained properties hold.
Properties are added in the following way:
object MyProps extends Properties("MyProps") { property("myProp1") = forAll { (n:Int, m:Int) => n+m == m+n } }
- Annotations
- @JSExportDescendentClasses() @JSExportDescendentObjects()
- final class ScalaCheckFramework extends Framework
- sealed abstract class Shrink [T] extends AnyRef
- trait ShrinkLowPriority extends AnyRef
Value Members
-
object
Arbitrary
extends ArbitraryLowPriority with ArbitraryArities
Defines implicit org.scalacheck.Arbitrary instances for common types.
Defines implicit org.scalacheck.Arbitrary instances for common types.
ScalaCheck uses implicit org.scalacheck.Arbitrary instances when creating properties out of functions with the
Prop.property
method, and when theArbitrary.arbitrary
method is used. For example, the following code requires that there exists an implicitArbitrary[MyClass]
instance:val myProp = Prop.forAll { myClass: MyClass => ... } val myGen = Arbitrary.arbitrary[MyClass]
The required implicit definition could look like this:
implicit val arbMyClass: Arbitrary[MyClass] = Arbitrary(...)
The factory method
Arbitrary(...)
takes a generator of typeGen[T]
and returns an instance ofArbitrary[T]
.The
Arbitrary
module defines implicit org.scalacheck.Arbitrary instances for common types, for convenient use in your properties and generators. - object Cogen extends CogenArities
- object Gen extends GenArities
- object Prop
- object Shrink extends ShrinkLowPriority
- object Test