flix

0.54.0

PartialOrder

trait PartialOrder[a: Type]Source

A Partial Order is a function ⊑ which satisfies three properties: reflexivity, anti-symmetry, and transitivity.

Instances

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

Signatures

def lessEqual(x: a, y: a): Bool with PartialOrder[a] Source

Returns true if x is smaller or equal to y.