rdts
API
Generated with
rdts/rdts/rdts.base/Bottom

Bottom

rdts.base.Bottom
See theBottom companion object
@FunctionalInterface
trait Bottom[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
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ProductBottom[T]
class SumBottom[T]
object bottom
Show all

Members list

Value members

Abstract methods

def empty: A

Extensions

Extensions

extension (value: A)
def isEmpty: Boolean

Tests if the state is an identity of Lattice.merge, i.e., forall a with isEmpty(a) we require that amergeb == b. See Bottom for cases when an empty element can be generated.

Tests if the state is an identity of Lattice.merge, i.e., forall a with isEmpty(a) we require that amergeb == b. See Bottom for cases when an empty element can be generated.

Attributes

Generated with