Documentation

Init.Data.Range.Polymorphic.Int

source
instance Std.PRange.instUpwardEnumerableInt :
UpwardEnumerable Int
Equations
    source
    instance Std.PRange.instLawfulUpwardEnumerableInt :
    LawfulUpwardEnumerable Int
    source
    instance Std.PRange.instInfinitelyUpwardEnumerableInt :
    InfinitelyUpwardEnumerable Int
    source
    instance Std.PRange.instLawfulUpwardEnumerableLEInt :
    LawfulUpwardEnumerableLE Int
    source
    instance Std.PRange.instLawfulUpwardEnumerableLTInt :
    LawfulUpwardEnumerableLT Int
    source
    instance Std.PRange.instHasSizeInt :
    Rxc.HasSize Int
    Equations
      source
      instance Std.PRange.instLawfulHasSizeInt :
      Rxc.LawfulHasSize Int
      source
      instance Std.PRange.instIsAlwaysFiniteInt :
      Rxc.IsAlwaysFinite Int
      source
      instance Std.PRange.instHasSizeInt_1 :
      Rxo.HasSize Int
      Equations
        source
        instance Std.PRange.instLawfulHasSizeInt_1 :
        Rxo.LawfulHasSize Int
        source
        instance Std.PRange.instIsAlwaysFiniteInt_1 :
        Rxo.IsAlwaysFinite Int