&&

Assert Assertion AssertionM BoolAlgebra BoolAlgebraM RenderedResult TestArrow Trace Expectation

+

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

++

Line Message TestAnnotationMap Expectation

+/

ErrorMessage

+:

Fragment Line Message

:+

Line Message

<&>

Gen Sample

<*>

Gen Sample

<==>

BoolAlgebra BoolAlgebraM Trace

<>

TestAnnotationRenderer

==>

BoolAlgebra BoolAlgebraM Trace

>>>

TestArrow TestAspect Trace

??

Assertion AssertionM

@@

SuiteBuilder TestBuilder Spec

||

Assert Assertion AssertionM BoolAlgebra BoolAlgebraM RenderedResult TestArrow Trace Expectation