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. type Render = AssertionM.Render

    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. val Render: AssertionM.Render.type

    Permalink
  5. val anything: Assertion[Any]

    Permalink

    Makes a new assertion that always succeeds.

  6. 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.

  7. final def asInstanceOf[T0]: T0

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

    Permalink

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

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

    Permalink

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

  10. def assertionRec[A, B](name: String)(params: RenderParam*)(assertion: Assertion[B])(get: (⇒ A) ⇒ Option[B], orElse: (AssertionData) ⇒ AssertResult = _.asFailure): 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.

  11. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  12. 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.

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

  16. def diesWithA[E](implicit arg0: ClassTag[E]): Assertion[Exit[E, Any]]

    Permalink

    Makes a new assertion that requires an exit value to die with an instance of given type (or its subtype).

  17. 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.

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

    Permalink

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

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

    Permalink
    Definition Classes
    AnyRef
  20. final def equalTo[A, B](expected: A)(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
  21. def equals(arg0: Any): Boolean

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

    Permalink

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

  23. 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.

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

    Permalink

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

  25. 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.

  26. def failsWithA[E](implicit arg0: ClassTag[E]): Assertion[Exit[E, Any]]

    Permalink

    Makes a new assertion that requires the expression to fail with an instance of given type (or its subtype).

  27. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  28. 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.

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

    Permalink
    Definition Classes
    AnyRef → Any
  30. 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

  31. def hasAtLeastOneOf[A](other: Iterable[A]): Assertion[Iterable[A]]

    Permalink

    Makes a new assertion that requires an Iterable contain at least one of the specified elements.

  32. def hasAtMostOneOf[A](other: Iterable[A]): Assertion[Iterable[A]]

    Permalink

    Makes a new assertion that requires an Iterable contain at most one of the specified elements.

  33. 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))
  34. 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.

  35. def hasIntersection[A](other: Iterable[A])(assertion: Assertion[Iterable[A]]): Assertion[Iterable[A]]

    Permalink

    Makes a new assertion that requires the intersection of two Iterables satisfy the given assertion.

  36. def hasKey[K, V](key: K): Assertion[Map[K, V]]

    Permalink

    Makes a new assertion that requires a Map to have the specified key.

  37. def hasKey[K, V](key: K, assertion: Assertion[V]): Assertion[Map[K, V]]

    Permalink

    Makes a new assertion that requires a Map to have the specified key with value satisfying the specified assertion.

  38. def hasKeys[K, V](assertion: Assertion[Iterable[K]]): Assertion[Map[K, V]]

    Permalink

    Makes a new assertion that requires a Map have keys satisfying the specified assertion.

  39. 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.

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

    Permalink

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

  41. def hasNoneOf[A](other: Iterable[A]): Assertion[Iterable[A]]

    Permalink

    Makes a new assertion that requires an Iterable contain none of the specified elements.

  42. def hasOneOf[A](other: Iterable[A]): Assertion[Iterable[A]]

    Permalink

    Makes a new assertion that requires an Iterable contain exactly one of the specified elements.

  43. 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.

  44. def hasSameElementsDistinct[A](other: Iterable[A]): Assertion[Iterable[A]]

    Permalink

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

  45. 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.

  46. 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.

  47. def hasSubset[A](other: Iterable[A]): Assertion[Iterable[A]]

    Permalink

    Makes a new assertion that requires the specified Iterable to be a subset of the other Iterable.

  48. def hasSuppressed(cause: Assertion[Iterable[Throwable]]): Assertion[Throwable]

    Permalink

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

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

    Permalink

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

  50. def hasValues[K, V](assertion: Assertion[Iterable[V]]): Assertion[Map[K, V]]

    Permalink

    Makes a new assertion that requires a Map have values satisfying the specified assertion.

  51. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  52. 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)
  53. val isDistinct: Assertion[Iterable[Any]]

    Permalink

    Makes a new assertion that requires an Iterable is distinct.

  54. val isEmpty: Assertion[Iterable[Any]]

    Permalink

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

  55. val isEmptyString: Assertion[String]

    Permalink

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

  56. def isFailure(assertion: Assertion[Throwable]): Assertion[Try[Any]]

    Permalink

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

  57. val isFailure: Assertion[Try[Any]]

    Permalink

    Makes a new assertion that requires a Try value is Failure.

  58. def isFalse: Assertion[Boolean]

    Permalink

    Makes a new assertion that requires a value be false.

  59. def isFiniteDouble: Assertion[Double]

    Permalink

    Makes a new assertions that requires a double value is finite.

  60. def isFiniteFloat: Assertion[Float]

    Permalink

    Makes a new assertions that requires a float value is finite.

  61. 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.

  62. 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.

  63. def isInfiniteDouble: Assertion[Double]

    Permalink

    Makes a new assertions that requires a double value is infinite.

  64. def isInfiniteFloat: Assertion[Float]

    Permalink

    Makes a new assertions that requires a float value is infinite.

  65. final def isInstanceOf[T0]: Boolean

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

    Permalink

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

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

    Permalink

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

  68. val isLeft: Assertion[Either[Any, Any]]

    Permalink

    Makes a new assertion that requires an Either is Left.

  69. 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.

  70. 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.

  71. def isNaNDouble: Assertion[Double]

    Permalink

    Makes a new assertions that requires a double value is not a number (NaN).

  72. def isNaNFloat: Assertion[Float]

    Permalink

    Makes a new assertions that requires a float value is not a number (NaN).

  73. def isNegInfinityDouble: Assertion[Double]

    Permalink

    Makes a new assertions that requires a double value is negative infinity.

  74. def isNegInfinityFloat: Assertion[Float]

    Permalink

    Makes a new assertions that requires a float value is negative infinity.

  75. def isNegative[A](implicit num: Numeric[A]): Assertion[A]

    Permalink

    Makes a new assertion that requires a numeric value is negative.

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

    Permalink

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

  77. val isNonEmptyString: Assertion[String]

    Permalink

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

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

    Permalink

    Makes a new assertion that requires a None value.

  79. val isNull: Assertion[Any]

    Permalink

    Makes a new assertion that requires a null value.

  80. def isOneOf[A](values: Iterable[A]): Assertion[A]

    Permalink

    Makes a new assertion that requires a value to be equal to one of the specified values.

  81. def isPosInfinityDouble: Assertion[Double]

    Permalink

    Makes a new assertions that requires a double value is positive infinity.

  82. def isPosInfinityFloat: Assertion[Float]

    Permalink

    Makes a new assertions that requires a float value is positive infinity.

  83. def isPositive[A](implicit num: Numeric[A]): Assertion[A]

    Permalink

    Makes a new assertion that requires a numeric value is positive.

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

    Permalink

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

  85. val isRight: Assertion[Either[Any, Any]]

    Permalink

    Makes a new assertion that requires an Either is Right.

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

    Permalink

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

  87. val isSome: Assertion[Option[Any]]

    Permalink

    Makes a new assertion that requires an Option is Some.

  88. def isSorted[A](implicit ord: Ordering[A]): Assertion[Iterable[A]]

    Permalink

    Makes a new assertion that requires an Iterable is sorted.

  89. def isSortedReverse[A](implicit ord: Ordering[A]): Assertion[Iterable[A]]

    Permalink

    Makes a new assertion that requires an Iterable is sorted in reverse order.

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

    Permalink

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

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

    Example:

    assert(Duration.fromNanos(1))(isSubtype[Duration.Finite](Assertion.anything))
  91. def isSuccess[A](assertion: Assertion[A]): Assertion[Try[A]]

    Permalink

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

  92. val isSuccess: Assertion[Try[Any]]

    Permalink

    Makes a new assertion that requires a Try value is Success.

  93. def isTrue: Assertion[Boolean]

    Permalink

    Makes a new assertion that requires a value be true.

  94. val isUnit: Assertion[Unit]

    Permalink

    Makes a new assertion that requires the value be unit.

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

    Permalink

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

  96. def isZero[A](implicit num: Numeric[A]): Assertion[A]

    Permalink

    Makes a new assertion that requires a numeric value is zero.

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

    Permalink

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

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

    Permalink
    Definition Classes
    AnyRef
  99. def nonNegative[A](implicit num: Numeric[A]): Assertion[A]

    Permalink

    Makes a new assertion that requires a numeric value is non negative.

  100. def nonPositive[A](implicit num: Numeric[A]): Assertion[A]

    Permalink

    Makes a new assertion that requires a numeric value is non positive.

  101. def not[A](assertion: Assertion[A]): Assertion[A]

    Permalink

    Makes a new assertion that negates the specified assertion.

  102. val nothing: Assertion[Any]

    Permalink

    Makes a new assertion that always fails.

  103. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  105. 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.

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

    Permalink

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

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

    Permalink

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

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

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

    Permalink

    Makes a new assertion that requires the expression to throw.

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

    Permalink

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

  111. def toString(): String

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

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

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

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

Inherited from AssertionVariants

Inherited from AnyRef

Inherited from Any

Ungrouped