Class

nyaya.prop

LogicPropExt

Related Doc: package prop

Permalink

implicit final class LogicPropExt[A] extends AnyVal

Linear Supertypes
AnyVal, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. LogicPropExt
  2. AnyVal
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new LogicPropExt(prop: Prop[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 apply(a: A): Eval

    Permalink
    Annotations
    @inline()

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def assert(a: A): Unit

    Permalink
    Annotations
    @elidable( elidable.ASSERTION ) @inline()

  7. def forall[B, F[_]](f: (B) ⇒ F[A])(implicit arg0: Foldable[F]): Prop[B]

    Permalink
    Annotations
    @inline()

  8. def forallF[F[_]](implicit arg0: Foldable[F]): Prop[F[A]]

    Permalink
    Annotations
    @inline()

  9. def forallS[B, F[_], C](f: (B) ⇒ F[C])(implicit arg0: Foldable[F], ev: <:<[C, A]): Prop[B]

    Permalink
    Annotations
    @inline()

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

    Permalink
    Definition Classes
    AnyVal → Any

  11. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  12. def toString(): String

    Permalink
    Definition Classes
    Any

Inherited from AnyVal

Inherited from Any

Ungrouped