Prelude / JoinLattice

JoinLattice

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

Trait for types that form a join semi-lattice.

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 leastUpperBound(x: a, y: a): a with JoinLattice[a]§ Source

Returns the least upper bound of x and y.