BooleanStructure

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.

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.

Like compare, but returns a cats.kernel.Comparison instead of an Int. Has the benefit of being able to pattern match on, but not as performant.

Like partialCompare, but returns a cats.kernel.Comparison instead of an Double. Has the benefit of being able to pattern match on, but not as performant.

Returns Some(x) if x >= y, Some(y) if x < y, otherwise None.

Returns Some(x) if x <= y, Some(y) if x > y, otherwise None.

Given a sequence of as, compute the product.

Given a sequence of as, compute the sum.

Convert a Order[A] to a scala.math.Ordering[A] instance.

Result of comparing x with y. Returns None if operands are not comparable. If operands are comparable, returns Some[Int] where the Int sign is:

• negative iff x < y
• zero iff x = y
• positive iff x > y