Idris2Doc : Prelude.EqOrd

Prelude.EqOrd

(/=) : Eq ty => ty -> ty -> Bool
  Totality: total
  Fixity Declaration: infix operator, level 6
(<) : Ord ty => ty -> ty -> Bool
  Totality: total
  Fixity Declaration: infix operator, level 6
(<=) : Ord ty => ty -> ty -> Bool
  Totality: total
  Fixity Declaration: infix operator, level 6
(==) : Eq ty => ty -> ty -> Bool
  Totality: total
  Fixity Declaration: infix operator, level 6
(>) : Ord ty => ty -> ty -> Bool
  Totality: total
  Fixity Declaration: infix operator, level 6
(>=) : Ord ty => ty -> ty -> Bool
  Totality: total
  Fixity Declaration: infix operator, level 6
interface Eq : Type -> Type
  The Eq interface defines inequality and equality.

  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 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 Nat
  
Eq a => Eq (Maybe a)
  
(Eq a, Eq b) => Eq (Either a b)
  
Eq a => Eq (List a)
interface Ord : Type -> Type
  The Ord interface defines comparison operations on ordered data types.

  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 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)
  
Ord Nat
  
Ord a => Ord (Maybe a)
  
(Ord a, Ord b) => Ord (Either a b)
  
Ord a => Ord (List a)
data Ordering : Type
  Totality: total
  Constructors:
  
LT : Ordering
  
EQ : Ordering
  
GT : Ordering
compare : Ord ty => ty -> ty -> Ordering
  Totality: total
compareInteger : Integer -> Integer -> Ordering
  Totality: total
comparing : Ord a => (b -> a) -> b -> b -> Ordering
  Totality: total
max : Ord ty => ty -> ty -> ty
  Totality: total
min : Ord ty => ty -> ty -> ty
  Totality: total