Class/Object

teststate.dsl

Dsl

Related Docs: object Dsl | package dsl

Permalink

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])

    Permalink

Type Members

  1. final class ActionB extends AnyRef

    Permalink

  2. final type ActionName = NameFn[ROS]

    Permalink
    Definition Classes
    Types

  3. final type Actions = Sack[data.ROS[R, O, S], Or[NamedError[Failure[E]], Outer[F, R, O, S, E]]]

    Permalink
    Definition Classes
    Types

  4. final type AroundName = NameFn[BeforeAfter[OS]]

    Permalink
    Definition Classes
    Types

  5. final type Arounds = Sack[data.OS[O, S], Or[NamedError[Failure[E]], Around[data.OS[O, S], E]]]

    Permalink
    Definition Classes
    Types

  6. final type AssertionName = NameFn[OS]

    Permalink
    Definition Classes
    Types

  7. sealed class BiFocus[A] extends AnyRef

    Permalink

  8. final class Focus extends AnyRef

    Permalink

  9. final class FocusColl[C[X] <: TraversableOnce[X], A] extends AnyRef

    Permalink

  10. final class FocusOption[A] extends AnyRef

    Permalink

  11. final class FocusValue[A] extends AnyRef

    Permalink

  12. final type Invariants = Sack[data.OS[O, S], Or[NamedError[Failure[E]], Invariant[data.OS[O, S], E]]]

    Permalink
    Definition Classes
    Types

  13. final type OS = data.OS[O, S]

    Permalink
    Definition Classes
    Types

  14. final class ObsAndState[A] extends BiFocus[A]

    Permalink

  15. final type Plan = run.Plan[F, R, O, S, E]

    Permalink
    Definition Classes
    Types

  16. final type PlanWithInitialState = run.PlanWithInitialState[F, R, O, S, E]

    Permalink
    Definition Classes
    Types

  17. final type Points = Sack[data.OS[O, S], Or[NamedError[Failure[E]], Point[data.OS[O, S], E]]]

    Permalink
    Definition Classes
    Types

  18. final type ROS = data.ROS[R, O, S]

    Permalink
    Definition Classes
    Types

  19. final type Test = run.Test[F, R, O, S, E]

    Permalink
    Definition Classes
    Types

  20. final type TestWithInitialState = run.TestWithInitialState[F, R, O, S, E]

    Permalink
    Definition Classes
    Types

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. val Types: Types[F, R, O, S, E]

    Permalink

  5. def action(actionName: ActionName): ActionB

    Permalink

  6. def around[A](name: AroundName)(before: (OS) ⇒ A)(test: (OS, A) ⇒ Option[E]): Arounds

    Permalink

  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  8. def chooseAction(n: ActionName)(f: (ROS) ⇒ Actions): Actions

    Permalink

  9. def chooseActionAttempt(n: ActionName)(f: (ROS) ⇒ Or[E, Actions]): Actions

    Permalink

  10. def chooseAround(n: AssertionName)(f: (OS) ⇒ Arounds): Arounds

    Permalink

  11. def chooseAroundAttempt(n: AssertionName)(f: (OS) ⇒ Or[E, Arounds]): Arounds

    Permalink

  12. def chooseInvariant(n: AssertionName)(f: (OS) ⇒ Invariants): Invariants

    Permalink

  13. def chooseInvariantAttempt(n: AssertionName)(f: (OS) ⇒ Or[E, Invariants]): Invariants

    Permalink

  14. def choosePoint(n: AssertionName)(f: (OS) ⇒ Points): Points

    Permalink

  15. def choosePointAttempt(n: AssertionName)(f: (OS) ⇒ Or[E, Points]): Points

    Permalink

  16. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  17. def emptyAction: Actions

    Permalink

  18. def emptyAround: Arounds

    Permalink

  19. def emptyInvariant: Invariants

    Permalink

  20. def emptyPlan: Plan

    Permalink

  21. def emptyTest(observer: Observer[R, O, E])(implicit a: ErrorHandler[E]): Test

    Permalink

  22. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  23. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  24. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  25. def focus(focusName: ⇒ String): Focus

    Permalink

  26. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  27. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  28. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  29. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  30. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  31. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  32. def point(name: AssertionName)(test: (OS) ⇒ Option[E]): Points

    Permalink

  33. def print(name: ⇒ ActionName, f: (ROS) ⇒ Any): Actions

    Permalink

  34. def print(f: (ROS) ⇒ Any): Actions

    Permalink

  35. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  36. def test(name: AssertionName, error: (OS) ⇒ E)(testFn: (OS) ⇒ Boolean): Points

    Permalink

  37. def test(name: AssertionName)(testFn: (OS) ⇒ Boolean)(implicit ev: =:=[String, E]): Points

    Permalink

  38. def testAround(name: AroundName, error: (OS, OS) ⇒ E)(testFn: (OS, OS) ⇒ Boolean): Arounds

    Permalink

  39. def testAround(name: AroundName)(testFn: (OS, OS) ⇒ Boolean)(implicit ev: =:=[String, E]): Arounds

    Permalink

  40. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  41. val transformer: Transformer[F, R, O, S, E, F, R, O, S, E]

    Permalink

  42. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  43. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  44. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  45. def withActionMod(f: (Single[F, R, O, S, E]) ⇒ Single[F, R, O, S, E]): Dsl[F, R, O, S, E]

    Permalink

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

Inherited from AnyRef

Inherited from Any

Ungrouped