object
Runner
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
-
implicit final
class
RunnerTriExt[E, A] extends AnyVal
-
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
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
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
-
object
UnpackChecks extends Serializable
-
val
UpdateState: String
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
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[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
val
notRightRight: (Or[Any, Or[Any, Any]]) ⇒ Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
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
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any