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.