discipline/org.typelevel.discipline

org.typelevel.discipline

package org.typelevel.discipline

Type members

Classlikes

class AllProperties(name: String, bases: Seq[(String, RuleSet)], collectParentProps: => SortedMap[String, Prop]) extends Properties
trait Laws

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
Companion:
object
object Predicate
Companion:
class