kofre
API
Generated with
kofre/kofre/kofre.base/Bottom/Derived/ProductBottom

ProductBottom

kofre.base.Bottom.Derived.ProductBottom
class ProductBottom[T](pm: ProductOf[T], bottoms: Tuple) extends Bottom[T]

Attributes

Graph
Supertypes
trait Bottom[T]
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

override def empty: T

Attributes

Definition Classes

Extensions

Extensions

extension (value: T)
override def isEmpty: Boolean

Tests if the state is an identity of Lattice.merge, i.e., forall a with isEmpty(a) we require that a merge b == 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 a merge b == b. See Bottom for cases when an empty element can be generated.

Attributes

Definition Classes
Generated with