c

teststate.run

PlanWithInitialState

final case class PlanWithInitialState[F[_], R, O, S, E](plan: Plan[F, R, O, S, E], initialState: S) extends PlanLike[F, R, O, S, E, PlanWithInitialState[F, R, O, S, E]] with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, PlanLike[F, R, O, S, E, PlanWithInitialState[F, R, O, S, E]], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PlanWithInitialState
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. PlanLike
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new PlanWithInitialState(plan: Plan[F, R, O, S, E], initialState: S)

Type Members

  1. type Self[FF[_], RR, OO, SS, EE] = PlanWithInitialState[FF, RR, OO, SS, EE]
    Definition Classes
    PlanWithInitialState → PlanLike

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. def actions: core.CoreExports.Actions[F, R, O, S, E]
    Definition Classes
    PlanLike
  5. def addInvariants(i: core.CoreExports.Invariants[O, S, E]): PlanWithInitialState[F, R, O, S, E]
    Definition Classes
    PlanLike
  6. final def asAction(name: NameFn[ROS[R, O, S]]): core.CoreExports.Actions[F, R, O, S, E]
    Definition Classes
    PlanLike
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. final def clearName: PlanWithInitialState[F, R, O, S, E]
    Definition Classes
    PlanLike
  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @HotSpotIntrinsicCandidate()
  10. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  11. implicit val executionModel: ExecutionModel[F]
    Definition Classes
    PlanLike
  12. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  13. val initialState: S
  14. def invariants: core.CoreExports.Invariants[O, S, E]
    Definition Classes
    PlanLike
  15. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  16. def mapE[EE](f: (E) ⇒ EE): Self[F, R, O, S, EE]
  17. def mapR[R2](f: (R2) ⇒ R): Self[F, R2, O, S, E]
  18. final def modActions(f: (core.CoreExports.Actions[F, R, O, S, E]) ⇒ core.CoreExports.Actions[F, R, O, S, E]): PlanWithInitialState[F, R, O, S, E]
    Definition Classes
    PlanLike
  19. final def modInvariants(f: (core.CoreExports.Invariants[O, S, E]) ⇒ core.CoreExports.Invariants[O, S, E]): PlanWithInitialState[F, R, O, S, E]
    Definition Classes
    PlanLike
  20. final def modPlan(f: (Plan[F, R, O, S, E]) ⇒ Plan[F, R, O, S, E]): PlanWithInitialState[F, R, O, S, E]
    Attributes
    protected
    Definition Classes
    PlanLike
  21. def name: Option[Name]
    Definition Classes
    PlanLike
  22. final def named(name: Name): PlanWithInitialState[F, R, O, S, E]
    Definition Classes
    PlanLike
  23. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  24. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  25. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  26. val plan: Plan[F, R, O, S, E]
    Definition Classes
    PlanWithInitialState → PlanLike
  27. def pmapO[OO](g: (OO) ⇒ Or[E, O]): Self[F, R, OO, S, E]
  28. def pmapR[R2](f: (R2) ⇒ Or[E, R]): Self[F, R2, O, S, E]
  29. final def setActions(actions: core.CoreExports.Actions[F, R, O, S, E]): PlanWithInitialState[F, R, O, S, E]
    Definition Classes
    PlanLike
  30. final def setInvariants(invariants: core.CoreExports.Invariants[O, S, E]): PlanWithInitialState[F, R, O, S, E]
    Definition Classes
    PlanLike
  31. def setPlan(p: Plan[F, R, O, S, E]): PlanWithInitialState[F, R, O, S, E]
    Attributes
    protected
    Definition Classes
    PlanWithInitialState → PlanLike
  32. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  33. def test(observer: Observer[R, O, E])(implicit a: ErrorHandler[E]): TestWithInitialState[F, R, O, S, E]
  34. def testU(implicit ev: =:=[Observer[R, Unit, E], Observer[R, O, E]], a: ErrorHandler[E]): TestWithInitialState[F, R, O, S, E]
  35. def trans[G[_]](t: ~~>[F, G])(implicit arg0: ExecutionModel[G]): Self[G, R, O, S, E]
  36. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  37. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  38. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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 Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from PlanLike[F, R, O, S, E, PlanWithInitialState[F, R, O, S, E]]

Inherited from AnyRef

Inherited from Any

Ungrouped