Type Members
-
type
Actions[F[_], R, O, S, E] = Sack[ROS[R, O, S], Or[NamedError[Failure[E]], Outer[F, R, O, S, E]]]
-
-
-
-
type
Dsl[F[_], R, O, S, E] = dsl.Dsl[F, R, O, S, E]
-
-
-
-
-
-
type
Name = data.Name
-
type
NameFn[-A] = data.NameFn[A]
-
-
-
-
type
Observer[-R, +O, +E] = run.Observer[R, O, E]
-
type
Plan[F[_], R, O, S, E] = run.Plan[F, R, O, S, E]
-
type
PlanWithInitialState[F[_], R, O, S, E] = run.PlanWithInitialState[F, R, O, S, E]
-
-
type
Report[+E] = run.Report[E]
-
-
type
Test[F[_], R, O, S, E] = run.Test[F, R, O, S, E]
-
type
TestWithInitialState[F[_], R, O, S, E] = run.TestWithInitialState[F, R, O, S, E]
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
-
-
-
-
-
-
-
val
Name: data.Name.type
-
val
NameFn: data.NameFn.type
-
-
-
val
PlanWithInitialState: run.PlanWithInitialState.type
-
-
-
-
val
Test: run.Test.type
-
implicit
def
TestStateMapExt[K, V](a: Map[K, V]): TestStateMapExt[K, V]
-
implicit
def
TestStateOptionExt[A](a: Option[A]): TestStateOptionExt[A]
-
val
TestWithInitialState: run.TestWithInitialState.type
-
implicit
val
actionInnerInstanceActionOps: ActionOps[Inner]
-
-
implicit
def
actionSackToActionOps[F[_], R, O, S, E](a: SackE[ROS[R, O, S], Outer[F, R, O, S, E], E]): Ops[core.CoreExports.Actions, F, R, O, S, E]
-
implicit
def
actionSackToActionOps2[F[_], R, O, S, E](a: SackE[ROS[R, O, S], Outer[F, R, O, S, E], E]): Ops2[core.CoreExports.Actions, F, R, O, S, E]
-
implicit
def
actionsCanSeq[F[_], R, O, S, E]: Can[SeqOp, core.Action.Actions[F, R, O, S, E]]
-
implicit
def
actionsCanSeqHP[F[_], R, O, S, E]: Can[HPSeqOp, core.Action.Actions[F, R, O, S, E]]
-
-
-
-
-
implicit
def
actionsMonoComposable[F[_], R, O, S, E]: Mono[SeqOp, core.Action.Actions[F, R, O, S, E]]
-
-
final
def
asInstanceOf[T0]: T0
-
-
implicit
val
checkOpsInstanceForAround: CheckOps[[-O, -S, E]Around[OS[O, S], E]]
-
implicit
val
checkOpsInstanceForArounds: CheckOps[[β$0$, γ$1$, δ$2$]Sack[OS[β$0$, γ$1$], Or[NamedError[Failure[δ$2$]], Around[OS[β$0$, γ$1$], δ$2$]]]]
-
implicit
val
checkOpsInstanceForDeltaA: CheckOps[[-O, -S, E]DeltaA[OS[O, S], E]]
-
implicit
val
checkOpsInstanceForInvariant: CheckOps[[-O, -S, E]Invariant[OS[O, S], E]]
-
implicit
val
checkOpsInstanceForInvariants: CheckOps[[β$0$, γ$1$, δ$2$]Sack[OS[β$0$, γ$1$], Or[NamedError[Failure[δ$2$]], Invariant[OS[β$0$, γ$1$], δ$2$]]]]
-
implicit
val
checkOpsInstanceForPoint: CheckOps[[-O, -S, E]Point[OS[O, S], E]]
-
implicit
val
checkOpsInstanceForPoints: CheckOps[[β$0$, γ$1$, δ$2$]Sack[OS[β$0$, γ$1$], Or[NamedError[Failure[δ$2$]], Point[OS[β$0$, γ$1$], δ$2$]]]]
-
implicit
def
checkToCheckOps[C[-_, _], O, S, E](c: C[OS[O, S], E])(implicit tc: CheckOps[[-O, -S, E]C[OS[O, S], E]]): Ops[[-O, -S, E]C[OS[O, S], E], O, S, E]
-
implicit
def
checksCanAnd[C[-_, _], A, B]: Can[AndOp, CheckShapeA[C, A, B]]
-
-
implicit
def
checksMonoComposable[C[-_, _], A, E]: Mono[AndOp, CheckShapeA[C, A, E]]
-
-
def
clone(): AnyRef
-
implicit
def
conditionalFnToOption[I, A]: Conditional[(I) ⇒ Option[A], I]
-
implicit
def
conditionalFnToTri[I, E, A]: Conditional[(I) ⇒ Tri[E, A], I]
-
implicit
def
conditionalRight[L, R, I](implicit c: Conditional[R, I]): Conditional[Or[L, R], I]
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
-
final
def
isInstanceOf[T0]: Boolean
-
implicit macro
def
materializeNameFnFromString(body: String): data.NameFn[Any]
-
implicit macro
def
materializeNameFromString(body: String): data.Name
-
implicit
def
nameFnFromString[A](a: A)(implicit ev: (A) ⇒ data.Name): data.NameFn[Any]
-
implicit
def
namedErrorOrXInstanceNamedOps[A, I, E](implicit n: NamedOps[A, I]): NamedOps[Or[NamedError[E], A], I]
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
-
-
-
implicit
def
pointsToPointsOps[O, S, E](p: core.Types.Points[O, S, E]): Ops[O, S, E]
-
implicit
def
sackInstanceNamedOps[A, B](implicit nb: NamedOps[B, A]): NamedOps[Sack[A, B], A]
-
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
implicit
def
testStateAssertionSettings: AssertionSettings
-
implicit
val
testStateDisplayChar: typeclass.Display[Char]
-
implicit
def
testStateDisplayName: typeclass.Display[data.Name]
-
implicit
def
testStateDisplayNameFn[A]: typeclass.Display[data.NameFn[A]]
-
implicit
def
testStateDisplayOption[A](implicit display: typeclass.Display[A]): typeclass.Display[Option[A]]
-
implicit
val
testStateDisplayString: typeclass.Display[String]
-
implicit
def
testStateDisplayTraversable[C[X] <: Traversable[X], A](implicit display: typeclass.Display[A]): typeclass.Display[C[A]]
-
implicit
val
testStateEqualBoolean: typeclass.Equal[Boolean]
-
implicit
def
testStateEqualByUnivEq[A](implicit arg0: UnivEq[A]): typeclass.Equal[A]
-
implicit
val
testStateEqualChar: typeclass.Equal[Char]
-
implicit
def
testStateEqualIndexedSeq[C[x] <: IndexedSeq[x], A](implicit e: typeclass.Equal[A]): typeclass.Equal[C[A]]
-
implicit
val
testStateEqualInt: typeclass.Equal[Int]
-
implicit
val
testStateEqualLong: typeclass.Equal[Long]
-
implicit
def
testStateEqualOption[A](implicit e: typeclass.Equal[A]): typeclass.Equal[Option[A]]
-
implicit
def
testStateEqualSeq[C[x] <: Seq[x], A](implicit e: typeclass.Equal[A]): typeclass.Equal[C[A]]
-
implicit
val
testStateEqualString: typeclass.Equal[String]
-
implicit
def
testStateErrorHandler: ErrorHandler[String]
-
implicit
def
testStateOrFromScalaEither[A, B](e: Either[A, B]): Or[A, B]
-
implicit
def
testStatePlanComposable[F[_], R, O, S, E]: Mono[SeqOp, run.Plan[F, R, O, S, E]]
-
implicit
def
testStatePlansCanSeq[F[_], R, O, S, E]: Can[SeqOp, run.Plan[F, R, O, S, E]]
-
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]
-
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]
-
implicit
def
toActionOps3[F[_], R, O, S, E](a: core.CoreExports.Actions[F, R, O, S, E]): Ops3[F, R, O, S, E]
-
implicit
def
toActionTransformerOps[F[_], R, O, S, E](a: core.CoreExports.Actions[F, R, O, S, E]): ActionOps[F, R, O, S, E]
-
implicit
def
toAroundsTransformerOps[O, S, E](a: core.CoreExports.Arounds[O, S, E]): AroundsOps[O, S, E]
-
implicit
def
toConditionalOps[M, I](m: M)(implicit c: Conditional[M, I]): Ops[M, I]
-
implicit
def
toEmptyOptionOps[A](o: Option[A])(implicit arg0: typeclass.Empty[A]): EmptyOptionOps[A]
-
-
implicit
def
toMonoComposableTraversableOnceOpsA[C[x] <: TraversableOnce[x], A](as: C[A])(implicit c: Mono[AndOp, A]): MonoComposableTraversableOnceOps[C, AndOp, A]
-
implicit
def
toMonoComposableTraversableOnceOpsS[C[x] <: TraversableOnce[x], A](as: C[A])(implicit c: Mono[SeqOp, A]): MonoComposableTraversableOnceOps[C, SeqOp, A]
-
implicit
def
toPointsTransformerOps[O, S, E](a: core.CoreExports.Points[O, S, E]): PointsOps[O, S, E]
-
implicit
def
toPolyComposableAndOps[A](a: A)(implicit w: Can[AndOp, A]): AndOps[A]
-
implicit
def
toPolyComposableHPSeqOps[A](a: A)(implicit w: Can[HPSeqOp, A]): HPSeqOps[A]
-
implicit
def
toPolyComposableSeqOps[A](a: A)(implicit w: Can[SeqOp, A]): SeqOps[A]
-
implicit
def
toStateTestEitherStringExt[A](e: Either[String, A]): StateTestEitherStringExt[A]
-
def
toString(): String
-
implicit
def
toTestStateDisplayOps[A](a: A)(implicit arg0: typeclass.Display[A]): Ops[A]
-
implicit
def
toTestStateNamedOps[A, I](a: A)(implicit n: NamedOps[A, I]): Ops[A, I]
-
implicit
def
toTestStateTraversableExt[A](as: Traversable[A]): TestStateTraversableExt[A]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from Implicits
Inherited from AnyRef
Inherited from Any
