Idris2Doc : Prelude.EqOrd

Prelude.EqOrd

(/=) : Eqty => ty -> ty -> Bool
Totality: total
Fixity Declaration: infix operator, level 6
(<) : Ordty => ty -> ty -> Bool
Totality: total
Fixity Declaration: infix operator, level 6
(<=) : Ordty => ty -> ty -> Bool
Totality: total
Fixity Declaration: infix operator, level 6
(==) : Eqty => ty -> ty -> Bool
Totality: total
Fixity Declaration: infix operator, level 6
(>) : Ordty => ty -> ty -> Bool
Totality: total
Fixity Declaration: infix operator, level 6
(>=) : Ordty => ty -> ty -> Bool
Totality: total
Fixity Declaration: infix operator, level 6
interfaceEq : 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:
EqPrec
EqVoid
Eq ()
EqBool
EqInt
EqInteger
EqBits8
EqBits16
EqBits32
EqBits64
EqInt8
EqInt16
EqInt32
EqInt64
EqDouble
EqChar
EqString
Eqa => Eqb => Eq (a, b)
EqOrdering
EqNat
Eqa => Eq (Maybea)
(Eqa, Eqb) => Eq (Eitherab)
Eqa => Eq (Lista)
interfaceOrd : 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:
OrdPrec
OrdVoid
Ord ()
OrdBool
OrdInt
OrdInteger
OrdBits8
OrdBits16
OrdBits32
OrdBits64
OrdInt8
OrdInt16
OrdInt32
OrdInt64
OrdDouble
OrdString
OrdChar
Orda => Ordb => Ord (a, b)
OrdNat
Orda => Ord (Maybea)
(Orda, Ordb) => Ord (Eitherab)
Orda => Ord (Lista)
dataOrdering : Type
Totality: total
Constructors:
LT : Ordering
EQ : Ordering
GT : Ordering
compare : Ordty => ty -> ty -> Ordering
Totality: total
compareInteger : Integer -> Integer -> Ordering
Totality: total
comparing : Orda => (b -> a) -> b -> b -> Ordering
Totality: total
max : Ordty => ty -> ty -> ty
Totality: total
min : Ordty => ty -> ty -> ty
Totality: total