Prelude / PartialOrder

PartialOrder

trait PartialOrder[a: Type]Source

Trait for types that have a partial order.

A partial order is a relation ⊑ which satisfies three properties: reflexivity, anti-symmetry, and transitivity.

Instances

Primitives: Int8, Int16, Int32, Int64, BigInt and tuples of 2 to 10 elements
Non-primitives: Down[a], Map[k, v], Option[t], Set[a]

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

Returns true if x is smaller or equal to y.