algebra.lattice.MeetSemilattice
See theMeetSemilattice companion object
A meet-semilattice (or lower semilattice) is a semilattice whose operation is called "meet", and which can be thought of as a greatest lower bound.
Attributes
- Companion:
- object
- Source:
- MeetSemilattice.scala
- Graph
- Supertypes
- trait Serializableclass Any
- Known subtypes
- trait BoundedMeetSemilattice[A]trait BoundedLattice[A]trait BoundedDistributiveLattice[A]trait Heyting[A]trait Bool[A]class BooleanAlgebraclass BoolFromBoolRing[A]class DualBool[A]trait Logic[A]trait DeMorgan[A]class MinMaxBoundedDistributiveLattice[A]trait Lattice[A]trait DistributiveLattice[A]trait GenBool[A]class BitSetAlgebraclass SetLattice[A]class GenBoolFromBoolRng[A]class MinMaxLattice[A]