verify/verify

verify

package verify

Type members

Classlikes

@EnableReflectiveInstantiation
trait AbstractTestSuite
trait Assertion extends AssertEquals[Unit]
trait BasicTestSuite extends AbstractTestSuite with Assertion
final class CanceledException(val reason: Option[String], val location: Option[SourceLocation]) extends VerifyException
object DiffUtil
final class IgnoredException(val reason: Option[String], val location: Option[SourceLocation]) extends VerifyException
final class InterceptException(val message: String, val location: SourceLocation) extends VerifyException
case class Properties[I](setup: () => I, tearDown: I => Void, setupSuite: () => Unit, tearDownSuite: () => Unit, properties: Seq[TestSpec[I, Unit]])(implicit ec: ExecutionContext) extends Iterable[TestSpec[Unit, Unit]]
sealed trait Result[+T]
Companion:
object
object Result
Companion:
class
case class TestSpec[I, +O](name: String, f: I => Future[Result[O]]) extends I => Future[Result[O]]
Companion:
object
object TestSpec
Companion:
class
trait TestSuite[Env] extends AbstractTestSuite with Assertion
final class UnexpectedException(val reason: Throwable, val location: SourceLocation) extends VerifyException
abstract class VerifyException(message: String, cause: Throwable) extends RuntimeException
Companion:
object
object VerifyException
Companion:
class
sealed abstract class Void

Replacement of Unit.

Replacement of Unit.

Scala automatically converts non-Unit values into Unit, making it impossible to detect when users are actually returning Unit or not in their tests.

Void on the other hand boxes any such value, such that we can detect it in tests and deliver a meaningful error.

Companion:
object
object Void
Companion:
class