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 Bottom
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
- class ProductLattice[T]trait DottedLattice[A]class ProductDottedLattice[T]object latticeInstance.type
object Lattice