Order

trait Order[a: Type] with Eq[a]Source

A trait for types with a total order.

Instances

instance Order[Chain[a]] with Order[a]Source

instance Order[DelayList[a]] with Order[a]Source

instance Order[DelayMap[k, v]] with Order[k], Order[v]Source

instance Order[Down[a]] with Order[a]Source

instance Order[VarSym]Source

instance Order[PrecedenceEdge]Source

instance Order[RamSym[v]]Source

instance Order[RowVar]Source

instance Order[PredSym]Source

instance Order[Boxed]Source

instance Order[Identity[a]] with Order[a]Source

instance Order[List[a]] with Order[a]Source

instance Order[Map[k, v]] with Order[k], Order[v]Source

instance Order[MultiMap[k, v]] with Order[k], Order[v]Source

instance Order[Nec[a]] with Order[a]Source

instance Order[Nel[a]] with Order[a]Source

instance Order[Option[t]] with Order[t]Source

instance Order[Unit]Source

instance Order[Bool]Source

instance Order[Char]Source

instance Order[Float32]Source

instance Order[Float64]Source

instance Order[BigDecimal]Source

instance Order[Int8]Source

instance Order[Int16]Source

instance Order[Int32]Source

instance Order[Int64]Source

instance Order[BigInt]Source

instance Order[String]Source

instance Order[(a1, a2)] with Order[a1], Order[a2]Source

instance Order[(a1, a2, a3)] with Order[a1], Order[a2], Order[a3]Source

instance Order[(a1, a2, a3, a4)] with Order[a1], Order[a2], Order[a3], Order[a4]Source

instance Order[(a1, a2, a3, a4, a5)] with Order[a1], Order[a2], Order[a3], Order[a4], Order[a5]Source

instance Order[(a1, a2, a3, a4, a5, a6)] with Order[a1], Order[a2], Order[a3], Order[a4], Order[a5], Order[a6]Source

instance Order[(a1, a2, a3, a4, a5, a6, a7)] with Order[a1], Order[a2], Order[a3], Order[a4], Order[a5], Order[a6], Order[a7]

Source

instance Order[(a1, a2, a3, a4, a5, a6, a7, a8)] with Order[a1], Order[a2], Order[a3], Order[a4], Order[a5], Order[a6], Order[a7], Order[a8]

Source

instance Order[(a1, a2, a3, a4, a5, a6, a7, a8, a9)] with Order[a1], Order[a2], Order[a3], Order[a4], Order[a5], Order[a6], Order[a7], Order[a8], Order[a9]

Source

instance Order[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)] with Order[a1], Order[a2], Order[a3], Order[a4], Order[a5], Order[a6], Order[a7], Order[a8], Order[a9], Order[a10]

Source

instance Order[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)] with Order[a1], Order[a2], Order[a3], Order[a4], Order[a5], Order[a6], Order[a7], Order[a8], Order[a9], Order[a10], Order[a11]

Source

instance Order[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)] with Order[a1], Order[a2], Order[a3], Order[a4], Order[a5], Order[a6], Order[a7], Order[a8], Order[a9], Order[a10], Order[a11], Order[a12]

Source

instance Order[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)] with Order[a1], Order[a2], Order[a3], Order[a4], Order[a5], Order[a6], Order[a7], Order[a8], Order[a9], Order[a10], Order[a11], Order[a12], Order[a13]

Source

instance Order[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)] with Order[a1], Order[a2], Order[a3], Order[a4], Order[a5], Order[a6], Order[a7], Order[a8], Order[a9], Order[a10], Order[a11], Order[a12], Order[a13], Order[a14]

Source

instance Order[(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)] with Order[a1], Order[a2], Order[a3], Order[a4], Order[a5], Order[a6], Order[a7], Order[a8], Order[a9], Order[a10], Order[a11], Order[a12], Order[a13], Order[a14], Order[a15]

Source

instance Order[Flag]Source

instance Order[Result[e, t]] with Order[e], Order[t]Source

instance Order[Set[a]] with Order[a]Source

instance Order[Severity]Source

instance Order[Validation[e, t]] with Order[e], Order[t]Source

instance Order[Vector[a]] with Order[a]Source

Signatures

def compare(x: a, y: a): Comparison with Order[a] Source

Returns Comparison.LessThan if x < y, Equal if x == y or Comparison.GreaterThan ifx>y`.

Trait Definitions

def greater(x: a, y: a): Bool with Order[a] Source

Returns true if and only if x > y.

def greaterEqual(x: a, y: a): Bool with Order[a] Source

Returns true if and only if x >= y.

def less(x: a, y: a): Bool with Order[a] Source

Returns true if and only if x < y.

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

Returns true if and only if x <= y.

def max(x: a, y: a): a with Order[a] Source

Returns the maximum of x and y.

def min(x: a, y: a): a with Order[a] Source

Returns the minimum of x and y.

Module Definitions

def maxBy(cmp: a -> (a -> Comparison), x: a, y: a): a Source

Returns the maximum of x and y according to the given comparator cmp.

def minBy(cmp: a -> (a -> Comparison), x: a, y: a): a Source

Returns the minimum of x and y according to the given comparator cmp.

def thenCompare(c1: Comparison, c2: Lazy[Comparison]): Comparison Source

Lazily combines two comparisons.

If c1 is either Comparison.LessThan or Comparison.GreaterThan then c2 is never evaluated.