# Instances for fixed width unsigned integer types. #

source
instance UInt8.instOrd :
Ord UInt8
Equations

- UInt8.instOrd = { compare := fun (x y : UInt8) => compareOfLessAndEq x y }

source
instance UInt8.instTransOrd :
Std.TransOrd UInt8
source
instance UInt8.instLawfulEqOrd :
Std.LawfulEqOrd UInt8
source
instance UInt16.instOrd :
Ord UInt16
Equations

- UInt16.instOrd = { compare := fun (x y : UInt16) => compareOfLessAndEq x y }

source
instance UInt16.instTransOrd :
Std.TransOrd UInt16
source
instance UInt16.instLawfulEqOrd :
Std.LawfulEqOrd UInt16
source
instance UInt32.instOrd :
Ord UInt32
Equations

- UInt32.instOrd = { compare := fun (x y : UInt32) => compareOfLessAndEq x y }

source
instance UInt32.instTransOrd :
Std.TransOrd UInt32
source
instance UInt32.instLawfulEqOrd :
Std.LawfulEqOrd UInt32
source
instance UInt64.instOrd :
Ord UInt64
Equations

- UInt64.instOrd = { compare := fun (x y : UInt64) => compareOfLessAndEq x y }

source
instance UInt64.instTransOrd :
Std.TransOrd UInt64
source
instance UInt64.instLawfulEqOrd :
Std.LawfulEqOrd UInt64
source
instance USize.instOrd :
Ord USize
Equations

- USize.instOrd = { compare := fun (x y : USize) => compareOfLessAndEq x y }

source
instance USize.instTransOrd :
Std.TransOrd USize
source
instance USize.instLawfulEqOrd :
Std.LawfulEqOrd USize