OxygenContractSpec

oxygen.test.OxygenContractSpec
abstract class OxygenContractSpec[_R](implName: String, contract: Contract[_R]) extends OxygenSpec[_R]

Attributes

Graph
Supertypes
class OxygenSpec[_R]
class ZIOSpecDefault
class ZIOSpec[TestEnvironment]
class ZIOSpecAbstract
trait ZIOApp
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited types

final type DefaultEnv = DefaultEnv

Attributes

Inherited from:
OxygenSpec
final type Env = DefaultEnv & R

Attributes

Inherited from:
OxygenSpec
type Environment = TestEnvironment

Attributes

Inherited from:
ZIOSpec
final type R = _R

Attributes

Inherited from:
OxygenSpec

Attributes

Inherited from:
OxygenSpec
final type TestSpec = Spec[Env, Any]

Attributes

Inherited from:
OxygenSpec
final type TestSpecAspect = TestAspectAtLeastR[Env]

Attributes

Inherited from:
OxygenSpec

Value members

Concrete methods

override def testSpec: TestSpec

Attributes

Definition Classes

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
final override def aspects: Chunk[TestAspectAtLeastR[TestEnvironment]]

Attributes

Definition Classes
OxygenSpec -> ZIOSpecAbstract
Inherited from:
OxygenSpec
def defaultLogLevel: LogLevel

Attributes

Inherited from:
OxygenSpec
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
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
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)

Attributes

Inherited from:
OxygenSpec
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
final override def spec: Spec[TestEnvironment & Scope, Any]

Attributes

Definition Classes
OxygenSpec -> ZIOSpecDefault -> ZIOSpecAbstract
Inherited from:
OxygenSpec
def suite[In](label: String)(specs: In*)(implicit suiteConstructor: SuiteConstructor[In], sourceLocation: SourceLocation, trace: Trace): Spec[suiteConstructor.OutEnvironment, suiteConstructor.OutError]

Attributes

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

Attributes

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

Builds a spec with a single test.

Builds a spec with a single test.

Attributes

Inherited from:
ZIOSpec

Attributes

Inherited from:
OxygenSpec
def withDefaultAspects: Boolean

Attributes

Inherited from:
OxygenSpec

Inherited and Abstract methods

Attributes

Inherited from:
OxygenSpec

Inherited fields

override val bootstrap: ZLayer[Any, Any, TestEnvironment]

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

Inherited from:
ZIOSpecDefault
final val environmentTag: Tag[TestEnvironment]

Attributes

Inherited from:
ZIOSpec

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 (hidden)
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 (hidden)