Class

teststate.ExtNyaya

DslNyayaOps

Related Doc: package ExtNyaya

Permalink

final class DslNyayaOps[F[_], R, O, S, E] extends AnyVal with Types[F, R, O, S, E]

Linear Supertypes
Types[F, R, O, S, E], AnyVal, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DslNyayaOps
  2. Types
  3. AnyVal
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new DslNyayaOps(dsl: Exports.Dsl[F, R, O, S, E])

    Permalink

Type Members

  1. final type ActionName = NameFn[ROS]

    Permalink
    Definition Classes
    Types

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

    Permalink
    Definition Classes
    Types

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

    Permalink
    Definition Classes
    Types

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

    Permalink
    Definition Classes
    Types

  5. final type AssertionName = NameFn[OS]

    Permalink
    Definition Classes
    Types

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

    Permalink
    Definition Classes
    Types

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

    Permalink
    Definition Classes
    Types

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

    Permalink
    Definition Classes
    Types

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

    Permalink
    Definition Classes
    Types

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

    Permalink
    Definition Classes
    Types

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

    Permalink
    Definition Classes
    Types

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

    Permalink
    Definition Classes
    Types

  13. 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
    Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def genActions(name: ActionName)(g: Gen[Actions])(implicit s: Settings): Actions

    Permalink

  6. def genActionsBy(name: ActionName)(g: (ROS) ⇒ Gen[Actions])(implicit s: Settings): Actions

    Permalink

  7. def getClass(): Class[_ <: AnyVal]

    Permalink
    Definition Classes
    AnyVal → Any

  8. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  9. def toString(): String

    Permalink
    Definition Classes
    Any

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

Inherited from AnyVal

Inherited from Any

Ungrouped