Object/Trait

algebra.lattice

DeMorgan

Related Docs: trait DeMorgan | package lattice

Permalink

object DeMorgan extends DeMorganFunctions[DeMorgan] with Serializable

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DeMorgan
  2. Serializable
  3. Serializable
  4. DeMorganFunctions
  5. LogicFunctions
  6. BoundedJoinSemilatticeFunctions
  7. JoinSemilatticeFunctions
  8. BoundedMeetSemilatticeFunctions
  9. MeetSemilatticeFunctions
  10. AnyRef
  11. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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 ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def apply[A](implicit ev: DeMorgan[A]): DeMorgan[A]

    Permalink

    Access an implicit DeMorgan[A].

    Access an implicit DeMorgan[A].

    Annotations
    @inline()
  5. final def asInstanceOf[T0]: T0

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

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  7. def complement[A](x: A)(implicit ev: DeMorgan[A]): A

    Permalink
    Definition Classes
    LogicFunctions
  8. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  9. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  10. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. final def fromBool[A](bool: Bool[A]): DeMorgan[A]

    Permalink

    Turn a Bool into a DeMorgan Used for binary compatibility.

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

    Permalink
    Definition Classes
    AnyRef → Any
  13. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  14. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  15. def join[A](x: A, y: A)(implicit ev: DeMorgan[A]): A

    Permalink
    Definition Classes
    JoinSemilatticeFunctions
  16. def meet[A](x: A, y: A)(implicit ev: DeMorgan[A]): A

    Permalink
    Definition Classes
    MeetSemilatticeFunctions
  17. def nand[A](x: A, y: A)(implicit ev: DeMorgan[A]): A

    Permalink
    Definition Classes
    LogicFunctions
  18. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  19. def nor[A](x: A, y: A)(implicit ev: DeMorgan[A]): A

    Permalink
    Definition Classes
    LogicFunctions
  20. final def notify(): Unit

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

    Permalink
    Definition Classes
    AnyRef
  22. def nxor[A](x: A, y: A)(implicit ev: DeMorgan[A]): A

    Permalink
    Definition Classes
    LogicFunctions
  23. def one[A](implicit ev: DeMorgan[A]): A

    Permalink
  24. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  25. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  26. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  29. def zero[A](implicit ev: DeMorgan[A]): A

    Permalink

Inherited from Serializable

Inherited from Serializable

Inherited from DeMorganFunctions[DeMorgan]

Inherited from LogicFunctions[DeMorgan]

Inherited from AnyRef

Inherited from Any

Ungrouped