package discipline
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- class AllProperties extends Properties
-
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.
- trait Predicate [A] extends (A) ⇒ Boolean