SE-0358: Primary Associated Types in the Standard Library

Evolution Proposal Reviews
,
3

Strideable<Stride> is based on the sheer number of extensions we have in the stdlib that constrain Stride, as well as the (subjective) obviousness of it per point 2 in the proposed API guidelines.

./stdlib/public/core/ClosedRange.swift:134:1:where Bound: Strideable, Bound.Stride: SignedInteger {
./stdlib/public/core/ClosedRange.swift:139:23:extension ClosedRange where Bound: Strideable, Bound.Stride: SignedInteger {
./stdlib/public/core/ClosedRange.swift:180:1:where Bound: Strideable, Bound.Stride: SignedInteger, Bound: Hashable {
./stdlib/public/core/ClosedRange.swift:201:1:where Bound: Strideable, Bound.Stride: SignedInteger
./stdlib/public/core/ClosedRange.swift:442:23:extension ClosedRange where Bound: Strideable, Bound.Stride: SignedInteger {
./stdlib/public/core/ClosedRange.swift:478:3:  where Bound.Stride: SignedInteger
./stdlib/public/core/MigrationSupport.swift:144:61:public typealias ClosedRangeIndex<T> = ClosedRange<T>.Index where T: Strideable, T.Stride: SignedInteger
./stdlib/public/core/MigrationSupport.swift:160:17:extension Range where Bound: Strideable, Bound.Stride: SignedInteger {
./stdlib/public/core/MigrationSupport.swift:170:23:extension ClosedRange where Bound: Strideable, Bound.Stride: SignedInteger {
./stdlib/public/core/RandomAccessCollection.swift:271:34:extension RandomAccessCollection where Index: Strideable, Index.Stride == Int {
./stdlib/public/core/RandomAccessCollection.swift:277:1:where Index: Strideable,
./stdlib/public/core/Range.swift:212:1:where Bound: Strideable, Bound.Stride: SignedInteger {
./stdlib/public/core/Range.swift:218:1:where Bound: Strideable, Bound.Stride: SignedInteger
./stdlib/public/core/Range.swift:309:17:extension Range where Bound: Strideable, Bound.Stride: SignedInteger {
./stdlib/public/core/Range.swift:677:3:  where Bound: Strideable, Bound.Stride: SignedInteger
./stdlib/public/core/Range.swift:1018:3:  where Bound.Stride: SignedInteger
./stdlib/public/core/Range.swift:1023:3:  where Bound.Stride: SignedInteger
./stdlib/public/core/Stride.swift:124:15:  ///         where T.Stride: ExpressibleByIntegerLiteral
./stdlib/public/core/Stride.swift:260:22:extension Strideable where Stride: FloatingPoint {
./stdlib/public/core/Stride.swift:275:22:extension Strideable where Self: FloatingPoint, Self == Stride {
./stdlib/public/core/Stride.swift:404:1:where Element.Stride: BinaryInteger {
./stdlib/public/core/Stride.swift:622:1:where Element.Stride: BinaryInteger {
./stdlib/public/core/Stride.swift:746:3:  where Element: Sendable, Element.Stride: Sendable { }
./stdlib/public/core/Stride.swift:748:3:  where Element: Sendable, Element.Stride: Sendable { }
./stdlib/public/core/Stride.swift:750:3:  where Element: Sendable, Element.Stride: Sendable { }
./stdlib/public/core/Stride.swift:752:3:  where Element: Sendable, Element.Stride: Sendable { }
3 Likes