zio-test
zio-test
zio.test
AbstractRunnableSpec
Annotations
Service
Assert
Assert
Assertion
Assertion
AssertionData
AssertionData
AssertionM
AssertionM
Render
Render
Function
Infix
RenderParam
RenderParam
AssertionM
Value
AssertionMData
AssertionMData
AssertionResult
AssertionResult
FailureDetailsResult
TraceResult
AssertionValue
AssertionValue
AssertionVariants
BoolAlgebra
BoolAlgebra
And
Not
Or
Value
BoolAlgebraM
BoolAlgebraM
CheckVariants
CheckN
CheckNM
CompileVariants
CompileVariants
CustomAssertion
CustomAssertion
MakePartiallyApplied
DefaultMutableRunnableSpec
DefaultRunnableSpec
DefaultTestReporter
ErrorMessage
ErrorMessage
ExecutedSpec
ExecutedSpec
LabeledCase
MultipleCase
SpecCase
TestCase
FailureCase
FailureCase
FailureDetails
FailureRenderer
FailureMessage
Fragment
Line
Line
Message
Message
FunctionVariants
Gen
Gen
GenFailureDetails
GenFailureDetails
GenZIO
Macros
MutableRunnableSpec
SpecBuilder
SuiteBuilder
TestBuilder
PrettyPrintVersionSpecific
RenderedResult
CaseType
CaseType
Suite
Test
Status
Status
Failed
Ignored
Passed
RenderedResult
Result
Result
Die
Fail
Succeed
RunnableSpec
Sample
Sample
Sized
Service
SmartAssertMacros
SmartAssertMacros
MethodCall
PositionContext
PositionContext
Unseal
SmartAssertionOps
SourceLocation
SourceLocation
SourceLocationVariants
Spec
Spec
ExecCase
LabeledCase
ManagedCase
MultipleCase
ProvideSomeLayer
ProvideSomeLayerShared
SpecCase
TestCase
UpdateService
Summary
SummaryBuilder
TestAnnotation
TestAnnotation
TestAnnotationMap
TestAnnotationMap
TestAnnotationRenderer
TestAnnotationRenderer
CompositeRenderer
LeafRenderer
LeafRenderer
TestArgs
TestArgs
TestArrow
TestArrow
And
AndThen
Meta
Not
Or
Span
Suspend
TestArrowF
TestAspect
TestAspect
PerTest
PerTest
TestConfig
Service
TestExecutor
TestExecutor
TestFailure
TestFailure
Assertion
Runtime
TestLens
TestLensAnyOps
TestLensCauseOps
TestLensEitherOps
TestLensExitOps
TestLensOptionOps
TestLogger
Service
TestPlatform
TestReporter
TestResult
TestRunner
TestSuccess
TestSuccess
Ignored
Succeeded
TestTimeoutException
TestVersion
TimeVariants
TimeoutVariants
Trace
Trace
Annotation
Rethrow
Annotation
Fail
Halt
Succeed
ZTest
zio.test.diff
Diff
Diff
DiffOps
DiffInstances
DiffResult
DiffResult
Added
Different
Identical
Nested
Removed
LowPriDiff
zio.test.environment
Live
Service
Restorable
TestClock
Data
Service
Sleep
SuspendedWarningData
SuspendedWarningData
Done
Pending
Start
Test
WarningData
WarningData
Done
Pending
Start
TestConsole
Data
Service
Test
TestRandom
Buffer
Data
Service
Test
TestSystem
Data
Service
Test
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
Law1M
Law2
Law2M
Law3
Law3M
ZLaws2
ZLaws2
Law1Left
Law1Right
ZLawsF
Contravariant
Contravariant
ComposeLaw
Law1
Law1M
Law2
Law2M
Law3
Law3M
Covariant
Covariant
ComposeLaw
FlattenLaw
Law1
Law1M
Law2
Law2M
Law3
Law3M
Invariant
Invariant
Law1
Law1M
Law2
Law2M
Law3
Law3M
ZLawsF2
Divariant
Divariant
ComposeLaw
Law1
zio.test.mock
Capability
Poly
Unknown
Expectation
Expectation
Mock
Effect
Method
Poly
Effect
Error
ErrorOutput
Input
InputError
InputErrorOutput
InputOutput
Output
Method
Error
ErrorOutput
Input
InputError
InputErrorOutput
InputOutput
Output
Sink
Stream
Mock
MockClock
CurrentDateTime
CurrentTime
NanoTime
Sleep
MockConsole
GetStrLn
PutStr
PutStrErr
PutStrLn
PutStrLnErr
MockRandom
NextBoolean
NextBytes
NextDouble
NextDoubleBetween
NextFloat
NextFloatBetween
NextGaussian
NextInt
NextIntBetween
NextIntBounded
NextLong
NextLongBetween
NextLongBounded
NextPrintableChar
NextString
NextUUID
SetSeed
Shuffle
MockSystem
Env
EnvOrElse
EnvOrOption
Envs
LineSeparator
Properties
Property
PropertyOrElse
PropertyOrOption
Proxy
Result
Result
zio.test.mock.internal
InvalidCall
InvalidCall
InvalidArguments
InvalidCapability
InvalidPolyType
MockException
MockException
InvalidCallException
InvalidRangeException
UnexpectedCallException
UnsatisfiedExpectationsException
ProxyFactory
zio.test.poly
GenFractionalPoly
GenFractionalPoly
GenIntegralPoly
GenIntegralPoly
GenNumericPoly
GenNumericPoly
GenOrderingPoly
GenOrderingPoly
GenPoly
GenPoly
zio-test
/
zio.test
/
SmartAssertMacros
SmartAssertMacros
object
SmartAssertMacros
Companion:
class
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
SmartAssertMacros
.type
Value members
Value members
Concrete methods
def
smartAssert
(
exprs:
Expr
[
Seq
[
Boolean
]])(
using
ctx:
Quotes
):
Expr
[
Assert
]
def
smartAssertSingle
(
expr:
Expr
[
Boolean
])(
using
ctx:
Quotes
):
Expr
[
Assert
]