Implication

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[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

16. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

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

24. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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( ... )

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