BooleanStructure

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 additive: Monoid[Boolean]

   Definition Classes

   AdditiveMonoid → AdditiveSemigroup

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

   Definition Classes

   BooleanIsBooleanAlgebra → BooleanAlgebra

8. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

9. def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. def compare(x: Boolean, y: Boolean): Int

    Definition Classes

    BooleanOrder → Order

11. def complement(a: Boolean): Boolean

    Definition Classes

    BooleanIsBooleanAlgebra → BooleanAlgebra

12. def dual: BooleanAlgebra[Boolean]

    Definition Classes

    BooleanAlgebra

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

    Definition Classes

    AnyRef

14. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

15. def eqv(x: Boolean, y: Boolean): Boolean

    Returns true if x and y are equivalent, false otherwise.

    Returns true if x and y are equivalent, false otherwise.

    Definition Classes

    BooleanOrder → Order → Eq

16. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    Definition Classes

    AnyRef → Any

18. def gt(x: Boolean, y: Boolean): Boolean

    Definition Classes

    BooleanOrder → Order

19. def gteqv(x: Boolean, y: Boolean): Boolean

    Definition Classes

    BooleanOrder → Order

20. def hashCode(): Int

    Definition Classes

    AnyRef → Any

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

    Definition Classes

    BooleanAlgebra

22. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

23. def lt(x: Boolean, y: Boolean): Boolean

    Definition Classes

    BooleanOrder → Order

24. def lteqv(x: Boolean, y: Boolean): Boolean

    Definition Classes

    BooleanOrder → Order

25. def max(x: Boolean, y: Boolean): Boolean

    Definition Classes

    BooleanOrder → Order

26. def min(x: Boolean, y: Boolean): Boolean

    Definition Classes

    BooleanOrder → Order

27. def multiplicative: Monoid[Boolean]

    Definition Classes

    MultiplicativeMonoid → MultiplicativeSemigroup

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

    Definition Classes

    BooleanAlgebra

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

    Definition Classes

    AnyRef

30. def neqv(x: Boolean, y: Boolean): Boolean

    Returns false if x and y are equivalent, true otherwise.

    Returns false if x and y are equivalent, true otherwise.

    Definition Classes

    BooleanOrder → Eq

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

    Definition Classes

    BooleanAlgebra

32. final def notify(): Unit

    Definition Classes

    AnyRef

33. final def notifyAll(): Unit

    Definition Classes

    AnyRef

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

    Definition Classes

    BooleanAlgebra

35. def on[B](f: (B) ⇒ Boolean): Order[B]

    Defines an order on B by mapping B to A using f and using As order to order B.

    Defines an order on B by mapping B to A using f and using As order to order B.

    Definition Classes

    Order → Eq

36. def one: Boolean

    Definition Classes

    BooleanStructure → BooleanIsRig → MultiplicativeMonoid → BooleanIsBooleanAlgebra → BooleanAlgebra

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

    Definition Classes

    BooleanIsBooleanAlgebra → BooleanAlgebra

38. def plus(a: Boolean, b: Boolean): Boolean

    Definition Classes

    BooleanIsRig → AdditiveSemigroup

39. def pow(a: Boolean, b: Int): Boolean

    Definition Classes

    BooleanIsRig → Rig → Semiring

40. def reverse: Order[Boolean]

    Defines an ordering on A where all arrows switch direction.

    Defines an ordering on A where all arrows switch direction.

    Definition Classes

    Order

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

    Definition Classes

    AnyRef

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

    Definition Classes

    BooleanIsRig → MultiplicativeSemigroup

43. def toString(): String

    Definition Classes

    AnyRef → Any

44. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    BooleanIsBooleanAlgebra → BooleanAlgebra

48. def zero: Boolean

    Definition Classes

    BooleanStructure → BooleanIsRig → AdditiveMonoid → BooleanIsBooleanAlgebra → BooleanAlgebra