BooleanIsBool
Value members
Concrete methods
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
- Bool -> GenBool
- Inherited from
- Bool
Return a CommutativeRig using join and meet. Note this must obey the commutative rig laws since meet(a, one) = a, and meet and join are associative, commutative and distributive.
Return a CommutativeRig using join and meet. Note this must obey the commutative rig laws since meet(a, one) = a, and meet and join are associative, commutative and distributive.
- Inherited from
- BoundedDistributiveLattice
- Definition Classes
- Bool -> BoundedDistributiveLattice -> BoundedLattice -> Lattice
- Inherited from
- Bool
- Definition Classes
- BoundedJoinSemilattice -> JoinSemilattice
- Inherited from
- BoundedJoinSemilattice