kofre.base.Lattice$
See theLattice companion trait
object Lattice
Members list
Concise view
Type members
Classlikes
object Derivation
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- Derivation.type
Value members
Concrete methods
Merge functions can throw away redundant information, if one constructs values directly (not by using operators) this could result in values that should be equal, but are not. Normalize fixes this.
Merge functions can throw away redundant information, if one constructs values directly (not by using operators) this could result in values that should be equal, but are not. Normalize fixes this.
Attributes
Givens
Givens
This causes tuple lattices to be generally derivable implicitly, without making all products derivable implicitly.
This causes tuple lattices to be generally derivable implicitly, without making all products derivable implicitly.