Documentation

Init.Data.Ord.UInt

Instances for fixed width unsigned integer types. #

source
@[implicit_reducible]
instance UInt8.instOrd :
Ord UInt8
source
instance UInt8.instTransOrd :
Std.TransOrd UInt8
source
instance UInt8.instLawfulEqOrd :
Std.LawfulEqOrd UInt8
source
instance UInt8.instLawfulOrderOrd :
Std.LawfulOrderOrd UInt8
source
@[implicit_reducible]
instance UInt16.instOrd :
Ord UInt16
source
instance UInt16.instTransOrd :
Std.TransOrd UInt16
source
instance UInt16.instLawfulEqOrd :
Std.LawfulEqOrd UInt16
source
instance UInt16.instLawfulOrderOrd :
Std.LawfulOrderOrd UInt16
source
@[implicit_reducible]
instance UInt32.instOrd :
Ord UInt32
source
instance UInt32.instTransOrd :
Std.TransOrd UInt32
source
instance UInt32.instLawfulEqOrd :
Std.LawfulEqOrd UInt32
source
instance UInt32.instLawfulOrderOrd :
Std.LawfulOrderOrd UInt32
source
@[implicit_reducible]
instance UInt64.instOrd :
Ord UInt64
source
instance UInt64.instTransOrd :
Std.TransOrd UInt64
source
instance UInt64.instLawfulEqOrd :
Std.LawfulEqOrd UInt64
source
instance UInt64.instLawfulOrderOrd :
Std.LawfulOrderOrd UInt64
source
@[implicit_reducible]
instance USize.instOrd :
Ord USize
source
instance USize.instTransOrd :
Std.TransOrd USize
source
instance USize.instLawfulEqOrd :
Std.LawfulEqOrd USize
source
instance USize.instLawfulOrderOrd :
Std.LawfulOrderOrd USize