ZLawful

trait ZLawful[-Caps[_], -R]

ZLawful[Caps, R] describes a capability that is expected to satisfy a set of laws. Lawful instances can be combined using + to describe a set of capabilities and all of the laws that those capabilities are expected to satisfy.

trait Equal[-A] {
 def equal(a1: A, a2: A): Boolean
}

object Equal extends Lawful[Equal] {
 val laws = ???
}
class Object
trait Matchable
class Any
ZLawful[Caps, R]

Value members

Abstract methods

def laws: ZLaws[Caps, R]

Concrete methods

def +[Caps1 <: (Caps), R1 <: R](that: ZLawful[Caps1, R1]): ZLawful[Caps1, R1]