Returns a new assertion that succeeds only if both assertions succeed.
Returns a new assertion that succeeds only if both assertions succeed.
Returns a new assertion that succeeds only if both assertions succeed.
A symbolic alias for label
.
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.
Labels this assertion with the specified string.
Returns the negation of this assertion.
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.
Returns a new assertion that succeeds if either assertion succeeds.
Returns a new assertion that succeeds if either assertion succeeds.
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.