Object/Class

zio.test

Assertion

Related Docs: class Assertion | package test

Permalink

object Assertion extends AssertionVariants

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Assertion
  2. AssertionVariants
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. sealed trait Render extends AnyRef

    Permalink

    Render captures both the name of an assertion as well as the parameters to the assertion combinator for pretty-printing.

  2. sealed trait RenderParam extends AnyRef

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object Render

    Permalink
  5. object RenderParam

    Permalink
  6. val anything: Assertion[Any]

    Permalink

    Makes a new assertion that always succeeds.

  7. def approximatelyEquals[A](reference: A, tolerance: A)(implicit arg0: Numeric[A]): Assertion[A]

    Permalink

    Makes a new assertion that requires a given numeric value to match a value with some tolerance.

  8. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  9. def assertion[A](name: String)(params: RenderParam*)(run: (⇒ A) ⇒ Boolean): Assertion[A]

    Permalink

    Makes a new Assertion from a pretty-printing and a function.

  10. def assertionDirect[A](name: String)(params: RenderParam*)(run: (⇒ A) ⇒ AssertResult): Assertion[A]

    Permalink

    Makes a new Assertion from a pretty-printing and a function.

  11. def assertionM[R, E, A](name: String)(params: RenderParam*)(run: (⇒ A) ⇒ ZIO[Any, Nothing, Boolean]): Assertion[A]

    Permalink

    Makes a new Assertion from a pretty-printing and a function.

  12. def assertionRec[A, B](name: String)(params: RenderParam*)(assertion: Assertion[B])(get: (⇒ A) ⇒ Option[B], orElse: (AssertionValue) ⇒ AssertResult = BoolAlgebraM.failure): Assertion[A]

    Permalink

    Makes a new Assertion[A] from a pretty-printing, a function (=> A) => Option[B], and an Assertion[B].

    Makes a new Assertion[A] from a pretty-printing, a function (=> A) => Option[B], and an Assertion[B]. If the result of applying the function to a given value is Some[B], the Assertion[B] will be applied to the resulting value to determine if the assertion is satisfied. The result of the Assertion[B] and any assertions it is composed from will be recursively embedded in the assert result. If the result of the function is None the orElse parameter will be used to determine whether the assertion is satisfied.

  13. def assertionRecM[R, E, A, B](name: String)(params: RenderParam*)(assertion: Assertion[B])(get: (⇒ A) ⇒ ZIO[Any, Nothing, Option[B]], orElse: (AssertionValue) ⇒ AssertResult = BoolAlgebraM.failure): Assertion[A]

    Permalink
  14. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  15. def contains[A](element: A): Assertion[Iterable[A]]

    Permalink

    Makes a new assertion that requires an iterable contain the specified element.

    Makes a new assertion that requires an iterable contain the specified element. See Assertion.exists if you want to require an iterable to contain an element satisfying an assertion.

  16. def containsCause[E](cause: Cause[E]): Assertion[Cause[E]]

    Permalink

    Makes a new assertion that requires a Cause contain the specified cause.

  17. def containsString(element: String): Assertion[String]

    Permalink

    Makes a new assertion that requires a substring to be present.

  18. def dies(assertion: Assertion[Throwable]): Assertion[Exit[Any, Any]]

    Permalink

    Makes a new assertion that requires an exit value to die.

  19. def endsWith[A](suffix: Seq[A]): Assertion[Seq[A]]

    Permalink

    Makes a new assertion that requires a given string to end with the specified suffix.

  20. def endsWithString(suffix: String): Assertion[String]

    Permalink

    Makes a new assertion that requires a given string to end with the specified suffix.

  21. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  22. final def equalTo[A, B](expected: A, diffing: Diffing = Diffing.default)(implicit eql: Eql[A, B]): Assertion[B]

    Permalink

    Makes a new assertion that requires a value equal the specified value.

    Makes a new assertion that requires a value equal the specified value.

    Definition Classes
    AssertionVariants
  23. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  24. def equalsIgnoreCase(other: String): Assertion[String]

    Permalink

    Makes a new assertion that requires a given string to equal another ignoring case

  25. def exists[A](assertion: Assertion[A]): Assertion[Iterable[A]]

    Permalink

    Makes a new assertion that requires an iterable contain an element satisfying the given assertion.

    Makes a new assertion that requires an iterable contain an element satisfying the given assertion. See Assertion.contains if you only need an iterable to contain a given element.

  26. def fails[E](assertion: Assertion[E]): Assertion[Exit[E, Any]]

    Permalink

    Makes a new assertion that requires an exit value to fail.

  27. def failsCause[E](assertion: Assertion[Cause[E]]): Assertion[Exit[E, Any]]

    Permalink

    Makes a new assertion that requires an exit value to fail with a cause that meets the specified assertion.

  28. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  29. def forall[A](assertion: Assertion[A]): Assertion[Iterable[A]]

    Permalink

    Makes a new assertion that requires an iterable contain only elements satisfying the given assertion.

  30. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  31. def hasAt[A](pos: Int)(assertion: Assertion[A]): Assertion[Seq[A]]

    Permalink

    Makes a new assertion that requires a sequence to contain an element satisfying the given assertion on the given position

  32. def hasField[A, B](name: String, proj: (A) ⇒ B, assertion: Assertion[B]): Assertion[A]

    Permalink

    Makes a new assertion that focuses in on a field in a case class.

    Makes a new assertion that focuses in on a field in a case class.

    hasField("age", _.age, within(0, 10))
  33. def hasFirst[A](assertion: Assertion[A]): Assertion[Iterable[A]]

    Permalink

    Makes a new assertion that requires an iterable to contain the first element satisfying the given assertion

  34. def hasLast[A](assertion: Assertion[A]): Assertion[Iterable[A]]

    Permalink

    Makes a new assertion that requires an iterable to contain the last element satisfying the given assertion

  35. def hasMessage(message: Assertion[String]): Assertion[Throwable]

    Permalink

    Makes a new assertion that requires an exception to have a certain message.

  36. def hasSameElements[A](other: Iterable[A]): Assertion[Iterable[A]]

    Permalink

    Makes a new assertion that requires an Iterable to have the same elements as the specified Iterable, though not necessarily in the same order

  37. def hasSize[A](assertion: Assertion[Int]): Assertion[Iterable[A]]

    Permalink

    Makes a new assertion that requires the size of an iterable be satisfied by the specified assertion.

  38. def hasSizeString(assertion: Assertion[Int]): Assertion[String]

    Permalink

    Makes a new assertion that requires the size of a string be satisfied by the specified assertion.

  39. def hasThrowableCause(cause: Assertion[Throwable]): Assertion[Throwable]

    Permalink

    Makes a new assertion that requires an exception to have a certain cause.

  40. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  41. def isCase[Sum, Proj](termName: String, term: (Sum) ⇒ Option[Proj], assertion: Assertion[Proj]): Assertion[Sum]

    Permalink

    Makes a new assertion that requires the sum type be a specified term.

    Makes a new assertion that requires the sum type be a specified term.

    isCase("Some", Some.unapply, anything)
  42. val isEmpty: Assertion[Iterable[Any]]

    Permalink

    Makes a new assertion that requires an Iterable to be empty.

  43. val isEmptyString: Assertion[String]

    Permalink

    Makes a new assertion that requires a given string to be empty.

  44. def isFalse: Assertion[Boolean]

    Permalink

    Makes a new assertion that requires a value be true.

  45. def isGreaterThan[A](reference: A)(implicit ord: Ordering[A]): Assertion[A]

    Permalink

    Makes a new assertion that requires the value be greater than the specified reference value.

  46. def isGreaterThanEqualTo[A](reference: A)(implicit ord: Ordering[A]): Assertion[A]

    Permalink

    Makes a new assertion that requires the value be greater than or equal to the specified reference value.

  47. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  48. def isInterrupted: Assertion[Exit[Any, Any]]

    Permalink

    Makes a new assertion that requires an exit value to be interrupted.

  49. def isLeft[A](assertion: Assertion[A]): Assertion[Either[A, Any]]

    Permalink

    Makes a new assertion that requires a Left value satisfying a specified assertion.

  50. def isLessThan[A](reference: A)(implicit ord: Ordering[A]): Assertion[A]

    Permalink

    Makes a new assertion that requires the value be less than the specified reference value.

  51. def isLessThanEqualTo[A](reference: A)(implicit ord: Ordering[A]): Assertion[A]

    Permalink

    Makes a new assertion that requires the value be less than or equal to the specified reference value.

  52. val isNonEmpty: Assertion[Iterable[Any]]

    Permalink

    Makes a new assertion that requires an Iterable to be non empty.

  53. val isNonEmptyString: Assertion[String]

    Permalink

    Makes a new assertion that requires a given string to be non empty

  54. val isNone: Assertion[Option[Any]]

    Permalink

    Makes a new assertion that requires a None value.

  55. val isNull: Assertion[Any]

    Permalink

    Makes a new assertion that requires a null value.

  56. def isRight[A](assertion: Assertion[A]): Assertion[Either[Any, A]]

    Permalink

    Makes a new assertion that requires a Right value satisfying a specified assertion.

  57. def isSome[A](assertion: Assertion[A]): Assertion[Option[A]]

    Permalink

    Makes a new assertion that requires a Some value satisfying the specified assertion.

  58. def isSubtype[A](assertion: Assertion[A])(implicit C: ClassTag[A]): Assertion[Any]

    Permalink

    Makes an assertion that requires a value have the specified type.

    Makes an assertion that requires a value have the specified type.

    Example:

    assert(Duration.fromNanos(1), isSubtype[Duration.Finite](Assertion.anything))
  59. def isTrue: Assertion[Boolean]

    Permalink

    Makes a new assertion that requires a value be true.

  60. val isUnit: Assertion[Unit]

    Permalink

    Makes a new assertion that requires the value be unit.

  61. def isWithin[A](min: A, max: A)(implicit ord: Ordering[A]): Assertion[A]

    Permalink

    Returns a new assertion that requires a value to fall within a specified min and max (inclusive).

  62. def matchesRegex(regex: String): Assertion[String]

    Permalink

    Makes a new assertion that requires a given string to match the specified regular expression.

  63. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  64. def not[A](assertion: Assertion[A]): Assertion[A]

    Permalink

    Makes a new assertion that negates the specified assertion.

  65. val nothing: Assertion[Any]

    Permalink

    Makes a new assertion that always fails.

  66. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  67. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  68. def startsWith[A](prefix: Seq[A]): Assertion[Seq[A]]

    Permalink

    Makes a new assertion that requires a given sequence to start with the specified prefix.

  69. def startsWithString(prefix: String): Assertion[String]

    Permalink

    Makes a new assertion that requires a given string to start with a specified prefix

  70. def succeeds[A](assertion: Assertion[A]): Assertion[Exit[Any, A]]

    Permalink

    Makes a new assertion that requires an exit value to succeed.

  71. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  72. def throws[A](assertion: Assertion[Throwable]): Assertion[A]

    Permalink

    Returns a new assertion that requires the expression to throw.

  73. def throwsA[E](implicit arg0: ClassTag[E]): Assertion[Any]

    Permalink

    Returns a new assertion that requires the expression to throw an instance of given type (or its subtype).

  74. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  75. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  76. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  77. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AssertionVariants

Inherited from AnyRef

Inherited from Any

Ungrouped