JoinLattice
trait JoinLattice[a: Type] with PartialOrder[a]SourceA trait for join semi lattices.
Instances
instance JoinLattice[Down[a]] with MeetLattice[a]Sourceinstance JoinLattice[Int8]Sourceinstance JoinLattice[Int16]Sourceinstance JoinLattice[Int32]Sourceinstance JoinLattice[Int64]Sourceinstance JoinLattice[BigInt]Sourceinstance JoinLattice[(a1, a2)] with JoinLattice[a1], JoinLattice[a2]Sourceinstance JoinLattice[(a1, a2, a3)] with JoinLattice[a1], JoinLattice[a2], JoinLattice[a3]Sourceinstance JoinLattice[(a1, a2, a3, a4)] with JoinLattice[a1], JoinLattice[a2], JoinLattice[a3], JoinLattice[a4]Sourceinstance JoinLattice[(a1, a2, a3, a4, a5)] with JoinLattice[a1], JoinLattice[a2], JoinLattice[a3], JoinLattice[a4], JoinLattice[a5]Sourceinstance JoinLattice[(a1, a2, a3, a4, a5, a6)] with JoinLattice[a1], JoinLattice[a2], JoinLattice[a3], JoinLattice[a4], JoinLattice[a5], JoinLattice[a6]Sourceinstance JoinLattice[(a1, a2, a3, a4, a5, a6, a7)] with JoinLattice[a1], JoinLattice[a2], JoinLattice[a3], JoinLattice[a4], JoinLattice[a5], JoinLattice[a6], JoinLattice[a7]Sourceinstance JoinLattice[(a1, a2, a3, a4, a5, a6, a7, a8)] with JoinLattice[a1], JoinLattice[a2], JoinLattice[a3], JoinLattice[a4], JoinLattice[a5], JoinLattice[a6], JoinLattice[a7], JoinLattice[a8]Sourceinstance JoinLattice[(a1, a2, a3, a4, a5, a6, a7, a8, a9)] with JoinLattice[a1], JoinLattice[a2], JoinLattice[a3], JoinLattice[a4], JoinLattice[a5], JoinLattice[a6], JoinLattice[a7], JoinLattice[a8], JoinLattice[a9]Sourceinstance JoinLattice[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)] with JoinLattice[a1], JoinLattice[a2], JoinLattice[a3], JoinLattice[a4], JoinLattice[a5], JoinLattice[a6], JoinLattice[a7], JoinLattice[a8], JoinLattice[a9], JoinLattice[a10]Sourceinstance JoinLattice[Map[k, v]] with Order[k], Eq[v], JoinLattice[v]Sourceinstance JoinLattice[Option[t]] with JoinLattice[t]Sourceinstance JoinLattice[Set[a]] with Order[a]SourceSignatures
def leastUpperBound(x: a, y: a): a with JoinLattice[a]
SourceReturns the least upper bound of x and y.