spire.std

BooleanIsBool

trait BooleanIsBool extends Bool[Boolean]

Linear Supertypes
Bool[Boolean], GenBool[Boolean], Heyting[Boolean], BoundedDistributiveLattice[Boolean], DistributiveLattice[Boolean], BoundedLattice[Boolean], BoundedJoinSemilattice[Boolean], BoundedMeetSemilattice[Boolean], Lattice[Boolean], MeetSemilattice[Boolean], JoinSemilattice[Boolean], Serializable, Serializable, AnyRef, Any
Known Subclasses
BooleanStructure
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. BooleanIsBool
  2. Bool
  3. GenBool
  4. Heyting
  5. BoundedDistributiveLattice
  6. DistributiveLattice
  7. BoundedLattice
  8. BoundedJoinSemilattice
  9. BoundedMeetSemilattice
  10. Lattice
  11. MeetSemilattice
  12. JoinSemilattice
  13. Serializable
  14. Serializable
  15. AnyRef
  16. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. def and(a: Boolean, b: Boolean): Boolean

    Definition Classes
    BooleanIsBool → GenBool → Heyting

  7. def asBoolRing: BoolRing[Boolean]

    Definition Classes
    Bool → GenBool

  8. def asCommutativeRig: CommutativeRig[Boolean]

    Definition Classes
    BoundedDistributiveLattice

  9. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  10. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  11. def complement(a: Boolean): Boolean

    Definition Classes
    BooleanIsBool → Heyting

  12. def dual: Bool[Boolean]

    Definition Classes
    Bool → BoundedDistributiveLattice → BoundedLattice → Lattice

  13. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  14. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  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. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  18. def imp(a: Boolean, b: Boolean): Boolean

    Definition Classes
    Bool → Heyting

  19. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  20. def isOne(a: Boolean)(implicit ev: Eq[Boolean]): Boolean

    Definition Classes
    BoundedMeetSemilattice

  21. def isZero(a: Boolean)(implicit ev: Eq[Boolean]): Boolean

    Definition Classes
    BoundedJoinSemilattice

  22. def join(a: Boolean, b: Boolean): Boolean

    Definition Classes
    GenBool → JoinSemilattice

  23. def joinPartialOrder(implicit ev: Eq[Boolean]): PartialOrder[Boolean]

    Definition Classes
    JoinSemilattice

  24. def joinSemilattice: BoundedSemilattice[Boolean]

    Definition Classes
    BoundedJoinSemilattice → JoinSemilattice

  25. def meet(a: Boolean, b: Boolean): Boolean

    Definition Classes
    GenBool → MeetSemilattice

  26. def meetPartialOrder(implicit ev: Eq[Boolean]): PartialOrder[Boolean]

    Definition Classes
    MeetSemilattice

  27. def meetSemilattice: BoundedSemilattice[Boolean]

    Definition Classes
    BoundedMeetSemilattice → MeetSemilattice

  28. def nand(a: Boolean, b: Boolean): Boolean

    Definition Classes
    Heyting

  29. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  30. def nor(a: Boolean, b: Boolean): Boolean

    Definition Classes
    Heyting

  31. final def notify(): Unit

    Definition Classes
    AnyRef

  32. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  33. def nxor(a: Boolean, b: Boolean): Boolean

    Definition Classes
    Heyting

  34. def one: Boolean

    Definition Classes
    BooleanIsBool → BoundedMeetSemilattice

  35. def or(a: Boolean, b: Boolean): Boolean

    Definition Classes
    BooleanIsBool → GenBool → Heyting

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

    Definition Classes
    AnyRef

  37. def toString(): String

    Definition Classes
    AnyRef → Any

  38. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  39. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  40. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  41. def without(a: Boolean, b: Boolean): Boolean

    Definition Classes
    Bool → GenBool

  42. def xor(a: Boolean, b: Boolean): Boolean

    Definition Classes
    BooleanIsBool → Bool → GenBool → Heyting

  43. def zero: Boolean

    Definition Classes
    BooleanIsBool → BoundedJoinSemilattice

Inherited from Bool[Boolean]

Inherited from GenBool[Boolean]

Inherited from Heyting[Boolean]

Inherited from BoundedDistributiveLattice[Boolean]

Inherited from DistributiveLattice[Boolean]

Inherited from BoundedLattice[Boolean]

Inherited from BoundedJoinSemilattice[Boolean]

Inherited from BoundedMeetSemilattice[Boolean]

Inherited from Lattice[Boolean]

Inherited from MeetSemilattice[Boolean]

Inherited from JoinSemilattice[Boolean]

Inherited from Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped