An AssertionM[A]
is capable of producing assertion results on an A
. As a
proposition, assertions compose using logical conjunction and disjunction,
and can be negated.
- Companion:
- object
Value members
Concrete methods
Returns a new assertion that succeeds only if both assertions succeed.
Returns a new assertion that succeeds only if both assertions succeed.
Provides a meaningful string rendering of the assertion.
Provides a meaningful string rendering of the assertion.
- Definition Classes
- Any