ZLawful
zio.test.laws.ZLawful
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 = ???
}
Attributes
- Graph
-
- Supertypes
- Self type
-
Members list
In this article