object Runner
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Runner
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
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( ... ) @native() @HotSpotIntrinsicCandidate()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): 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[_]
- 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( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
- 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
- Deprecated
(Since version ) see corresponding Javadoc for more information.