Class

nyaya.prop

Conjunction

Related Doc: package prop

Permalink

final case class Conjunction[P[_], A](ls: NonEmptyList[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. Conjunction
  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 Conjunction(ls: NonEmptyList[Logic[P, A]])

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def &(q: Logic[P, A]): Logic[P, A]

    Permalink
    Definition Classes
    Logic
    Annotations
    @inline()
  4. final def <==(a: Logic[P, A]): Logic[P, A]

    Permalink
    Definition Classes
    Logic
  5. final def <==>(q: Logic[P, A]): Logic[P, A]

    Permalink
    Definition Classes
    Logic
  6. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  7. final def ==>(c: Logic[P, A]): Logic[P, A]

    Permalink
    Definition Classes
    Logic
  8. final def and(q: Logic[P, A]): Logic[P, A]

    Permalink
    Definition Classes
    Logic
    Annotations
    @inline()
  9. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  10. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  11. final def contramap[B](f: (B) ⇒ A): Logic[P, B]

    Permalink
    Definition Classes
    Logic
  12. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  13. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  15. final def ifelse(ifPass: Logic[P, A], ifFail: Logic[P, A]): Logic[P, A]

    Permalink
    Definition Classes
    Logic
  16. final def iff(q: Logic[P, A]): Logic[P, A]

    Permalink
    Definition Classes
    Logic
    Annotations
    @inline()
  17. final def implies(c: Logic[P, A]): Logic[P, A]

    Permalink
    Definition Classes
    Logic
    Annotations
    @inline()
  18. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  19. val ls: NonEmptyList[Logic[P, A]]

    Permalink
  20. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  21. final def not: Logic[P, A]

    Permalink
    Definition Classes
    Logic
    Annotations
    @inline()
  22. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  23. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  24. final def or(q: Logic[P, A]): Logic[P, A]

    Permalink
    Definition Classes
    Logic
    Annotations
    @inline()
  25. final def rename(n: ⇒ String): Logic[P, A]

    Permalink
    Definition Classes
    Logic
  26. final def rename_:(name: ⇒ String): Logic[P, A]

    Permalink
    Definition Classes
    Logic
    Annotations
    @inline()
  27. final def run(x: (P[A]) ⇒ Eval)(implicit F: Contravariant[P]): Eval

    Permalink
    Definition Classes
    Logic
  28. final def subst[B <: A]: Logic[P, B]

    Permalink
    Definition Classes
    Logic
    Annotations
    @inline()
  29. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  30. final def unary_~: Logic[P, A]

    Permalink
    Definition Classes
    Logic
  31. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  33. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  34. final def |(q: Logic[P, A]): Logic[P, A]

    Permalink
    Definition Classes
    Logic
    Annotations
    @inline()
  35. final def (a: Logic[P, A]): Logic[P, A]

    Permalink
    Definition Classes
    Logic
    Annotations
    @inline()
  36. final def (q: Logic[P, A]): Logic[P, A]

    Permalink
    Definition Classes
    Logic
    Annotations
    @inline()
  37. final def (q: Logic[P, A]): Logic[P, A]

    Permalink
    Definition Classes
    Logic
  38. final def (q: Logic[P, A]): Logic[P, A]

    Permalink
    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