harness-zio-test
API
Generated with
harness-zio-test/harness.zio.test/DefaultHarnessSpec/ForContract

ForContract

harness.zio.test.DefaultHarnessSpec$.ForContract
abstract class ForContract[R](name: String, contract: Contract[R])(_layer: ZLayer[HarnessEnv & Scope, Any, R])(using evidence$1: Tag[R]) extends DefaultHarnessSpec

Attributes

Graph
Supertypes
class HarnessSpec[Any]
class ZIOSpec[HarnessEnv & Any]
trait ZIOSpecVersionSpecific[HarnessEnv & Any]
class ZIOSpecAbstract
trait ZIOSpecAbstractVersionSpecific
trait ZIOApp
trait ZIOAppVersionSpecific
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited types

type Environment = R

Attributes

Inherited from:
ZIOSpec
final type TestSpec = Spec[Environment & TestEnvironment & Scope, Any]

Attributes

Inherited from:
HarnessSpec

Value members

Concrete methods

final override def spec: TestSpec

Attributes

Definition Classes
HarnessSpec -> ZIOSpecAbstract

Inherited methods

final def <>(that: ZIOSpecAbstract)(implicit trace: Trace): ZIOSpecAbstract

Attributes

Inherited from:
ZIOSpecAbstract
final def <>(that: ZIOApp)(implicit trace: Trace): ZIOApp

Composes this ZIOApp with another ZIOApp, to yield an application that executes the logic of both applications.

Composes this ZIOApp with another ZIOApp, to yield an application that executes the logic of both applications.

Attributes

Inherited from:
ZIOApp
override def aspects: Chunk[TestAspectAtLeastR[Environment & TestEnvironment]]

Attributes

Definition Classes
HarnessSpec -> ZIOSpecAbstract
Inherited from:
HarnessSpec
final override def bootstrap: Layer[Any, Environment]

A layer that manages the acquisition and release of services necessary for the application to run.

A layer that manages the acquisition and release of services necessary for the application to run.

Attributes

Definition Classes
HarnessSpec -> ZIOSpecAbstract -> ZIOApp
Inherited from:
HarnessSpec
final def exit(code: ExitCode)(implicit trace: Trace): UIO[Unit]

A helper function to exit the application with the specified exit code.

A helper function to exit the application with the specified exit code.

Attributes

Inherited from:
ZIOApp
final def getArgs(implicit trace: Trace): ZIO[ZIOAppArgs, Nothing, Chunk[String]]

A helper function to obtain access to the command-line arguments of the application. You may use this helper function inside your run function.

A helper function to obtain access to the command-line arguments of the application. You may use this helper function inside your run function.

Attributes

Inherited from:
ZIOApp
def harnessEnv: ULayer[HarnessEnv]

Attributes

Inherited from:
HarnessSpec
final def invoke(args: Chunk[String])(implicit trace: Trace): ZIO[Any, Any, Any]

Invokes the main app. Designed primarily for testing.

Invokes the main app. Designed primarily for testing.

Attributes

Inherited from:
ZIOApp
def logLevel: LogLevel

Attributes

Inherited from:
HarnessSpec
final def main(args0: Array[String]): Unit

The Scala main function, intended to be called only by the Scala runtime.

The Scala main function, intended to be called only by the Scala runtime.

Attributes

Inherited from:
ZIOAppPlatformSpecific (hidden)
final def run: ZIO[Environment & ZIOAppArgs & Scope, Any, Summary]

The main function of the application, which can access the command-line arguments through the args helper method of this class. If the provided effect fails for any reason, the cause will be logged, and the exit code of the application will be non-zero. Otherwise, the exit code of the application will be zero.

The main function of the application, which can access the command-line arguments through the args helper method of this class. If the provided effect fails for any reason, the cause will be logged, and the exit code of the application will be non-zero. Otherwise, the exit code of the application will be zero.

Attributes

Inherited from:
ZIOSpecAbstract
final protected def runSpec(implicit trace: Trace): ZIO[Environment & TestEnvironment & ZIOAppArgs & Scope, Throwable, Summary]

Attributes

Inherited from:
ZIOSpecAbstract
def runtime: Runtime[Any]

Attributes

Inherited from:
ZIOApp
def suite[In](label: String)(specs: In*)(implicit suiteConstructor: SuiteConstructor[In], sourceLocation: SourceLocation, trace: Trace): Spec[OutEnvironment, OutError]

Attributes

Inherited from:
ZIOSpec
transparent inline def suiteAll(inline name: String)(inline spec: Any): Any

Attributes

Inherited from:
ZIOSpecVersionSpecific
def test[In](label: String)(assertion: => In)(implicit testConstructor: TestConstructor[Nothing, In], sourceLocation: SourceLocation, trace: Trace): Out

Builds a spec with a single test.

Builds a spec with a single test.

Attributes

Inherited from:
ZIOSpec

Inherited fields

final val environmentTag: Tag[HarnessEnv & Any]

Attributes

Inherited from:
ZIOSpec
final override val layer: ULayer[Any]

Attributes

Inherited from:
DefaultHarnessSpec

Implicits

Inherited implicits

implicit inline def validateEnv[R1, R, E, A](inline spec: Spec[R, E]): Spec[R1, E]

This implicit conversion macro will ensure that the provided ZIO effect does not require more than the provided environment.

This implicit conversion macro will ensure that the provided ZIO effect does not require more than the provided environment.

If it is missing requirements, it will report a descriptive error message. Otherwise, the effect will be returned unmodified.

Attributes

Inherited from:
ZIOSpecAbstractVersionSpecific
implicit inline def validateEnv[R1, R, E, A](inline zio: ZIO[R, E, A]): ZIO[R1, E, A]

This implicit conversion macro will ensure that the provided ZIO effect does not require more than the provided environment.

This implicit conversion macro will ensure that the provided ZIO effect does not require more than the provided environment.

If it is missing requirements, it will report a descriptive error message. Otherwise, the effect will be returned unmodified.

Attributes

Inherited from:
ZIOAppVersionSpecific
Generated with