Documentation

Init.Data.UInt.Package

source
@[instance_reducible]
instance instLinearOrderPackageUInt8 :
Std.LinearOrderPackage UInt8
source
@[instance_reducible]
instance instLinearOrderPackageUInt16 :
Std.LinearOrderPackage UInt16
source
@[instance_reducible]
instance instLinearOrderPackageUInt32 :
Std.LinearOrderPackage UInt32
source
@[instance_reducible]
instance instLinearOrderPackageUInt64 :
Std.LinearOrderPackage UInt64
source
@[instance_reducible]
instance instLinearOrderPackageUSize :
Std.LinearOrderPackage USize