japgolly.nyaya

LogicPropExt

implicit final class LogicPropExt[A] extends AnyVal

Linear Supertypes
AnyVal, NotNull, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. LogicPropExt
  2. AnyVal
  3. NotNull
  4. 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 getClass(): Class[_ <: AnyVal]

    Definition Classes
    AnyVal → Any

  11. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  12. def toString(): String

    Definition Classes
    Any

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

    Annotations
    @inline()

Inherited from AnyVal

Inherited from NotNull

Inherited from Any

Ungrouped