&&

Assert Assertion AssertionM BoolAlgebra BoolAlgebraM TestArrow Trace Expectation ExecutionResult

*

Fragment

+

ErrorMessage Spec ZLawful ZLawful2 Contravariant Covariant Invariant Divariant ZLaws ZLaws2 Contravariant Covariant Invariant Divariant Fragment Line Message

++

ErrorMessage TestAnnotationMap Expectation Line Message

+++

Message

+:

Fragment Line Message

:+

Line Message

~~<&>~~

~~Gen~~ ~~Sample~~

<*>

Gen Sample

<<<

TestAspectVersionSpecific

<==>

BoolAlgebra BoolAlgebraM Trace

<>

TestAnnotationRenderer ZIOSpecAbstract

==>

BoolAlgebra BoolAlgebraM Trace

>>>

TestArrow TestAspectVersionSpecific Trace

??

Assertion AssertionM

@@

SuiteBuilder TestBuilder ZSpecSyntax ZSpecSyntaxLowPriority TestAspectVersionSpecific

||

Assert Assertion AssertionM BoolAlgebra BoolAlgebraM TestArrow Trace Expectation ExecutionResult