zio-test/zio.test/Spec

Spec

object Spec
Companion:
class
trait Product
trait Mirror
class Object
trait Matchable
class Any
Spec.type

Type members

Classlikes

final case class ExecCase[+Spec](exec: ExecutionStrategy, spec: Spec) extends SpecCase[Any, Nothing, Spec]
final case class LabeledCase[+Spec](label: String, spec: Spec) extends SpecCase[Any, Nothing, Spec]
final case class MultipleCase[+Spec](specs: Chunk[Spec]) extends SpecCase[Any, Nothing, Spec]
final class ProvideSomeLayer[R0, -R, +E](self: Spec[R, E]) extends AnyVal
final class ProvideSomeLayerShared[R0, -R, +E](self: Spec[R, E]) extends AnyVal
final case class ScopedCase[-R, +E, +Spec](scoped: ZIO[Scope & R, TestFailure[E], Spec]) extends SpecCase[R, E, Spec]
final class ScopedPartiallyApplied[R](dummy: Boolean) extends AnyVal
sealed abstract class SpecCase[-R, +E, +A]
final case class TestCase[-R, +E](test: ZIO[R, TestFailure[E], TestSuccess], annotations: TestAnnotationMap) extends SpecCase[R, E, Nothing]
final class UpdateService[-R, +E, M](self: Spec[R, E]) extends AnyVal
final class UpdateServiceAt[-R, +E, Service](self: Spec[R, E]) extends AnyVal

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

final def exec[R, E](exec: ExecutionStrategy, spec: Spec[R, E]): Spec[R, E]
final def labeled[R, E](label: String, spec: Spec[R, E]): Spec[R, E]
final def multiple[R, E](specs: Chunk[Spec[R, E]]): Spec[R, E]
final def test[R, E](test: ZIO[R, TestFailure[E], TestSuccess], annotations: TestAnnotationMap)(implicit trace: Trace): Spec[R, E]

Concrete fields

val empty: Spec[Any, Nothing]