flix

0.54.0

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[FileType]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[IOError]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.