object
Runner
Type Members
-
trait
HalfCheck[O, S, E] extends AnyRef
-
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]], aftersA: F[Point[OS[O, S], E]], aftersI: 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
-
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: Recover[E]): Boolean
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
run[F[_], R, O, S, E](test: Test[F, R, O, S, E])(initialState: S, ref: ⇒ 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