kofre.base
package kofre.base
Members list
Concise view
Type members
Classlikes
Bottom.empty is the identity of Lattice.merge
Bottom.empty is the identity of Lattice.merge
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- class ProductBottom[T]object intMaxBottom.type
object Bottom
Decomposition tries to decompose a lattice into its smallest constituents. The only requirement is that merging the decomposed results produces the original state. Requires a bottom to enable automatic decomposition of Product types
Decomposition tries to decompose a lattice into its smallest constituents. The only requirement is that merging the decomposed results produces the original state. Requires a bottom to enable automatic decomposition of Product types
Attributes
- Companion:
- object
- Graph
- Supertypes
- Known subtypes
- trait DecomposeFromLattice[A]class ProductDecomposeLattice[T]trait DottedDecompose[A]class FromConlattice[A]class ProductDottedDecompose[T]object latticeInstance.type
object DecomposeLattice
Attributes
- Companion:
- trait
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- DecomposeLattice.type
Well, its technically a semilattice, but that is just more to type.
Well, its technically a semilattice, but that is just more to type.
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Known subtypes
- trait DecomposeLattice[A]trait DecomposeFromLattice[A]class ProductDecomposeLattice[T]trait DottedDecompose[A]class FromConlattice[A]class ProductDottedDecompose[T]object latticeInstance.typeclass ProductLattice[T]trait DottedLattice[A]object dottedLattice.type