juvix-docs - 0.0.0

Stdlib.Trait.Ord

Description

Definitions

type OrderingSource#

Constructors

| LessThan
| Equal
| GreaterThan

isLessThan (ordering : Ordering) : BoolSource#

isEqual (ordering : Ordering) : BoolSource#

isGreaterThan (ordering : Ordering) : BoolSource#

instance orderingEqI : Eq OrderingSource#

trait type Ord ASource#

A trait for defining a total order

Constructors

| mkOrd@{cmp : A -> A -> Ordering}

<= {A} {{Ord A}} (x y : A) : BoolSource#

Returns true iff the first element is less than or equal to the second.

< {A} {{Ord A}} (x y : A) : BoolSource#

Returns true iff the first element is less than the second.

> {A} {{Ord A}} (x y : A) : BoolSource#

Returns true iff the first element is greater than the second.

>= {A} {{Ord A}} (x y : A) : BoolSource#

Returns true iff the first element is greater than or equal to the second.

min {A} {{Ord A}} (x y : A) : ASource#

Returns the smaller element.

max {A} {{Ord A}} (x y : A) : ASource#

Returns the larger element.