object Runner
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Runner
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- sealed trait ActionResultF[+V, +A, +P, +FE] extends AnyRef
- trait HalfCheck[O, S, E] extends AnyRef
- final case class PostCheckResults[+A](post: History[A], invariants: History[A]) extends Product with Serializable
- final case class PreCheck[+A](pre: A, invariants: A) extends Product with Serializable
- final class RefEq[+A <: AnyRef] extends AnyRef
- implicit final class RunnerOptionExt[E] extends AnyVal
- Annotations
- @inline()
- implicit final class RunnerTriExt[E, A] extends AnyVal
- Annotations
- @inline()
- final class UniqueListBuilder[A <: AnyRef] extends AnyRef
- case class UnpackChecks[F[_], O, S, E](befores: F[Point[OS[O, S], E]], deltas: F[DeltaA[OS[O, S], E]], afters: F[Point[OS[O, S], E]], errors: F[NamedError[Failure[E]]], coproductFound: Boolean) extends Product with Serializable
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val ActionName: Name
- def HalfCheck[O, S, E, a](_check: DeltaAux[OS[O, S], E, a])(_before: Tri[Failure[E], a]): HalfCheck[O, S, E]
- val InitialState: String
- val InvariantsName: Name
- val Observation: String
- val PostName: Name
- val PreName: Name
- val UpdateState: String
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def foreachSack[I, A](sack: Sack[I, A])(i: I)(err: (Name, Throwable) => Unit)(f: (A) => Unit): Boolean
- def foreachSackE[A, B, E](s: SackE[A, B, E])(a: A)(f: (Or[NamedError[Failure[E]], B]) => Unit)(implicit r: ErrorHandler[E]): Boolean
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val notRightRight: (Or[Any, Or[Any, Any]]) => Boolean
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- val obsAndTestFailed: (Or[Any, (Any, PostCheckResults[Any])]) => Boolean
- val retryCheckAround0: (Or[PreCheckFail[Any], Any]) => Boolean
- val retryInvariants: (Or[Any, (Any, History[Any])]) => Boolean
- def run[F[_], R, O, S, E](test: Test[F, R, O, S, E])(initialState: S, refFn: () => R): F[Report[E]]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- 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()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- object ActionResult
- object PostCheckResults extends Serializable
- object UnpackChecks extends Serializable
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated