@@ -77,17 +77,17 @@ SafeCloseOpen
77
77
@inline Base. iterate (r:: SafeCloseOpen ) = (i = Int (first (r)); i ≥ getfield (r, :upper ) ? nothing : (i, i))
78
78
@inline Base. iterate (r:: AbstractCloseOpen , i:: IntegerType ) = (i += one (i)) ≥ getfield (r, :upper ) ? nothing : (i, i)
79
79
80
- import ArrayInterface
81
- ArrayInterface . known_first (:: Type{<:AbstractCloseOpen{StaticInt{F}}} ) where {F} = F
82
- ArrayInterface . known_step (:: Type{<:AbstractCloseOpen} ) = 1
83
- ArrayInterface . known_last (:: Type{<:AbstractCloseOpen{<:Any,StaticInt{L}}} ) where {L} = L - 1
84
- ArrayInterface . known_length (:: Type{<:AbstractCloseOpen{StaticInt{F},StaticInt{L}}} ) where {F,L} = L - F
80
+ import StaticArrayInterface
81
+ StaticArrayInterface . known_first (:: Type{<:AbstractCloseOpen{StaticInt{F}}} ) where {F} = F
82
+ StaticArrayInterface . known_step (:: Type{<:AbstractCloseOpen} ) = 1
83
+ StaticArrayInterface . known_last (:: Type{<:AbstractCloseOpen{<:Any,StaticInt{L}}} ) where {L} = L - 1
84
+ StaticArrayInterface . known_length (:: Type{<:AbstractCloseOpen{StaticInt{F},StaticInt{L}}} ) where {F,L} = L - F
85
85
86
86
Base. IteratorSize (:: Type{<:AbstractCloseOpen} ) = Base. HasShape {1} ()
87
87
Base. IteratorEltype (:: Type{<:AbstractCloseOpen} ) = Base. HasEltype ()
88
88
@inline Base. size (r:: AbstractCloseOpen ) = (length (r),)
89
89
@inline Base. eltype (r:: AbstractCloseOpen ) = Int
90
- @inline Base. eachindex (r:: AbstractCloseOpen ) = StaticInt (1 ): ArrayInterface . static_length (r)
90
+ @inline Base. eachindex (r:: AbstractCloseOpen ) = StaticInt (1 ): StaticArrayInterface . static_length (r)
91
91
92
92
@static if isdefined (Base. IteratorsMD, :OrdinalRangeInt )
93
93
@inline function Base. IteratorsMD. __inc (state:: Tuple{Int,Int,Vararg{Int}} , indices:: Tuple{AbstractCloseOpen,Vararg{Base.IteratorsMD.OrdinalRangeInt}} )
0 commit comments