japgolly.nyaya

LogicPropExt

Related Doc: package nyaya

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
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new LogicPropExt(_l: Prop[A])

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. val _l: Prop[A]

  5. def apply(a: A): Eval

    Annotations
    @inline()

  6. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  7. def assert(a: A): Unit

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

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

    Annotations
    @inline()

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

    Annotations
    @inline()

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

    Annotations
    @inline()

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

    Definition Classes
    AnyVal → Any

  12. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  13. def toString(): String

    Definition Classes
    Any

Inherited from AnyVal

Inherited from Any

Ungrouped