Documentation
Std
.
Classes
.
Ord
.
UInt
Search
return to top
source
Imports
Init.Data.UInt.Lemmas
Std.Classes.Ord.Basic
Imported by
UInt8
.
instTransOrd
UInt8
.
instLawfulEqOrd
UInt16
.
instTransOrd
UInt16
.
instLawfulEqOrd
UInt32
.
instTransOrd
UInt32
.
instLawfulEqOrd
UInt64
.
instTransOrd
UInt64
.
instLawfulEqOrd
USize
.
instTransOrd
USize
.
instLawfulEqOrd
Instances for fixed width unsigned integer types.
#
source
instance
UInt8
.
instTransOrd
:
Std.TransOrd
UInt8
source
instance
UInt8
.
instLawfulEqOrd
:
Std.LawfulEqOrd
UInt8
source
instance
UInt16
.
instTransOrd
:
Std.TransOrd
UInt16
source
instance
UInt16
.
instLawfulEqOrd
:
Std.LawfulEqOrd
UInt16
source
instance
UInt32
.
instTransOrd
:
Std.TransOrd
UInt32
source
instance
UInt32
.
instLawfulEqOrd
:
Std.LawfulEqOrd
UInt32
source
instance
UInt64
.
instTransOrd
:
Std.TransOrd
UInt64
source
instance
UInt64
.
instLawfulEqOrd
:
Std.LawfulEqOrd
UInt64
source
instance
USize
.
instTransOrd
:
Std.TransOrd
USize
source
instance
USize
.
instLawfulEqOrd
:
Std.LawfulEqOrd
USize