gen

package gen

Visibility

Public
All

Type Members

sealed abstract class Arbitrary[T] extends AnyRef
sealed trait Gen[+T] extends AnyRef
sealed abstract class Shrink[T] extends AnyRef

Value Members

object Arbitrary

Defines implicit cgta.serland.gen.Arbitrary instances for common types.
Defines implicit cgta.serland.gen.Arbitrary instances for common types.
ScalaCheck uses implicit cgta.serland.gen.Arbitrary instances when creating properties out of functions with the Prop.property method, and when the Arbitrary.arbitrary method is used. For example, the following code requires that there exists an implicit Arbitrary[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 type Gen[T] and returns an instance of Arbitrary[T].
The Arbitrary module defines implicit cgta.serland.gen.Arbitrary instances for common types, for convenient use in your properties and generators.
object Gen
object Shrink
package util

Ungrouped