Trait

spire.std

BooleanIsBool

Related Doc: package std

Permalink

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
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. def and(a: Boolean, b: Boolean): Boolean

    Permalink
    Definition Classes
    BooleanIsBool → GenBool → Heyting

  5. def asBoolRing: BoolRing[Boolean]

    Permalink
    Definition Classes
    Bool → GenBool

  6. def asCommutativeRig: CommutativeRig[Boolean]

    Permalink
    Definition Classes
    BoundedDistributiveLattice

  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  8. def clone(): AnyRef

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

  9. def complement(a: Boolean): Boolean

    Permalink
    Definition Classes
    BooleanIsBool → Heyting

  10. def dual: Bool[Boolean]

    Permalink
    Definition Classes
    Bool → BoundedDistributiveLattice → BoundedLattice → Lattice

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

    Permalink
    Definition Classes
    AnyRef

  12. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink
    Definition Classes
    Bool → Heyting

  17. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    BoundedMeetSemilattice

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

    Permalink
    Definition Classes
    BoundedJoinSemilattice

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

    Permalink
    Definition Classes
    GenBool → JoinSemilattice

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

    Permalink
    Definition Classes
    JoinSemilattice

  22. def joinSemilattice: BoundedSemilattice[Boolean]

    Permalink
    Definition Classes
    BoundedJoinSemilattice → JoinSemilattice

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

    Permalink
    Definition Classes
    GenBool → MeetSemilattice

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

    Permalink
    Definition Classes
    MeetSemilattice

  25. def meetSemilattice: BoundedSemilattice[Boolean]

    Permalink
    Definition Classes
    BoundedMeetSemilattice → MeetSemilattice

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

    Permalink
    Definition Classes
    Heyting

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

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    Heyting

  29. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  30. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    Heyting

  32. def one: Boolean

    Permalink
    Definition Classes
    BooleanIsBool → BoundedMeetSemilattice

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

    Permalink
    Definition Classes
    BooleanIsBool → GenBool → Heyting

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

    Permalink
    Definition Classes
    AnyRef

  35. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  36. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Permalink
    Definition Classes
    Bool → GenBool

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

    Permalink
    Definition Classes
    BooleanIsBool → Bool → GenBool → Heyting

  41. def zero: Boolean

    Permalink
    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