Returns a new assertion that succeeds only if both assertions succeed.
A symbolic alias for label
.
Evaluates the assertion with the specified value.
Evaluates the assertion with the specified value.
Labels this assertion with the specified string.
Returns the negation of this assertion.
Tests the assertion to see if it would succeed on the given element.
Provides a meaningful string rendering of the assertion.
Provides a meaningful string rendering of the assertion.
Constructs a new assertion with given expected value and diffing strategy
Returns a new assertion that succeeds if either assertion succeeds.
An
Assertion[A]
is capable of producing assertion results on anA
. As a proposition, assertions compose using logical conjunction and disjunction, and can be negated.