Class

nyaya.test

DomainExt

Related Doc: package test

Permalink

final class DomainExt[A] extends AnyVal

Linear Supertypes
AnyVal, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. DomainExt
  2. AnyVal
  3. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Instance Constructors

  1. new DomainExt(d: Domain[A])

    Permalink

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. def _mustProve[B >: A](p: Prop[B])(implicit S: Settings): Unit

    Permalink

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyVal → Any

  7. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  8. def mustProve(p: Prop[A])(implicit S: Settings): Unit

    Permalink

  9. def mustProveE(f: (A) ⇒ EvalL)(implicit S: Settings): Unit

    Permalink

  10. def toString(): String

    Permalink
    Definition Classes
    Any

Inherited from AnyVal

Inherited from Any

Ungrouped