Prelude.EqOrd

Definitions

interface Eq : Type -> Type

  The Eq interface defines inequality and equality.
  A minimal definition includes either `(==)` or `(/=)`.

Parameters: ty
Constructor: 

MkEq

Methods:

(==) : ty -> ty -> Bool

Fixity Declaration: infix operator, level 6

(/=) : ty -> ty -> Bool

Fixity Declaration: infix operator, level 6

Implementations:

Eq Nat

Eq a => Eq (Maybe a)

(Eq a, Eq b) => Eq (Either a b)

Eq a => Eq (List a)

Eq a => Eq (SnocList a)

Eq Prec

Eq Void

Eq ()

Eq Bool

Eq Int

Eq Integer

Eq Bits8

Eq Bits16

Eq Bits32

Eq Bits64

Eq Int8

Eq Int16

Eq Int32

Eq Int64

Eq Double

Eq Char

Eq String

Eq a => Eq b => Eq (a, b)

Eq Ordering

(==) : Eq ty => ty -> ty -> Bool

Totality: total
Visibility: public export
Fixity Declaration: infix operator, level 6

(/=) : Eq ty => ty -> ty -> Bool

Totality: total
Visibility: public export
Fixity Declaration: infix operator, level 6

data Ordering : Type

Totality: total
Visibility: public export
Constructors:

LT : Ordering

EQ : Ordering

GT : Ordering

Hints:

Eq Ordering

Monoid Ordering

Semigroup Ordering

Show Ordering

contra : Ordering -> Ordering

Totality: total
Visibility: public export

interface Ord : Type -> Type

  The Ord interface defines comparison operations on ordered data types.
  A minimal definition includes either `compare` or `(<)`.

Parameters: ty
Constraints: Eq ty
Constructor: 

MkOrd

Methods:

compare : ty -> ty -> Ordering

(<) : ty -> ty -> Bool

Fixity Declaration: infix operator, level 6

(>) : ty -> ty -> Bool

Fixity Declaration: infix operator, level 6

(<=) : ty -> ty -> Bool

Fixity Declaration: infix operator, level 6

(>=) : ty -> ty -> Bool

Fixity Declaration: infix operator, level 6

max : ty -> ty -> ty

min : ty -> ty -> ty

Implementations:

Ord Nat

Ord a => Ord (Maybe a)

(Ord a, Ord b) => Ord (Either a b)

Ord a => Ord (List a)

Ord a => Ord (SnocList a)

Ord Prec

Ord Void

Ord ()

Ord Bool

Ord Int

Ord Integer

Ord Bits8

Ord Bits16

Ord Bits32

Ord Bits64

Ord Int8

Ord Int16

Ord Int32

Ord Int64

Ord Double

Ord String

Ord Char

Ord a => Ord b => Ord (a, b)

compare : Ord ty => ty -> ty -> Ordering

Totality: total
Visibility: public export

(<) : Ord ty => ty -> ty -> Bool

Totality: total
Visibility: public export
Fixity Declaration: infix operator, level 6

(>) : Ord ty => ty -> ty -> Bool

Totality: total
Visibility: public export
Fixity Declaration: infix operator, level 6

(<=) : Ord ty => ty -> ty -> Bool

Totality: total
Visibility: public export
Fixity Declaration: infix operator, level 6

(>=) : Ord ty => ty -> ty -> Bool

Totality: total
Visibility: public export
Fixity Declaration: infix operator, level 6

max : Ord ty => ty -> ty -> ty

Totality: total
Visibility: public export

min : Ord ty => ty -> ty -> ty

Totality: total
Visibility: public export

comparing : Ord a => (b -> a) -> b -> b -> Ordering

Totality: total
Visibility: export

compareInteger : Integer -> Integer -> Ordering

Totality: total
Visibility: public export