&&

Assertion TestArrow TestResult TestResultZIOOps TestTrace 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

<==>

TestResult TestTrace

<>

TestAnnotationRenderer TestDuration ZIOSpecAbstract

==>

TestResult TestTrace

>>>

TestArrow TestAspect TestTrace

??

Assertion TestArrow TestResult

@@

Spec TestAspect

||

Assertion TestArrow TestResult TestResultZIOOps TestTrace ExecutionResult