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.