Idris2Doc : Prelude.EqOrd

Prelude.EqOrd

Definitions

interfaceEq : 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:
EqNat
Eqa=>Eq (Maybea)
(Eqa, Eqb) =>Eq (Eitherab)
Eqa=>Eq (Lista)
Eqa=>Eq (SnocLista)
EqPrec
EqVoid
Eq ()
EqBool
EqInt
EqInteger
EqBits8
EqBits16
EqBits32
EqBits64
EqInt8
EqInt16
EqInt32
EqInt64
EqDouble
EqChar
EqString
Eqa=>Eqb=>Eq (a, b)
EqOrdering
(==) : Eqty=>ty->ty->Bool
Totality: total
Visibility: public export
Fixity Declaration: infix operator, level 6
(/=) : Eqty=>ty->ty->Bool
Totality: total
Visibility: public export
Fixity Declaration: infix operator, level 6
dataOrdering : Type
Totality: total
Visibility: public export
Constructors:
LT : Ordering
EQ : Ordering
GT : Ordering

Hints:
EqOrdering
MonoidOrdering
SemigroupOrdering
ShowOrdering
contra : Ordering->Ordering
Totality: total
Visibility: public export
interfaceOrd : 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:
OrdNat
Orda=>Ord (Maybea)
(Orda, Ordb) =>Ord (Eitherab)
Orda=>Ord (Lista)
Orda=>Ord (SnocLista)
OrdPrec
OrdVoid
Ord ()
OrdBool
OrdInt
OrdInteger
OrdBits8
OrdBits16
OrdBits32
OrdBits64
OrdInt8
OrdInt16
OrdInt32
OrdInt64
OrdDouble
OrdString
OrdChar
Orda=>Ordb=>Ord (a, b)
compare : Ordty=>ty->ty->Ordering
Totality: total
Visibility: public export
(<) : Ordty=>ty->ty->Bool
Totality: total
Visibility: public export
Fixity Declaration: infix operator, level 6
(>) : Ordty=>ty->ty->Bool
Totality: total
Visibility: public export
Fixity Declaration: infix operator, level 6
(<=) : Ordty=>ty->ty->Bool
Totality: total
Visibility: public export
Fixity Declaration: infix operator, level 6
(>=) : Ordty=>ty->ty->Bool
Totality: total
Visibility: public export
Fixity Declaration: infix operator, level 6
max : Ordty=>ty->ty->ty
Totality: total
Visibility: public export
min : Ordty=>ty->ty->ty
Totality: total
Visibility: public export
comparing : Orda=> (b->a) ->b->b->Ordering
Totality: total
Visibility: export
compareInteger : Integer->Integer->Ordering
Totality: total
Visibility: public export