Documentation

Init.Data.Ord.SInt

Instances for fixed width signed integer types. #

source
@[implicit_reducible]
instance Int8.instOrd :
Ord Int8
source
instance Int8.instTransOrd :
Std.TransOrd Int8
source
instance Int8.instLawfulEqOrd :
Std.LawfulEqOrd Int8
source
instance Int8.instLawfulOrderOrd :
Std.LawfulOrderOrd Int8
source
@[implicit_reducible]
instance Int16.instOrd :
Ord Int16
source
instance Int16.instTransOrd :
Std.TransOrd Int16
source
instance Int16.instLawfulEqOrd :
Std.LawfulEqOrd Int16
source
instance Int16.instLawfulOrderOrd :
Std.LawfulOrderOrd Int16
source
@[implicit_reducible]
instance Int32.instOrd :
Ord Int32
source
instance Int32.instTransOrd :
Std.TransOrd Int32
source
instance Int32.instLawfulEqOrd :
Std.LawfulEqOrd Int32
source
instance Int32.instLawfulOrderOrd :
Std.LawfulOrderOrd Int32
source
@[implicit_reducible]
instance Int64.instOrd :
Ord Int64
source
instance Int64.instTransOrd :
Std.TransOrd Int64
source
instance Int64.instLawfulEqOrd :
Std.LawfulEqOrd Int64
source
instance Int64.instLawfulOrderOrd :
Std.LawfulOrderOrd Int64
source
@[implicit_reducible]
instance ISize.instOrd :
Ord ISize
source
instance ISize.instTransOrd :
Std.TransOrd ISize
source
instance ISize.instLawfulEqOrd :
Std.LawfulEqOrd ISize
source
instance ISize.instLawfulOrderOrd :
Std.LawfulOrderOrd ISize