MeetSemilattice

algebra.lattice.MeetSemilattice
See theMeetSemilattice companion object
trait MeetSemilattice[A] extends Serializable

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
class Any
Known subtypes

Members list

Concise view

Value members

Abstract methods

def meet(lhs: A, rhs: A): A

Attributes

Source:
MeetSemilattice.scala

Concrete methods

def meetPartialOrder(implicit ev: Eq[A]): PartialOrder[A]

Attributes

Source:
MeetSemilattice.scala