Documentation
Std
.
Classes
.
Ord
.
SInt
Search
return to top
source
Imports
Init.Data.SInt.Lemmas
Std.Classes.Ord.Basic
Imported by
Int8
.
instTransOrd
Int8
.
instLawfulEqOrd
Int16
.
instTransOrd
Int16
.
instLawfulEqOrd
Int32
.
instTransOrd
Int32
.
instLawfulEqOrd
Int64
.
instTransOrd
Int64
.
instLawfulEqOrd
ISize
.
instTransOrd
ISize
.
instLawfulEqOrd
Instances for fixed width signed integer types.
#
source
instance
Int8
.
instTransOrd
:
Std.TransOrd
Int8
source
instance
Int8
.
instLawfulEqOrd
:
Std.LawfulEqOrd
Int8
source
instance
Int16
.
instTransOrd
:
Std.TransOrd
Int16
source
instance
Int16
.
instLawfulEqOrd
:
Std.LawfulEqOrd
Int16
source
instance
Int32
.
instTransOrd
:
Std.TransOrd
Int32
source
instance
Int32
.
instLawfulEqOrd
:
Std.LawfulEqOrd
Int32
source
instance
Int64
.
instTransOrd
:
Std.TransOrd
Int64
source
instance
Int64
.
instLawfulEqOrd
:
Std.LawfulEqOrd
Int64
source
instance
ISize
.
instTransOrd
:
Std.TransOrd
ISize
source
instance
ISize
.
instLawfulEqOrd
:
Std.LawfulEqOrd
ISize