zio.test.TestConfig.scala Maven / Gradle / Ivy
/*
* Copyright 2019-2024 John A. De Goes and the ZIO Contributors
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package zio.test
import zio.{Tag, URIO, ZIO, ZLayer}
import zio.stacktracer.TracingImplicits.disableAutoTrace
import zio.Trace
import zio.ZIOAspect
/**
* The `TestConfig` service provides access to default configuration settings
* used by ZIO Test, including the number of times to repeat tests to ensure
* they are stable, the number of times to retry flaky tests, the sufficient
* number of samples to check from a random variable, and the maximum number of
* shrinkings to minimize large failures.
*/
trait TestConfig extends Serializable {
/**
* The number of times to repeat tests to ensure they are stable.
*/
def repeats: Int
/**
* The number of times to retry flaky tests.
*/
def retries: Int
/**
* The number of sufficient samples to check for a random variable.
*/
def samples: Int
/**
* The maximum number of shrinkings to minimize large failures
*/
def shrinks: Int
/**
* Aspect that should be applied to each check sample.
*
* NOTE: default implementation for backward compatibility. Remove in next
* major version.
*/
def checkAspect: TestAspect.CheckAspect = ZIOAspect.identity
}
object TestConfig {
val tag: Tag[TestConfig] = Tag[TestConfig]
@deprecated("use TestV2", "2.1.8")
final case class Test(repeats: Int, retries: Int, samples: Int, shrinks: Int) extends TestConfig
final case class TestV2(
repeats: Int,
retries: Int,
samples: Int,
shrinks: Int,
override val checkAspect: TestAspect.CheckAspect
) extends TestConfig
/**
* Constructs a new `TestConfig` with the default settings.
*/
val default: ZLayer[Any, Nothing, TestConfig] =
live(100, 100, 200, 1000, ZIOAspect.identity)(Trace.empty)
/**
* Constructs a new `TestConfig` service with the specified settings.
*/
def live(
repeats: Int,
retries: Int,
samples: Int,
shrinks: Int
)(implicit
trace: Trace
): ZLayer[Any, Nothing, TestConfig] =
ZLayer.scoped {
val testConfig = TestV2(repeats, retries, samples, shrinks, ZIOAspect.identity)
withTestConfigScoped(testConfig).as(testConfig)
}
/**
* Constructs a new `TestConfig` service with the specified settings.
*
* Note: manual overload instead of default argument for binary compatibility.
* Remove in next major version.
*/
def live(
repeats: Int,
retries: Int,
samples: Int,
shrinks: Int,
checkAspect: TestAspect.CheckAspect
)(implicit
trace: Trace
): ZLayer[Any, Nothing, TestConfig] =
ZLayer.scoped {
val testConfig = TestV2(repeats, retries, samples, shrinks, checkAspect)
withTestConfigScoped(testConfig).as(testConfig)
}
/**
* The number of times to repeat tests to ensure they are stable.
*/
def repeats(implicit trace: Trace): URIO[Any, Int] =
testConfigWith(testConfig => ZIO.succeed(testConfig.repeats))
/**
* The number of times to retry flaky tests.
*/
def retries(implicit trace: Trace): URIO[Any, Int] =
testConfigWith(testConfig => ZIO.succeed(testConfig.retries))
/**
* The number of sufficient samples to check for a random variable.
*/
def samples(implicit trace: Trace): URIO[Any, Int] =
testConfigWith(testConfig => ZIO.succeed(testConfig.samples))
/**
* The maximum number of shrinkings to minimize large failures
*/
def shrinks(implicit trace: Trace): URIO[Any, Int] =
testConfigWith(testConfig => ZIO.succeed(testConfig.shrinks))
/**
* Action that should be performed on each check sample.
*/
def checkAspect(implicit trace: Trace): URIO[Any, TestAspect.CheckAspect] =
testConfigWith(testConfig => ZIO.succeed(testConfig.checkAspect))
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy