&&

Arrow Assert Assertion AssertionM BoolAlgebra BoolAlgebraM Trace Expectation ExecutionResult

*

Fragment

+

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

++

TestAnnotationMap Expectation Line Message

+/

ErrorMessage

+:

Fragment Line Message

:+

Line Message

<&>

Gen Sample

<*>

Gen Sample

<==>

BoolAlgebra BoolAlgebraM Trace

<>

TestAnnotationRenderer

==>

BoolAlgebra BoolAlgebraM Trace

>>>

Arrow TestAspect Trace

??

Assertion AssertionM

@@

SuiteBuilder TestBuilder Spec

||

Arrow Assert Assertion AssertionM BoolAlgebra BoolAlgebraM Trace Expectation ExecutionResult