PartialOrder
trait PartialOrder[a: Type]SourceA Partial Order is a function ⊑ which satisfies three properties: reflexivity, anti-symmetry, and transitivity.
Instances
instance PartialOrder[Down[a]] with PartialOrder[a]Sourceinstance PartialOrder[Map[k, v]] with Order[k], Eq[v]Sourceinstance PartialOrder[Option[t]] with PartialOrder[t]Sourceinstance PartialOrder[Int8]Sourceinstance PartialOrder[Int16]Sourceinstance PartialOrder[Int32]Sourceinstance PartialOrder[Int64]Sourceinstance PartialOrder[BigInt]Sourceinstance PartialOrder[(a1, a2)] with PartialOrder[a1], PartialOrder[a2]Sourceinstance PartialOrder[(a1, a2, a3)] with PartialOrder[a1], PartialOrder[a2], PartialOrder[a3]Sourceinstance PartialOrder[(a1, a2, a3, a4)] with PartialOrder[a1], PartialOrder[a2], PartialOrder[a3], PartialOrder[a4]Sourceinstance PartialOrder[(a1, a2, a3, a4, a5)] with PartialOrder[a1], PartialOrder[a2], PartialOrder[a3], PartialOrder[a4], PartialOrder[a5]Sourceinstance PartialOrder[(a1, a2, a3, a4, a5, a6)] with PartialOrder[a1], PartialOrder[a2], PartialOrder[a3], PartialOrder[a4], PartialOrder[a5], PartialOrder[a6]Sourceinstance PartialOrder[(a1, a2, a3, a4, a5, a6, a7)] with PartialOrder[a1], PartialOrder[a2], PartialOrder[a3], PartialOrder[a4], PartialOrder[a5], PartialOrder[a6], PartialOrder[a7]Sourceinstance 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]Sourceinstance 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]Sourceinstance 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]Sourceinstance PartialOrder[Set[a]] with Order[a]SourceSignatures
def lessEqual(x: a, y: a): Bool with PartialOrder[a]
SourceReturns true if x is smaller or equal to y.