zio-test
zio-test
API
zio.test
Annotations
Annotations
Test
Assertion
Assertion
AssertionVariants
CheckConstructor
CheckConstructor
CheckConstructorLowPriority1
CheckConstructorLowPriority2
CheckVariants
CheckN
CompileVariants
CompileVariants
CustomAssertion
CustomAssertion
MakePartiallyApplied
ErrorMessage
ErrorMessage
ExecutionEvent
RuntimeFailure
SectionEnd
SectionStart
Test
TestStarted
TopLevelFlush
ExecutionEvent
ExecutionEventConsolePrinter
ExecutionEventConsolePrinter
Live
ExecutionEventSink
ExecutionEventSink
FailureCase
FailureCase
FunctionVariants
Gen
Gen
GenFailureDetails
GenFailureDetails
GenZIO
Live
Live
Test
Macros
PrettyPrintVersionSpecific
ProvideSomePartiallyApplied
ProvideSomeSharedPartiallyApplied
ReporterEventRenderer
ReporterEventRenderer
ConsoleEventRenderer
IntelliJEventRenderer
Restorable
Result
Result
Die
Fail
Succeed
Sample
Sample
Sized
Sized
Test
SmartAssertMacros
MethodCall
PositionContext
PositionContext
Unseal
SmartAssertionOps
Spec
Spec
ExecCase
LabeledCase
MultipleCase
ProvideSomeLayer
ProvideSomeLayerShared
ScopedCase
ScopedPartiallyApplied
SpecCase
TestCase
UpdateService
UpdateServiceAt
SpecLayerMacros
SpecVersionSpecific
SuiteConstructor
SuiteConstructor
SuiteConstructorLowPriority1
SuiteConstructorLowPriority2
SuiteConstructorLowPriority3
SuiteConstructorLowPriority4
SuiteId
SuiteId
Summary
Summary
Failure
Status
Success
SummaryBuilder
TestAnnotation
TestAnnotation
TestAnnotationMap
TestAnnotationMap
TestAnnotationRenderer
TestAnnotationRenderer
CompositeRenderer
LeafRenderer
LeafRenderer
TestArgs
TestArrow
TestArrow
And
AndThen
Meta
Not
Or
Span
Suspend
TestArrowF
TestAspect
TestAspect
PerTest
PerTest
TestClock
TestClock
Data
Sleep
SuspendedWarningData
SuspendedWarningData
Done
Pending
Start
Test
WarningData
WarningData
Done
Pending
Start
TestClockPlatformSpecific
TestConfig
TestConfig
Test
TestConsole
TestConsole
Data
Test
TestConstructor
TestConstructor
TestConstructorLowPriority1
TestConstructorLowPriority2
TestDuration
TestDuration
TestEnvironment
TestExecutor
TestExecutor
TestFailure
TestFailure
Assertion
Runtime
TestLens
TestLensAnyOps
TestLensCauseOps
TestLensEitherOps
TestLensExitOps
TestLensOptionOps
TestLogger
TestLogger
TestOutput
TestOutput
TestOutputLive
TestOutputLive
TestPlatform
TestRandom
TestRandom
Buffer
Data
Test
TestReporters
TestReporters
TestResult
TestResult
TestResultZIOOps
TestRunner
UnsafeAPI
TestRunner
TestServices
TestSuccess
TestSuccess
Ignored
Succeeded
TestSystem
TestSystem
Data
Test
TestTimeoutException
TestTrace
TestTrace
Annotation
Rethrow
Annotation
TestVersion
TimeVariants
TimeoutVariants
ZIOSpec
ZIOSpecAbstract
ZIOSpecAbstractSpecificMacros
ZIOSpecAbstractSpecificMacros
ZIOSpecAbstractVersionSpecific
ZIOSpecDefault
ZIOSpecVersionSpecific
ZIOSpecVersionSpecificMacros
ZTest
ZTestEventHandler
ZTestEventHandler
ZTestLogger
ZTestLogger
LogEntry
zio.test.diff
Diff
Diff
DiffOps
DiffInstances
DiffResult
DiffResult
Added
Different
Identical
Nested
Removed
LowPriDiff
zio.test.internal
LowPriOptionalImplicit
OptionalImplicit
OptionalImplicit
SmartAssertions
zio.test.internal.myers
Action
Action
Delete
Insert
Keep
DiffResult
MyersDiff
zio.test.laws
GenF
GenF
GenF2
GenF2
LawfulF
LawfulF2
Laws
Laws2
LawsF
Contravariant
Covariant
Invariant
LawsF2
Divariant
ZLawful
ZLawful2
ZLawfulF
Contravariant
Covariant
Invariant
ZLawfulF2
Divariant
ZLaws
ZLaws
Law1
Law1ZIO
Law2
Law2ZIO
Law3
Law3ZIO
ZLaws2
ZLaws2
Law1Left
Law1Right
ZLawsF
Contravariant
Contravariant
ComposeLaw
Law1
Law1ZIO
Law2
Law2ZIO
Law3
Law3ZIO
Covariant
Covariant
ComposeLaw
FlattenLaw
Law1
Law1ZIO
Law2
Law2ZIO
Law3
Law3ZIO
Invariant
Invariant
Law1
Law1ZIO
Law2
Law2ZIO
Law3
Law3ZIO
ZLawsF2
Divariant
Divariant
ComposeLaw
Law1
zio.test.poly
GenFractionalPoly
GenFractionalPoly
GenIntegralPoly
GenIntegralPoly
GenNumericPoly
GenNumericPoly
GenOrderingPoly
GenOrderingPoly
GenPoly
GenPoly
zio.test.render
ConsoleRenderer
ConsoleRenderer
ExecutionResult
ExecutionResult
ResultType
ResultType
Other
Suite
Test
Status
Status
Failed
Ignored
Passed
Started
IntelliJRenderer
IntelliJRenderer
LogLine
Fragment
Fragment
Style
Ansi
Bold
Default
Detail
Dimmed
Error
Info
Primary
Underlined
Warning
Style
Line
Line
Message
Message
TestRenderer
zio.test.results
ResultSerializer
ResultSerializer
Json
TestResultPrinter
zio-test
/
zio.test.laws
/
ZLawfulF2
/
Divariant
Divariant
zio.test.laws.ZLawfulF2$.Divariant
trait
Divariant
[
-
CapsBoth
[
_
[
_
,
_
]],
-
CapsLeft
[
_
],
-
CapsRight
[
_
],
-
R
]
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Divariant
[
CapsBoth
,
CapsLeft
,
CapsRight
,
R
]
Clear all
Members list
Concise view
Value members
Abstract methods
def
laws
:
Divariant
[
CapsBoth
,
CapsLeft
,
CapsRight
,
R
]
Concrete methods
def
+
[
CapsBoth1
<:
([
x
[
_
,
_
]]
=>>
CapsBoth
[
x
]),
CapsLeft1
<:
(
CapsLeft
),
CapsRight1
<:
(
CapsRight
),
R1
<:
R
](
that
:
Divariant
[
CapsBoth1
,
CapsLeft1
,
CapsRight1
,
R1
]):
Divariant
[
CapsBoth1
,
CapsLeft1
,
CapsRight1
,
R1
]