final class Assertion[-A] extends (=> A) => AssertResult
An Assertion[A]
is capable of producing assertion results on an A
. As a
proposition, assertions compose using logical conjunction and disjunction,
and can be negated.
- Self Type
- Assertion[A]
- Alphabetic
- By Inheritance
- Assertion
- Function1
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- def &&[A1 <: A](that: => Assertion[A1]): Assertion[A1]
Returns a new assertion that succeeds only if both assertions succeed.
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def ??(string: String): Assertion[A]
A symbolic alias for
label
. - def andThen[A](g: (AssertResult) => A): (=> A) => A
- Definition Classes
- Function1
- Annotations
- @unspecialized()
- def apply(a: => A): AssertResult
Evaluates the assertion with the specified value.
Evaluates the assertion with the specified value.
- Definition Classes
- Assertion → Function1
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def compose[A](g: (A) => => A): (A) => AssertResult
- Definition Classes
- Function1
- Annotations
- @unspecialized()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(that: Any): Boolean
- Definition Classes
- Assertion → AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- Assertion → AnyRef → Any
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def label(string: String): Assertion[A]
Labels this assertion with the specified string.
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def negate: Assertion[A]
Returns the negation of this assertion.
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- val render: Render
- val run: (=> A) => AssertResult
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def test(a: A): ZIO[Any, Nothing, Boolean]
Tests the assertion to see if it would succeed on the given element.
- def toString(): String
Provides a meaningful string rendering of the assertion.
Provides a meaningful string rendering of the assertion.
- Definition Classes
- Assertion → Function1 → AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- def ||[A1 <: A](that: => Assertion[A1]): Assertion[A1]
Returns a new assertion that succeeds if either assertion succeeds.