kofre.base
package kofre.base
Members list
Type members
Classlikes
@FunctionalInterface
Provides an empty value of type A
Provides an empty value of type A
By assumption empty is the identity of Lattice.merge
That is:
Lattice.merge(empty, x) == Lattice.normalize(x)
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
object Bottom
Attributes
- Companion
- object
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass AnyShow all
object BottomOpt
@FunctionalInterface
A lattice describes a set of values where we always can merge two values and get a “consistent” result. Technically, this is a join semilattice. See also Bottom.
A lattice describes a set of values where we always can merge two values and get a “consistent” result. Technically, this is a join semilattice. See also Bottom.
Attributes
- Companion
- object
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class ProductLattice[T]class SumLattice[T]class GenericLastWriterWinsLattice[A]object latticeInstance
object Lattice
Types
In this article