final class Dsl[F[_], R, O, S, E] extends Types[F, R, O, S, E]
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Dsl
- Types
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new Dsl(actionMod: (Single[F, R, O, S, E]) ⇒ Single[F, R, O, S, E])(implicit EM: ExecutionModel[F])
Type Members
- final class ActionB extends AnyRef
-
final
type
ActionName = NameFn[ROS]
- Definition Classes
- Types
-
final
type
Actions = Sack[data.ROS[R, O, S], Or[NamedError[Failure[E]], Outer[F, R, O, S, E]]]
- Definition Classes
- Types
-
final
type
AroundName = NameFn[BeforeAfter[OS]]
- Definition Classes
- Types
-
final
type
Arounds = Sack[data.OS[O, S], Or[NamedError[Failure[E]], Around[data.OS[O, S], E]]]
- Definition Classes
- Types
-
final
type
AssertionName = NameFn[OS]
- Definition Classes
- Types
- sealed class BiFocus[A] extends AnyRef
- final class Focus extends AnyRef
- final class FocusColl[C[X] <: scala.collection.compat.IterableOnce[X], A] extends AnyRef
- final class FocusOption[A] extends AnyRef
- final class FocusValue[A] extends AnyRef
-
final
type
Invariants = Sack[data.OS[O, S], Or[NamedError[Failure[E]], Invariant[data.OS[O, S], E]]]
- Definition Classes
- Types
-
final
type
OS = data.OS[O, S]
- Definition Classes
- Types
- final class ObsAndState[A] extends BiFocus[A]
-
final
type
Plan = run.Plan[F, R, O, S, E]
- Definition Classes
- Types
-
final
type
PlanWithInitialState = run.PlanWithInitialState[F, R, O, S, E]
- Definition Classes
- Types
-
final
type
Points = Sack[data.OS[O, S], Or[NamedError[Failure[E]], Point[data.OS[O, S], E]]]
- Definition Classes
- Types
-
final
type
ROS = data.ROS[R, O, S]
- Definition Classes
- Types
-
final
type
Test = run.Test[F, R, O, S, E]
- Definition Classes
- Types
-
final
type
TestWithInitialState = run.TestWithInitialState[F, R, O, S, E]
- Definition Classes
- Types
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val Types: Types[F, R, O, S, E]
- def action(actionName: ActionName): ActionB
- def around[A](name: AroundName)(before: (OS) ⇒ A)(test: (OS, A) ⇒ Option[E]): Arounds
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- def chooseAction(n: ActionName)(f: (ROS) ⇒ Actions): Actions
- def chooseActionAttempt(n: ActionName)(f: (ROS) ⇒ Or[E, Actions]): Actions
- def chooseAround(n: AssertionName)(f: (OS) ⇒ Arounds): Arounds
- def chooseAroundAttempt(n: AssertionName)(f: (OS) ⇒ Or[E, Arounds]): Arounds
- def chooseInvariant(n: AssertionName)(f: (OS) ⇒ Invariants): Invariants
- def chooseInvariantAttempt(n: AssertionName)(f: (OS) ⇒ Or[E, Invariants]): Invariants
- def choosePoint(n: AssertionName)(f: (OS) ⇒ Points): Points
- def choosePointAttempt(n: AssertionName)(f: (OS) ⇒ Or[E, Points]): Points
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @HotSpotIntrinsicCandidate()
- def emptyAction: Actions
- def emptyAround: Arounds
- def emptyInvariant: Invariants
- def emptyPlan: Plan
- def emptyTest(observer: Observer[R, O, E])(implicit a: ErrorHandler[E]): Test
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def focus(focusName: ⇒ String): Focus
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def point(name: AssertionName)(test: (OS) ⇒ Option[E]): Points
- def print(name: ⇒ ActionName, f: (ROS) ⇒ Any): Actions
- def print(f: (ROS) ⇒ Any): Actions
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- def test(name: AssertionName, error: (OS) ⇒ E)(testFn: (OS) ⇒ Boolean): Points
- def test(name: AssertionName)(testFn: (OS) ⇒ Boolean)(implicit ev: =:=[String, E]): Points
- def testAround(name: AroundName, error: (OS, OS) ⇒ E)(testFn: (OS, OS) ⇒ Boolean): Arounds
- def testAround(name: AroundName)(testFn: (OS, OS) ⇒ Boolean)(implicit ev: =:=[String, E]): Arounds
-
def
toString(): String
- Definition Classes
- AnyRef → Any
- val transformer: Transformer[F, R, O, S, E, F, R, O, S, E]
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
withActionMod(f: (Single[F, R, O, S, E]) ⇒ Single[F, R, O, S, E]): Dsl[F, R, O, S, E]
Multiple calls to this result in the earlier-specified functions running inside the later-specified ones.
-
def
withPreActionAssertion(assert: (ROS) ⇒ F[Unit]): Dsl[F, R, O, S, E]
Execute some kind of arbitrary assertion just before action execution.
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated @deprecated
- Deprecated
(Since version ) see corresponding Javadoc for more information.