ProductLattice
rdts.base.Lattice.Derivation.ProductLattice
class ProductLattice[T <: Product](lattices: Tuple, bottoms: Tuple, pm: ProductOf[T], label: String) extends Lattice[T]
Attributes
- Graph
-
- Supertypes
Members list
Value members
Concrete methods
Lattice order is derived from merge, but should be overridden for efficiency
Lattice order is derived from merge, but should be overridden for efficiency
Attributes
- Definition Classes
By assumption: associative, commutative, idempotent.
By assumption: associative, commutative, idempotent.
Implementation note: If it matters, assume that left is the current state and right is an added delta. All code should assume that left is the larger state (and optimize for this). If left == right, prefer to return left.
Attributes
- Definition Classes
Returns a string representation of the object.
Returns a string representation of the object.
The default representation is platform dependent.
Attributes
- Returns
-
a string representation of the object.
- Definition Classes
-
Any
Extensions
Inherited extensions
extension (left: T)
Convenience extensions for the above.
In this article