c

nyaya.prop

Reduction

final case class Reduction[P[_], A](c: Logic[P, A], a: Logic[P, A]) extends Logic[P, A] with Product with Serializable

Linear Supertypes
Serializable, Serializable, Product, Equals, Logic[P, A], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Reduction
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. Logic
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Reduction(c: Logic[P, A], a: Logic[P, A])

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def &(q: Logic[P, A]): Logic[P, A]
    Definition Classes
    Logic
    Annotations
    @inline()
  4. final def <==(a: Logic[P, A]): Logic[P, A]
    Definition Classes
    Logic
  5. final def <==>(q: Logic[P, A]): Logic[P, A]
    Definition Classes
    Logic
  6. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  7. final def ==>(c: Logic[P, A]): Logic[P, A]
    Definition Classes
    Logic
  8. val a: Logic[P, A]
  9. final def and(q: Logic[P, A]): Logic[P, A]
    Definition Classes
    Logic
    Annotations
    @inline()
  10. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  11. val c: Logic[P, A]
  12. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  13. final def contramap[B](f: (B) ⇒ A): Logic[P, B]
    Definition Classes
    Logic
  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  16. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  17. final def ifelse(ifPass: Logic[P, A], ifFail: Logic[P, A]): Logic[P, A]
    Definition Classes
    Logic
  18. final def iff(q: Logic[P, A]): Logic[P, A]
    Definition Classes
    Logic
    Annotations
    @inline()
  19. final def implies(c: Logic[P, A]): Logic[P, A]
    Definition Classes
    Logic
    Annotations
    @inline()
  20. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  21. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. final def not: Logic[P, A]
    Definition Classes
    Logic
    Annotations
    @inline()
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  25. final def or(q: Logic[P, A]): Logic[P, A]
    Definition Classes
    Logic
    Annotations
    @inline()
  26. final def rename(n: ⇒ String): Logic[P, A]
    Definition Classes
    Logic
  27. final def rename_:(name: ⇒ String): Logic[P, A]
    Definition Classes
    Logic
    Annotations
    @inline()
  28. final def run(x: (P[A]) ⇒ Eval)(implicit F: Contravariant[P]): Eval
    Definition Classes
    Logic
  29. final def subst[B <: A]: Logic[P, B]
    Definition Classes
    Logic
    Annotations
    @inline()
  30. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  31. final def unary_~: Logic[P, A]
    Definition Classes
    Logic
  32. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  35. final def |(q: Logic[P, A]): Logic[P, A]
    Definition Classes
    Logic
    Annotations
    @inline()
  36. final def ⇐(a: Logic[P, A]): Logic[P, A]
    Definition Classes
    Logic
    Annotations
    @inline()
  37. final def ⇔(q: Logic[P, A]): Logic[P, A]
    Definition Classes
    Logic
    Annotations
    @inline()
  38. final def ∧(q: Logic[P, A]): Logic[P, A]
    Definition Classes
    Logic
  39. final def ∨(q: Logic[P, A]): Logic[P, A]
    Definition Classes
    Logic

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Logic[P, A]

Inherited from AnyRef

Inherited from Any

Ungrouped