Documentation

Init.Data.Range.Polymorphic.Int

source
@[instance_reducible]
instance Std.PRange.instUpwardEnumerableInt :
UpwardEnumerable Int
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_reducible]
instance Std.PRange.instHasSizeInt :
Rxc.HasSize Int
source
instance Std.PRange.instLawfulHasSizeInt :
Rxc.LawfulHasSize Int
source
instance Std.PRange.instIsAlwaysFiniteInt :
Rxc.IsAlwaysFinite Int
source
@[instance_reducible]
instance Std.PRange.instHasSizeInt_1 :
Rxo.HasSize Int
source
instance Std.PRange.instLawfulHasSizeInt_1 :
Rxo.LawfulHasSize Int
source
instance Std.PRange.instIsAlwaysFiniteInt_1 :
Rxo.IsAlwaysFinite Int