# Data.Ord

- Package
- purescript-prelude
- Repository
- purescript/purescript-prelude

### #Ord Source

`class (Eq a) <= Ord a where`

The `Ord`

type class represents types which support comparisons with a
*total order*.

`Ord`

instances should satisfy the laws of total orderings:

- Reflexivity:
`a <= a`

- Antisymmetry: if
`a <= b`

and`b <= a`

then`a = b`

- Transitivity: if
`a <= b`

and`b <= c`

then`a <= c`

**Note:** The `Number`

type is not an entirely law abiding member of this
class due to the presence of `NaN`

, since `NaN <= NaN`

evaluates to `false`

#### Members

#### Instances

### #lessThanOrEq Source

`lessThanOrEq :: forall a. Ord a => a -> a -> Boolean`

Test whether one value is *non-strictly less than* another.

### #greaterThan Source

`greaterThan :: forall a. Ord a => a -> a -> Boolean`

Test whether one value is *strictly greater than* another.

### #greaterThanOrEq Source

`greaterThanOrEq :: forall a. Ord a => a -> a -> Boolean`

Test whether one value is *non-strictly greater than* another.

### #signum Source

`signum :: forall a. Ord a => Ring a => a -> a`

The sign function; returns `one`

if the argument is positive,
`negate one`

if the argument is negative, or `zero`

if the argument is `zero`

.
For floating point numbers with signed zeroes, when called with a zero,
this function returns the argument in order to preserve the sign.
For any `x`

, we should have `signum x * abs x == x`

.

### #OrdRecord Source

## Re-exports from **Data.**Ordering

- Modules
- Control.
Applicative - Control.
Apply - Control.
Bind - Control.
Category - Control.
Monad - Control.
Semigroupoid - Data.
Boolean - Data.
BooleanAlgebra - Data.
Bounded - Data.
Bounded. Generic - Data.
CommutativeRing - Data.
DivisionRing - Data.
Eq - Data.
Eq. Generic - Data.
EuclideanRing - Data.
Field - Data.
Function - Data.
Functor - Data.
Generic. Rep - Data.
HeytingAlgebra - Data.
HeytingAlgebra. Generic - Data.
Monoid - Data.
Monoid. Additive - Data.
Monoid. Conj - Data.
Monoid. Disj - Data.
Monoid. Dual - Data.
Monoid. Endo - Data.
Monoid. Generic - Data.
Monoid. Multiplicative - Data.
NaturalTransformation - Data.
Ord - Data.
Ord. Generic - Data.
Ordering - Data.
Reflectable - Data.
Ring - Data.
Ring. Generic - Data.
Semigroup - Data.
Semigroup. First - Data.
Semigroup. Generic - Data.
Semigroup. Last - Data.
Semiring - Data.
Semiring. Generic - Data.
Show - Data.
Show. Generic - Data.
Symbol - Data.
Unit - Data.
Void - Prelude
- Record.
Unsafe - Type.
Proxy