Prelude / MeetLattice

MeetLattice

trait MeetLattice[a: Type] with PartialOrder[a]Source

Trait for types that form a meet semi-lattice.

A meet lattice is a pair of functions (⊑, ⊓) where ⊑ is a partial order and ⊓ satisfies two properties: lower-bound and greatest-lower-bound.

Instances

Primitives: Int8, Int16, Int32, Int64, BigInt and tuples of 2 to 10 elements
Non-primitives: Down[a], Map[k, v], Option[t], Set[a]

def greatestLowerBound(x: a, y: a): a with MeetLattice[a]§ Source

Returns the greatest lower bound of x and y.