flix

0.54.0

JoinLattice

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

A trait for join semi lattices.

Instances

instance JoinLattice[Down[a]] with MeetLattice[a]Source
instance JoinLattice[Int8]Source
instance JoinLattice[Int16]Source
instance JoinLattice[Int32]Source
instance JoinLattice[Int64]Source
instance JoinLattice[BigInt]Source
instance JoinLattice[(a1, a2)] with JoinLattice[a1], JoinLattice[a2]Source
instance JoinLattice[(a1, a2, a3)] with JoinLattice[a1], JoinLattice[a2], JoinLattice[a3]Source
instance JoinLattice[(a1, a2, a3, a4)] with JoinLattice[a1], JoinLattice[a2], JoinLattice[a3], JoinLattice[a4]Source
instance JoinLattice[(a1, a2, a3, a4, a5)] with JoinLattice[a1], JoinLattice[a2], JoinLattice[a3], JoinLattice[a4], JoinLattice[a5]Source
instance JoinLattice[(a1, a2, a3, a4, a5, a6)] with JoinLattice[a1], JoinLattice[a2], JoinLattice[a3], JoinLattice[a4], JoinLattice[a5], JoinLattice[a6]Source
instance JoinLattice[(a1, a2, a3, a4, a5, a6, a7)] with JoinLattice[a1], JoinLattice[a2], JoinLattice[a3], JoinLattice[a4], JoinLattice[a5], JoinLattice[a6], JoinLattice[a7]Source
instance 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]Source
instance 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]Source
instance 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]Source
instance JoinLattice[Map[k, v]] with Order[k], Eq[v], JoinLattice[v]Source
instance JoinLattice[Option[t]] with JoinLattice[t]Source
instance JoinLattice[Set[a]] with Order[a]Source

Signatures

def leastUpperBound(x: a, y: a): a with JoinLattice[a] Source

Returns the least upper bound of x and y.