Returns a new assertion that succeeds only if both assertions succeed.
A symbolic alias for label
.
Labels this assertion with the specified string.
Returns the negation of this assertion.
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
AssertionM[A]
is capable of producing assertion results on anA
. As a proposition, assertions compose using logical conjunction and disjunction, and can be negated.