teststate.run

Type members

Classlikes

final class History[+E](val steps: Steps[E], val result: Result[E])
Companion:
object
object History
Companion:
class
final class Observer[-R, +O, +E](val observe: R => Or[E, O]) extends AnyVal
Companion:
object
object Observer
Companion:
class
object Plan
Companion:
class
final class Plan[F[_], R, O, S, E](val name: Option[Name], val actions: Actions[F, R, O, S, E], val invariants: Invariants[O, S, E])(implicit val executionModel: ExecutionModel[F]) extends PlanLike[F, R, O, S, E, Plan[F, R, O, S, E]]
Companion:
object
sealed abstract class PlanLike[F[_], R, O, S, E, This]
final case class PlanWithInitialState[F[_], R, O, S, E](plan: Plan[F, R, O, S, E], initialState: S) extends PlanLike[F, R, O, S, E, PlanWithInitialState[F, R, O, S, E]]
case class Report[+E](name: Option[Name], history: History[Failure[E]], stats: Stats)
Companion:
object
object Report
Companion:
class
Companion:
object
Companion:
class
object Retry
final case class RunnableTest[F[_], R, O, S, E](test: Test[F, R, O, S, E], initialState: S, refFnFn: () => () => R)
object Runner
case class Stats(performedActions: Int, performedChecks: Int, retries: Int, totalTime: FiniteDuration)
Companion:
object
object Stats
Companion:
class
final case class Test[F[_], R, O, S, E](plan: Plan[F, R, O, S, E], observer: Observer[R, O, E], retryPolicy: Policy)(implicit attempt: ErrorHandler[E]) extends PlanLike[F, R, O, S, E, Test[F, R, O, S, E]]
final case class TestWithInitialState[F[_], R, O, S, E](test: Test[F, R, O, S, E], initialState: S) extends PlanLike[F, R, O, S, E, TestWithInitialState[F, R, O, S, E]]