DualBool
trait Bool[A]
trait GenBool[A]
trait Heyting[A]
trait BoundedDistributiveLattice[A]
trait DistributiveLattice[A]
trait BoundedLattice[A]
trait BoundedJoinSemilattice[A]
trait BoundedMeetSemilattice[A]
trait Lattice[A]
trait MeetSemilattice[A]
trait JoinSemilattice[A]
trait Serializable
class Object
trait Matchable
class Any
Value members
Inherited methods
Every Boolean algebra is a BoolRing, with multiplication defined as
and
and addition defined as xor
. Bool does not extend BoolRing
because, e.g. we might want a Bool[Int] and CommutativeRing[Int] to
refer to different structures, by default.
Every Boolean algebra is a BoolRing, with multiplication defined as
and
and addition defined as xor
. Bool does not extend BoolRing
because, e.g. we might want a Bool[Int] and CommutativeRing[Int] to
refer to different structures, by default.
Note that the ring returned by this method is not an extension of
the Rig
returned from BoundedDistributiveLattice.asCommutativeRig
.
- Definition Classes
- Inherited from:
- Bool