Packages

final class Dsl[F[_], R, O, S, E] extends Types[F, R, O, S, E]

Linear Supertypes
Types[F, R, O, S, E], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Dsl
  2. Types
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Dsl(actionMod: (Single[F, R, O, S, E]) ⇒ Single[F, R, O, S, E])(implicit EM: ExecutionModel[F])

Type Members

  1. final class ActionB extends AnyRef
  2. final type ActionName = NameFn[ROS]
    Definition Classes
    Types
  3. final type Actions = Sack[data.ROS[R, O, S], Or[NamedError[Failure[E]], Outer[F, R, O, S, E]]]
    Definition Classes
    Types
  4. final type AroundName = NameFn[BeforeAfter[OS]]
    Definition Classes
    Types
  5. final type Arounds = Sack[data.OS[O, S], Or[NamedError[Failure[E]], Around[data.OS[O, S], E]]]
    Definition Classes
    Types
  6. final type AssertionName = NameFn[OS]
    Definition Classes
    Types
  7. sealed class BiFocus[A] extends AnyRef
  8. final class Focus extends AnyRef
  9. final class FocusColl[C[X] <: scala.collection.compat.IterableOnce[X], A] extends AnyRef
  10. final class FocusOption[A] extends AnyRef
  11. final class FocusValue[A] extends AnyRef
  12. final type Invariants = Sack[data.OS[O, S], Or[NamedError[Failure[E]], Invariant[data.OS[O, S], E]]]
    Definition Classes
    Types
  13. final type OS = data.OS[O, S]
    Definition Classes
    Types
  14. final class ObsAndState[A] extends BiFocus[A]
  15. final type Plan = run.Plan[F, R, O, S, E]
    Definition Classes
    Types
  16. final type PlanWithInitialState = run.PlanWithInitialState[F, R, O, S, E]
    Definition Classes
    Types
  17. final type Points = Sack[data.OS[O, S], Or[NamedError[Failure[E]], Point[data.OS[O, S], E]]]
    Definition Classes
    Types
  18. final type ROS = data.ROS[R, O, S]
    Definition Classes
    Types
  19. final type Test = run.Test[F, R, O, S, E]
    Definition Classes
    Types
  20. final type TestWithInitialState = run.TestWithInitialState[F, R, O, S, E]
    Definition Classes
    Types

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val Types: Types[F, R, O, S, E]
  5. def action(actionName: ActionName): ActionB
  6. def around[A](name: AroundName)(before: (OS) ⇒ A)(test: (OS, A) ⇒ Option[E]): Arounds
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def chooseAction(n: ActionName)(f: (ROS) ⇒ Actions): Actions
  9. def chooseActionAttempt(n: ActionName)(f: (ROS) ⇒ Or[E, Actions]): Actions
  10. def chooseAround(n: AssertionName)(f: (OS) ⇒ Arounds): Arounds
  11. def chooseAroundAttempt(n: AssertionName)(f: (OS) ⇒ Or[E, Arounds]): Arounds
  12. def chooseInvariant(n: AssertionName)(f: (OS) ⇒ Invariants): Invariants
  13. def chooseInvariantAttempt(n: AssertionName)(f: (OS) ⇒ Or[E, Invariants]): Invariants
  14. def choosePoint(n: AssertionName)(f: (OS) ⇒ Points): Points
  15. def choosePointAttempt(n: AssertionName)(f: (OS) ⇒ Or[E, Points]): Points
  16. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @HotSpotIntrinsicCandidate()
  17. def emptyAction: Actions
  18. def emptyAround: Arounds
  19. def emptyInvariant: Invariants
  20. def emptyPlan: Plan
  21. def emptyTest(observer: Observer[R, O, E])(implicit a: ErrorHandler[E]): Test
  22. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  23. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  24. def focus(focusName: ⇒ String): Focus
  25. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  26. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  27. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  28. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  29. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  30. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  31. def point(name: AssertionName)(test: (OS) ⇒ Option[E]): Points
  32. def print(name: ⇒ ActionName, f: (ROS) ⇒ Any): Actions
  33. def print(f: (ROS) ⇒ Any): Actions
  34. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  35. def test(name: AssertionName, error: (OS) ⇒ E)(testFn: (OS) ⇒ Boolean): Points
  36. def test(name: AssertionName)(testFn: (OS) ⇒ Boolean)(implicit ev: =:=[String, E]): Points
  37. def testAround(name: AroundName, error: (OS, OS) ⇒ E)(testFn: (OS, OS) ⇒ Boolean): Arounds
  38. def testAround(name: AroundName)(testFn: (OS, OS) ⇒ Boolean)(implicit ev: =:=[String, E]): Arounds
  39. def toString(): String
    Definition Classes
    AnyRef → Any
  40. val transformer: Transformer[F, R, O, S, E, F, R, O, S, E]
  41. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  43. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  44. 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.

  45. 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

  1. 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.

Inherited from Types[F, R, O, S, E]

Inherited from AnyRef

Inherited from Any

Ungrouped