Documentation

Init.Data.Ord.UInt

Instances for fixed width unsigned integer types. #

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