TestState

object TestState extends TestState
Companion:
class
trait TestState
trait Exports
trait Exports
trait StdlibUtil
trait RunImplicits
trait Implicits
trait ImplicitsLowPri
trait Ops
trait CoreExports3
trait Implicits
trait ToOps
trait CoreExports2
trait Implicits
trait ImplicitsLowPri
trait CoreExports
trait Implicits
trait ToOps
trait Instances
trait Implicits
trait Implicits
trait P0
trait Implicits
trait ToOps
trait Implicits
trait ToOps
trait Instances
trait Implicits
trait ToOps
trait Instances
trait Implicits
trait NameImplicits
class Object
trait Matchable
class Any

Type members

Inherited types

type Actions[F[_], R, O, S, E] = Actions[F, R, O, S, E]
Inherited from:
CoreExports
type Arounds[-O, -S, E] = Arounds[O, S, E]
Inherited from:
CoreExports
type CheckOpsCheckShape[C[_, _]] = CheckOps[[_, _, _] =>> CheckShape[C, _$20, _$21, _$22]]
Inherited from:
Implicits
type Display[E] = Display[E]
Inherited from:
Exports
type DisplayError[E] = DisplayError[E]
Inherited from:
Exports
type DisplayFailure[-A, +E] = DisplayFailure[A, E]
Inherited from:
Exports
type Dsl[F[_], R, O, S, E] = Dsl[F, R, O, S, E]
Inherited from:
Exports
type Empty[+E] = Empty[E]
Inherited from:
Exports
type Equal[E] = Equal[E]
Inherited from:
Exports
type ErrorHandler[+E] = ErrorHandler[E]
Inherited from:
Exports
type ExecutionModel[M[_]] = ExecutionModel[M]
Inherited from:
Exports
type Id[A] = A
Inherited from:
TestState
type Invariants[-O, -S, E] = Invariants[O, S, E]
Inherited from:
CoreExports
type Name = Name
Inherited from:
Exports
type NameFn[-A] = NameFn[A]
Inherited from:
Exports
type NamedMap[K, +V] = NamedMap[K, V]
Inherited from:
StdlibUtil
type NamedOption[+A] = NamedOption[A]
Inherited from:
StdlibUtil
type NamedVector[+A] = NamedVector[A]
Inherited from:
StdlibUtil
type Observer[-R, +O, +E] = Observer[R, O, E]
Inherited from:
Exports
type Plan[F[_], R, O, S, E] = Plan[F, R, O, S, E]
Inherited from:
Exports
type PlanWithInitialState[F[_], R, O, S, E] = PlanWithInitialState[F, R, O, S, E]
Inherited from:
Exports
type Points[-O, -S, E] = Points[O, S, E]
Inherited from:
CoreExports
type Report[+E] = Report[E]
Inherited from:
Exports
type Result[+E] = Result[E]
Inherited from:
Exports
type Test[F[_], R, O, S, E] = Test[F, R, O, S, E]
Inherited from:
Exports
type TestWithInitialState[F[_], R, O, S, E] = TestWithInitialState[F, R, O, S, E]
Inherited from:
Exports

Value members

Inherited fields

val Display: Display.type
Inherited from:
Exports
val DisplayError: DisplayError.type
Inherited from:
Exports
val DisplayFailure: DisplayFailure.type
Inherited from:
Exports
val Dsl: Dsl.type
Inherited from:
Exports
val Empty: Empty.type
Inherited from:
Exports
val Equal: Equal.type
Inherited from:
Exports
val ErrorHandler: ErrorHandler.type
Inherited from:
Exports
val ExecutionModel: ExecutionModel.type
Inherited from:
Exports
val Name: Name.type
Inherited from:
Exports
val NameFn: NameFn.type
Inherited from:
Exports
val Observer: Observer.type
Inherited from:
Exports
val Plan: Plan.type
Inherited from:
Exports
val PlanWithInitialState: PlanWithInitialState.type
Inherited from:
Exports
val Report: Report.type
Inherited from:
Exports
val Result: Result.type
Inherited from:
Exports
val Retry: Retry.type
Inherited from:
Exports
val Test: Test.type
Inherited from:
Exports
val TestWithInitialState: TestWithInitialState.type
Inherited from:
Exports

Implicits

Inherited implicits

implicit def TestStateMapExt[K, V](a: Map[K, V]): TestStateMapExt[K, V]
Inherited from:
StdlibUtil
implicit def TestStateOptionExt[A](a: Option[A]): TestStateOptionExt[A]
Inherited from:
StdlibUtil
implicit val actionInnerInstanceActionOps: ActionOps[[F[_], R, O, S, E] =>> Inner[F, R, O, S, E]]
Inherited from:
Implicits
implicit val actionOuterInstanceActionOps: ActionOps[[F[_], R, O, S, E] =>> Outer[F, R, O, S, E]] & ActionOps2[[F[_], R, O, S, E] =>> Outer[F, R, O, S, E]]
Inherited from:
Implicits
implicit def actionSackToActionOps[F[_], R, O, S, E](a: SackE[ROS[R, O, S], Outer[F, R, O, S, E], E]): Ops[Actions, F, R, O, S, E]
Inherited from:
ImplicitsLowPri
implicit def actionSackToActionOps2[F[_], R, O, S, E](a: SackE[ROS[R, O, S], Outer[F, R, O, S, E], E]): Ops2[Actions, F, R, O, S, E]
Inherited from:
ImplicitsLowPri
implicit def actionsCanSeq[F[_], R, O, S, E]: Can[SeqOp, Actions[F, R, O, S, E]]
Inherited from:
Implicits
implicit def actionsCanSeqHP[F[_], R, O, S, E]: Can[HPSeqOp, Actions[F, R, O, S, E]]
Inherited from:
Implicits
implicit def actionsComposePostCond[F[_], R, O, S, E]: Left[HPSeqOp, Actions[F, R, O, S, E], Points[O, S, E]]
Inherited from:
Implicits
implicit def actionsComposePostCondA[F[_], R, O, S, E]: Left[HPSeqOp, Actions[F, R, O, S, E], Arounds[O, S, E]]
Inherited from:
Implicits
implicit def actionsComposePreCond[F[_], R, O, S, E]: Right[HPSeqOp, Points[O, S, E], Actions[F, R, O, S, E]]
Inherited from:
Implicits
implicit lazy val actionsInstanceActionOps: ActionOps[Actions] & ActionOps2[Actions]
Inherited from:
Implicits
implicit def actionsMonoComposable[F[_], R, O, S, E]: Mono[SeqOp, Actions[F, R, O, S, E]]
Inherited from:
Implicits
implicit def aroundsToCheckOps[O, S, E](c: Arounds[O, S, E]): Ops[Arounds, O, S, E]
Inherited from:
Implicits
implicit def autoWidenChecksToInvariants[C[_, _], A, E](c: CheckShapeA[C, A, E])(implicit t: ToInvariants[CheckShapeA, C]): CheckShapeA[Invariant, A, E]
Inherited from:
CoreExports
implicit val checkOpsInstanceForAround: CheckOps[<none>]
Inherited from:
Implicits
implicit val checkOpsInstanceForArounds: CheckOpsCheckShape[Around]
Inherited from:
Implicits
implicit val checkOpsInstanceForDeltaA: CheckOps[<none>]
Inherited from:
Implicits
implicit val checkOpsInstanceForInvariant: CheckOps[<none>]
Inherited from:
Implicits
implicit val checkOpsInstanceForInvariants: CheckOpsCheckShape[Invariant]
Inherited from:
Implicits
implicit val checkOpsInstanceForPoint: CheckOps[<none>]
Inherited from:
Implicits
implicit val checkOpsInstanceForPoints: CheckOpsCheckShape[Point]
Inherited from:
Implicits
implicit def checkToCheckOps[C[_, _], O, S, E](c: C[OS[O, S], E])(implicit tc: CheckOps[<none>]): Ops[<none>, O, S, E]
Inherited from:
Implicits
implicit def checksCanAnd[C[_, _], A, B]: Can[AndOp, CheckShapeA[C, A, B]]
Inherited from:
Implicits
implicit def checksInstanceDisplay[C[_, _], A, E](implicit sc: Display[C[A, E]]): Display[CheckShapeA[C, A, E]]
Inherited from:
CoreExports
implicit def checksMonoComposable[C[_, _], A, E]: Mono[AndOp, CheckShapeA[C, A, E]]
Inherited from:
Implicits
implicit def checksPolyComposable[C[_, _], D[_, _], A, E](implicit c: ToInvariants[CheckShapeA, C], d: ToInvariants[CheckShapeA, D], i: Mono[AndOp, CheckShapeA[Invariant, A, E]]): PolyComposable[AndOp, CheckShapeA[C, A, E], CheckShapeA[D, A, E], CheckShapeA[Invariant, A, E]]
Inherited from:
P0
implicit def conditionalFnToOption[I, A]: Conditional[I => Option[A], I]
Inherited from:
Instances
implicit def conditionalFnToTri[I, E, A]: Conditional[I => Tri[E, A], I]
Inherited from:
Instances
implicit def conditionalRight[L, R, I](implicit c: Conditional[R, I]): Conditional[Or[L, R], I]
Inherited from:
Instances
implicit def invariantsToCheckOps[O, S, E](c: Invariants[O, S, E]): Ops[Invariants, O, S, E]
Inherited from:
Implicits
implicit inline def materializeNameFnFromString(inline body: String): NameFn[Any]
Inherited from:
NameImplicits
implicit inline def materializeNameFromString(inline body: String): Name
Inherited from:
NameImplicits
implicit inline def nameFnFromString[A](a: A)(using ev: A => Name): NameFn[Any]
Inherited from:
NameImplicits
implicit def namedErrorOrXInstanceNamedOps[A, I, E](implicit n: NamedOps[A, I]): NamedOps[Or[NamedError[E], A], I]
Inherited from:
Instances
implicit def pointsCanSeqHP[O, S, E]: Can[HPSeqOp, Points[O, S, E]]
Inherited from:
Implicits
implicit def pointsMonoComposable[O, S, E]: Mono[HPSeqOp, Points[O, S, E]]
Inherited from:
Implicits
implicit def pointsToCheckOps[O, S, E](c: Points[O, S, E]): Ops[Points, O, S, E]
Inherited from:
Implicits
implicit def pointsToPointsOps[O, S, E](p: Points[O, S, E]): Ops[O, S, E]
Inherited from:
Implicits
implicit def sackInstanceNamedOps[A, B](implicit nb: NamedOps[B, A]): NamedOps[Sack[A, B], A]
Inherited from:
Instances
implicit def sackInstanceNamedOpsBA[A, B, I](implicit nb: NamedOps[B, BeforeAfter[A]]): NamedOps[Sack[A, B], BeforeAfter[A]]
Inherited from:
Instances
implicit def testStateAssertionSettings: AssertionSettings
Inherited from:
Exports
implicit val testStateDisplayChar: Display[Char]
Inherited from:
Instances
implicit def testStateDisplayName: Display[Name]
Inherited from:
Instances
implicit def testStateDisplayNameFn[A]: Display[NameFn[A]]
Inherited from:
Instances
implicit def testStateDisplayOption[A](implicit display: Display[A]): Display[Option[A]]
Inherited from:
Instances
implicit val testStateDisplayString: Display[String]
Inherited from:
Instances
implicit def testStateDisplayTraversable[C <: (Iterable), A](implicit display: Display[A]): Display[C[A]]
Inherited from:
Instances
implicit val testStateEqualBoolean: Equal[Boolean]
Inherited from:
Implicits
@nowarn("cat=unused")
implicit def testStateEqualByUnivEq[A : UnivEq]: Equal[A]
Inherited from:
ImplicitsLowPri
implicit val testStateEqualChar: Equal[Char]
Inherited from:
Implicits
implicit def testStateEqualIndexedSeq[C <: (IndexedSeq), A](implicit e: Equal[A]): Equal[C[A]]
Inherited from:
Implicits
implicit val testStateEqualInt: Equal[Int]
Inherited from:
Implicits
implicit val testStateEqualLong: Equal[Long]
Inherited from:
Implicits
implicit def testStateEqualOption[A](implicit e: Equal[A]): Equal[Option[A]]
Inherited from:
Implicits
implicit def testStateEqualSeq[C <: (Seq), A](implicit e: Equal[A]): Equal[C[A]]
Inherited from:
Implicits
implicit val testStateEqualString: Equal[String]
Inherited from:
Implicits
implicit def testStateErrorHandler: ErrorHandler[String]
Inherited from:
Exports
implicit def testStateOrFromScalaEither[A, B](e: Either[A, B]): Or[A, B]
Inherited from:
Exports
implicit def testStatePlanComposable[F[_], R, O, S, E]: Mono[SeqOp, Plan[F, R, O, S, E]]
Inherited from:
RunImplicits
implicit def testStatePlansCanSeq[F[_], R, O, S, E]: Can[SeqOp, Plan[F, R, O, S, E]]
Inherited from:
RunImplicits
implicit def toActionOps[A[_[_], _, _, _, _], F[_], R, O, S, E](a: A[F, R, O, S, E])(implicit tc: ActionOps[A]): Ops[A, F, R, O, S, E]
Inherited from:
Implicits
implicit def toActionOps2[A[_[_], _, _, _, _], F[_], R, O, S, E](a: A[F, R, O, S, E])(implicit tc: ActionOps2[A]): Ops2[A, F, R, O, S, E]
Inherited from:
Implicits
implicit def toActionOps3[F[_], R, O, S, E](a: Actions[F, R, O, S, E]): Ops3[F, R, O, S, E]
Inherited from:
Implicits
implicit def toActionTransformerOps[F[_], R, O, S, E](a: Actions[F, R, O, S, E]): ActionOps[F, R, O, S, E]
Inherited from:
ToOps
implicit def toAroundsTransformerOps[O, S, E](a: Arounds[O, S, E]): AroundsOps[O, S, E]
Inherited from:
ToOps
implicit def toConditionalOps[M, I](m: M)(implicit c: Conditional[M, I]): Ops[M, I]
Inherited from:
ToOps
implicit def toEmptyOptionOps[A : Empty](o: Option[A]): EmptyOptionOps[A]
Inherited from:
Ops
implicit def toInvariantsTransformerOps[O, S, E](a: Invariants[O, S, E]): InvariantsOps[O, S, E]
Inherited from:
ToOps
implicit def toMonoComposableTraversableOnceOpsA[C <: (IterableOnce), A](as: C[A])(implicit c: Mono[AndOp, A]): MonoComposableTraversableOnceOps[C, AndOp, A]
Inherited from:
ToOps
implicit def toMonoComposableTraversableOnceOpsS[C <: (IterableOnce), A](as: C[A])(implicit c: Mono[SeqOp, A]): MonoComposableTraversableOnceOps[C, SeqOp, A]
Inherited from:
ToOps
implicit def toPointsTransformerOps[O, S, E](a: Points[O, S, E]): PointsOps[O, S, E]
Inherited from:
ToOps
@nowarn("cat=unused")
implicit def toPolyComposableAndOps[A](a: A)(implicit w: Can[AndOp, A]): AndOps[A]
Inherited from:
ToOps
@nowarn("cat=unused")
implicit def toPolyComposableHPSeqOps[A](a: A)(implicit w: Can[HPSeqOp, A]): HPSeqOps[A]
Inherited from:
ToOps
@nowarn("cat=unused")
implicit def toPolyComposableSeqOps[A](a: A)(implicit w: Can[SeqOp, A]): SeqOps[A]
Inherited from:
ToOps
implicit def toStateTestEitherStringExt[A](e: Either[String, A]): StateTestEitherStringExt[A]
Inherited from:
StdlibUtil
implicit def toTestStateDisplayOps[A : Display](a: A): Ops[A]
Inherited from:
ToOps
implicit def toTestStateNamedOps[A, I](a: A)(implicit n: NamedOps[A, I]): Ops[A, I]
Inherited from:
ToOps
implicit def toTestStateTraversableExt[A](as: Iterable[A]): TestStateTraversableExt[A]
Inherited from:
StdlibUtil