trait Types[F[_], R, O, S, E] extends Any
Linear Supertypes
Known Subclasses
Ordering
- Alphabetic
- By Inheritance
Inherited
- Types
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- final type ActionName = NameFn[ROS]
- final type Actions = Sack[data.ROS[R, O, S], Or[NamedError[Failure[E]], Outer[F, R, O, S, E]]]
- final type AroundName = NameFn[BeforeAfter[OS]]
- final type Arounds = Sack[data.OS[O, S], Or[NamedError[Failure[E]], Around[data.OS[O, S], E]]]
- final type AssertionName = NameFn[OS]
- final type Invariants = Sack[data.OS[O, S], Or[NamedError[Failure[E]], Invariant[data.OS[O, S], E]]]
- final type OS = data.OS[O, S]
- final type Plan = run.Plan[F, R, O, S, E]
- final type PlanWithInitialState = run.PlanWithInitialState[F, R, O, S, E]
- final type Points = Sack[data.OS[O, S], Or[NamedError[Failure[E]], Point[data.OS[O, S], E]]]
- final type ROS = data.ROS[R, O, S]
- final type Test = run.Test[F, R, O, S, E]
- final type TestWithInitialState = run.TestWithInitialState[F, R, O, S, E]
Abstract Value Members
-
abstract
def
getClass(): Class[_]
- Definition Classes
- Any
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
equals(arg0: Any): Boolean
- Definition Classes
- Any
-
def
hashCode(): Int
- Definition Classes
- Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
toString(): String
- Definition Classes
- Any