package
test
Type Members
-
type
ExecutedSpec[+L, +E, +S] = Spec[L, Either[TestFailure[E], TestSuccess[S]]]
-
-
-
-
-
type
ZSpec[-R, +E, +L, +S] = Spec[L, ZTest[R, E, S]]
-
Value Members
-
final
def
assert[A](value: ⇒ A, assertion: Assertion[A]): TestResult
-
final
def
assertM[R, A](value: ZIO[R, Nothing, A], assertion: Assertion[A]): ZIO[R, Nothing, TestResult]
-
final
def
check[R, A, B, C, D](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C], rv4: Gen[R, D])(test: (A, B, C, D) ⇒ TestResult): ZIO[R, Nothing, TestResult]
-
final
def
check[R, A, B, C](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(test: (A, B, C) ⇒ TestResult): ZIO[R, Nothing, TestResult]
-
final
def
check[R, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(test: (A, B) ⇒ TestResult): ZIO[R, Nothing, TestResult]
-
-
final
def
checkAll[R, A, B, C, D](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C], rv4: Gen[R, D])(test: (A, B, C, D) ⇒ TestResult): ZIO[R, Nothing, TestResult]
-
final
def
checkAll[R, A, B, C](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(test: (A, B, C) ⇒ TestResult): ZIO[R, Nothing, TestResult]
-
final
def
checkAll[R, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(test: (A, B) ⇒ TestResult): ZIO[R, Nothing, TestResult]
-
final
def
checkAll[R, A](rv: Gen[R, A])(test: (A) ⇒ TestResult): ZIO[R, Nothing, TestResult]
-
final
def
checkAllM[R, A, B, C, D](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C], rv4: Gen[R, D])(test: (A, B, C, D) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]
-
final
def
checkAllM[R, A, B, C](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(test: (A, B, C) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]
-
final
def
checkAllM[R, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(test: (A, B) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]
-
-
final
def
checkM[R, A, B, C, D](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C], rv4: Gen[R, D])(test: (A, B, C, D) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]
-
final
def
checkM[R, A, B, C](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(test: (A, B, C) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]
-
final
def
checkM[R, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(test: (A, B) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]
-
-
final
def
checkSome[R, A, B, C, D](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C], rv4: Gen[R, D])(n: Int)(test: (A, B, C, D) ⇒ TestResult): ZIO[R, Nothing, TestResult]
-
final
def
checkSome[R, A, B, C](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(n: Int)(test: (A, B, C) ⇒ TestResult): ZIO[R, Nothing, TestResult]
-
final
def
checkSome[R, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(n: Int)(test: (A, B) ⇒ TestResult): ZIO[R, Nothing, TestResult]
-
final
def
checkSome[R, A](rv: Gen[R, A])(n: Int)(test: (A) ⇒ TestResult): ZIO[R, Nothing, TestResult]
-
final
def
checkSomeM[R, A, B, C, D](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C], rv4: Gen[R, D])(n: Int)(test: (A, B, C, D) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]
-
final
def
checkSomeM[R, A, B, C](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(n: Int)(test: (A, B, C) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]
-
final
def
checkSomeM[R, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(n: Int)(test: (A, B) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]
-
-
-
final
def
fail[E](cause: Cause[E]): ZTest[Any, E, Nothing]
-
-
final
def
platformSpecific[R, E, A, S](js: ⇒ A, jvm: ⇒ A)(f: (A) ⇒ ZTest[R, E, S]): ZTest[R, E, S]
-
package
sbt
-
final
def
suite[L, T](label: L)(specs: Spec[L, T]*): Spec[L, T]
-
-