Returns a new assertion that succeeds only if both assertions succeed.
Evaluates the assertion with the specified value.
Evaluates the assertion with the specified value.
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.
An
Assertion[A]
is capable of producing assertion results on anA
. As a proposition, assertions compose using logical conjuction and disjunction, and can be negated.