discipline

Type Members

1. class AllProperties extends Properties

   

2. trait Laws extends AnyRef

   

   Root trait of the law cake.

   Root trait of the law cake.

   Defines a wrapper around scalacheck's Properties (RuleSet), and some default implementations.

   Extend this trait if you want to define a set of laws.

3. trait Predicate[A] extends (A) ⇒ Boolean