BoolFromBoolRing
Every Boolean ring gives rise to a Boolean algebra:
Every Boolean ring gives rise to a Boolean algebra:
- 0 and 1 are preserved;
- ring multiplication (
times) corresponds toand; - ring addition (
plus) corresponds toxor; a or bis then defined asa xor b xor (a and b);- complement (
¬a) is defined asa xor 1.
trait Bool[A]
trait Heyting[A]
trait BoundedDistributiveLattice[A]
trait BoundedLattice[A]
trait BoundedMeetSemilattice[A]
class GenBoolFromBoolRng[A]
trait GenBool[A]
trait BoundedJoinSemilattice[A]
trait DistributiveLattice[A]
trait Lattice[A]
trait MeetSemilattice[A]
trait JoinSemilattice[A]
trait Serializable
class Object
trait Matchable
class Any
Value members
Concrete methods
Inherited methods
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