flix

0.54.0

MeetLattice

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

A trait for meet semi lattices. A Meet Lattice is pair of functions (⊑, ⊓) where ⊑ is a partial order and ⊓ satisfy two properties: lower-bound and greatest-lower-bound.

Instances

instance MeetLattice[Down[a]] with JoinLattice[a]Source
instance MeetLattice[Map[k, v]] with Order[k], Eq[v], MeetLattice[v]Source
instance MeetLattice[Int8]Source
instance MeetLattice[Int16]Source
instance MeetLattice[Int32]Source
instance MeetLattice[Int64]Source
instance MeetLattice[BigInt]Source
instance MeetLattice[(a1, a2)] with MeetLattice[a1], MeetLattice[a2]Source
instance MeetLattice[(a1, a2, a3)] with MeetLattice[a1], MeetLattice[a2], MeetLattice[a3]Source
instance MeetLattice[(a1, a2, a3, a4)] with MeetLattice[a1], MeetLattice[a2], MeetLattice[a3], MeetLattice[a4]Source
instance MeetLattice[(a1, a2, a3, a4, a5)] with MeetLattice[a1], MeetLattice[a2], MeetLattice[a3], MeetLattice[a4], MeetLattice[a5]Source
instance MeetLattice[(a1, a2, a3, a4, a5, a6)] with MeetLattice[a1], MeetLattice[a2], MeetLattice[a3], MeetLattice[a4], MeetLattice[a5], MeetLattice[a6]Source
instance MeetLattice[(a1, a2, a3, a4, a5, a6, a7)] with MeetLattice[a1], MeetLattice[a2], MeetLattice[a3], MeetLattice[a4], MeetLattice[a5], MeetLattice[a6], MeetLattice[a7]Source
instance MeetLattice[(a1, a2, a3, a4, a5, a6, a7, a8)] with MeetLattice[a1], MeetLattice[a2], MeetLattice[a3], MeetLattice[a4], MeetLattice[a5], MeetLattice[a6], MeetLattice[a7], MeetLattice[a8]Source
instance MeetLattice[(a1, a2, a3, a4, a5, a6, a7, a8, a9)] with MeetLattice[a1], MeetLattice[a2], MeetLattice[a3], MeetLattice[a4], MeetLattice[a5], MeetLattice[a6], MeetLattice[a7], MeetLattice[a8], MeetLattice[a9]Source
instance MeetLattice[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)] with MeetLattice[a1], MeetLattice[a2], MeetLattice[a3], MeetLattice[a4], MeetLattice[a5], MeetLattice[a6], MeetLattice[a7], MeetLattice[a8], MeetLattice[a9], MeetLattice[a10]Source
instance MeetLattice[Option[t]] with MeetLattice[t]Source
instance MeetLattice[Set[a]] with Order[a]Source

Signatures

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

Returns the greatest lower bound of x and y.