&&

Assert Assertion AssertionM BoolAlgebra BoolAlgebraM TestArrow Trace ExecutionResult

*

Fragment

+

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

++

ErrorMessage Gen TestAnnotationMap Line Message

+++

Message

+:

Fragment Line Message

:+

Line Message

~~<&>~~

~~Gen~~ ~~Sample~~

<*>

Gen Sample

<==>

BoolAlgebra BoolAlgebraM Trace

<>

TestAnnotationRenderer TestDuration ZIOSpecAbstract

==>

BoolAlgebra BoolAlgebraM Trace

>>>

TestArrow TestAspect Trace

??

Assertion AssertionM

@@

SuiteBuilder TestBuilder Spec TestAspect

||

Assert Assertion AssertionM BoolAlgebra BoolAlgebraM TestArrow Trace ExecutionResult