Packages

p

org.typelevel

discipline

package discipline

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

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

Value Members

  1. object Predicate

Ungrouped