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
Inherited from
Exports
val DisplayError: DisplayError
Inherited from
Exports
val DisplayFailure: DisplayFailure
Inherited from
Exports
val Dsl: Dsl
Inherited from
Exports
val Empty: Empty
Inherited from
Exports
val Equal: Equal
Inherited from
Exports
val ErrorHandler: ErrorHandler
Inherited from
Exports
val ExecutionModel: ExecutionModel
Inherited from
Exports
val Name: Name
Inherited from
Exports
val NameFn: NameFn
Inherited from
Exports
val Observer: Observer
Inherited from
Exports
val Plan: Plan
Inherited from
Exports
val PlanWithInitialState: PlanWithInitialState
Inherited from
Exports
val Report: Report
Inherited from
Exports
val Result: Result
Inherited from
Exports
val Retry: Retry
Inherited from
Exports
val Test: Test
Inherited from
Exports
val TestWithInitialState: TestWithInitialState
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