Documentation

Init.Data.Ord.SInt

Instances for fixed width signed integer types. #

source
instance Int8.instOrd :
Ord Int8
Equations
    source
    instance Int8.instTransOrd :
    Std.TransOrd Int8
    source
    instance Int8.instLawfulEqOrd :
    Std.LawfulEqOrd Int8
    source
    instance Int16.instOrd :
    Ord Int16
    Equations
      source
      instance Int16.instTransOrd :
      Std.TransOrd Int16
      source
      instance Int16.instLawfulEqOrd :
      Std.LawfulEqOrd Int16
      source
      instance Int32.instOrd :
      Ord Int32
      Equations
        source
        instance Int32.instTransOrd :
        Std.TransOrd Int32
        source
        instance Int32.instLawfulEqOrd :
        Std.LawfulEqOrd Int32
        source
        instance Int64.instOrd :
        Ord Int64
        Equations
          source
          instance Int64.instTransOrd :
          Std.TransOrd Int64
          source
          instance Int64.instLawfulEqOrd :
          Std.LawfulEqOrd Int64
          source
          instance ISize.instOrd :
          Ord ISize
          Equations
            source
            instance ISize.instTransOrd :
            Std.TransOrd ISize
            source
            instance ISize.instLawfulEqOrd :
            Std.LawfulEqOrd ISize