core/teststate.dsl/Dsl/Types

Types

trait Types[F[_], R, O, S, E]
class Any
class Dsl[F, R, O, S, E]

Type members

Types

final type ActionName = NameFn[ROS]
final type Actions = Actions[F, R, O, S, E]
final type AroundName = NameFn[BeforeAfter[OS]]
final type Arounds = Arounds[O, S, E]
final type AssertionName = NameFn[OS]
final type Invariants = Invariants[O, S, E]
final type OS = OS[O, S]
final type Plan = Plan[F, R, O, S, E]
final type PlanWithInitialState = PlanWithInitialState[F, R, O, S, E]
final type Points = Points[O, S, E]
final type ROS = ROS[R, O, S]
final type Test = Test[F, R, O, S, E]
final type TestWithInitialState = TestWithInitialState[F, R, O, S, E]