Packages

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

Linear Supertypes
Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Types
  2. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. final type ActionName = NameFn[ROS]
  2. final type Actions = Sack[data.ROS[R, O, S], Or[NamedError[Failure[E]], Outer[F, R, O, S, E]]]
  3. final type AroundName = NameFn[BeforeAfter[OS]]
  4. final type Arounds = Sack[data.OS[O, S], Or[NamedError[Failure[E]], Around[data.OS[O, S], E]]]
  5. final type AssertionName = NameFn[OS]
  6. final type Invariants = Sack[data.OS[O, S], Or[NamedError[Failure[E]], Invariant[data.OS[O, S], E]]]
  7. final type OS = data.OS[O, S]
  8. final type Plan = run.Plan[F, R, O, S, E]
  9. final type PlanWithInitialState = run.PlanWithInitialState[F, R, O, S, E]
  10. final type Points = Sack[data.OS[O, S], Or[NamedError[Failure[E]], Point[data.OS[O, S], E]]]
  11. final type ROS = data.ROS[R, O, S]
  12. final type Test = run.Test[F, R, O, S, E]
  13. final type TestWithInitialState = run.TestWithInitialState[F, R, O, S, E]

Abstract Value Members

  1. abstract def getClass(): Class[_]
    Definition Classes
    Any

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    Any
  2. final def ##(): Int
    Definition Classes
    Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def equals(arg0: Any): Boolean
    Definition Classes
    Any
  6. def hashCode(): Int
    Definition Classes
    Any
  7. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  8. def toString(): String
    Definition Classes
    Any

Inherited from Any

Ungrouped