Spec

zio.test.Spec$
See theSpec companion class
object Spec

Attributes

Companion:
class
Graph
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Spec.type

Members list

Concise view

Type members

Classlikes

final case class ExecCase[+Spec](exec: ExecutionStrategy, spec: Spec) extends SpecCase[Any, Nothing, Spec]

Attributes

Graph
Supertypes
trait Product
trait Equals
class SpecCase[Any, Nothing, Spec]
class Object
trait Matchable
class Any
final case class LabeledCase[+Spec](label: String, spec: Spec) extends SpecCase[Any, Nothing, Spec]

Attributes

Graph
Supertypes
trait Product
trait Equals
class SpecCase[Any, Nothing, Spec]
class Object
trait Matchable
class Any
final case class MultipleCase[+Spec](specs: Chunk[Spec]) extends SpecCase[Any, Nothing, Spec]

Attributes

Graph
Supertypes
trait Product
trait Equals
class SpecCase[Any, Nothing, Spec]
class Object
trait Matchable
class Any
final class ProvideSomeLayer[R0, -R, +E](self: Spec[R, E]) extends AnyVal

Attributes

Graph
Supertypes
class AnyVal
trait Matchable
class Any
final class ProvideSomeLayerShared[R0, -R, +E](self: Spec[R, E]) extends AnyVal

Attributes

Graph
Supertypes
class AnyVal
trait Matchable
class Any
final case class ScopedCase[-R, +E, +Spec](scoped: ZIO[Scope & R, TestFailure[E], Spec]) extends SpecCase[R, E, Spec]

Attributes

Graph
Supertypes
trait Product
trait Equals
class SpecCase[R, E, Spec]
class Object
trait Matchable
class Any
final class ScopedPartiallyApplied[R](dummy: Boolean) extends AnyVal

Attributes

Graph
Supertypes
class AnyVal
trait Matchable
class Any
sealed abstract class SpecCase[-R, +E, +A]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ExecCase[Spec]
class LabeledCase[Spec]
class MultipleCase[Spec]
class ScopedCase[R, E, Spec]
class TestCase[R, E]
Self type
SpecCase[R, E, A]
final case class TestCase[-R, +E](test: ZIO[R, TestFailure[E], TestSuccess], annotations: TestAnnotationMap) extends SpecCase[R, E, Nothing]

Attributes

Graph
Supertypes
trait Product
trait Equals
class SpecCase[R, E, Nothing]
class Object
trait Matchable
class Any
final class UpdateService[-R, +E, M](self: Spec[R, E]) extends AnyVal

Attributes

Graph
Supertypes
class AnyVal
trait Matchable
class Any
final class UpdateServiceAt[-R, +E, Service](self: Spec[R, E]) extends AnyVal

Attributes

Graph
Supertypes
class AnyVal
trait Matchable
class Any

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror

The name of the type

The name of the type

Attributes

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]