Specialize Progression first/last/OrNull functions #KT-42178

libraries/tools/kotlin-stdlib-gen/src/templates/Elements.kt

@@ -26,6 +26,11 @@ object Elements : TemplateGroupBase() {
                     sourceFile(SourceFile.URanges)
                 }
             }
+            specialFor(ProgressionsOfPrimitives) {
+                if (primitive in PrimitiveType.unsignedPrimitives) {
+                    sourceFile(SourceFile.URanges)
+                }
+            }
         }
     }
 
@@ -443,10 +448,13 @@ object Elements : TemplateGroupBase() {
     val f_first = fn("first()") {
         includeDefault()
         include(CharSequences, Lists, ArraysOfUnsigned)
+        include(ProgressionsOfPrimitives, PrimitiveType.rangePrimitives)
     } builder {
-        doc { """Returns first ${f.element}.
-        @throws [NoSuchElementException] if the ${f.collection} is empty.
-        """ }
+        specialFor(ProgressionsOfPrimitives) {
+            since("1.7")
+        }
+        doc { "Returns the first ${f.element}." }
+        throws("NoSuchElementException", "if the ${f.collection} is empty.")
         returns("T")
         body {
             """
@@ -476,6 +484,13 @@ object Elements : TemplateGroupBase() {
             return iterator.next()
             """
         }
+        body(ProgressionsOfPrimitives) {
+            """
+            if (isEmpty())
+                throw NoSuchElementException("Progression ${'$'}this is empty.")
+            return this.first
+            """
+        }
 
         specialFor(ArraysOfUnsigned) {
             inlineOnly()
@@ -486,7 +501,11 @@ object Elements : TemplateGroupBase() {
     val f_firstOrNull = fn("firstOrNull()") {
         includeDefault()
         include(CharSequences, Lists, ArraysOfUnsigned)
+        include(ProgressionsOfPrimitives, PrimitiveType.rangePrimitives)
     } builder {
+        specialFor(ProgressionsOfPrimitives) {
+            since("1.7")
+        }
         doc { "Returns the first ${f.element}, or `null` if the ${f.collection} is empty." }
         returns("T?")
         body {
@@ -520,6 +539,11 @@ object Elements : TemplateGroupBase() {
             return iterator.next()
             """
         }
+        body(ProgressionsOfPrimitives) {
+            """
+            return if (isEmpty()) null else this.first
+            """
+        }
     }
 
     val f_first_predicate = fn("first(predicate: (T) -> Boolean)") {
@@ -578,7 +602,11 @@ object Elements : TemplateGroupBase() {
     val f_last = fn("last()") {
         includeDefault()
         include(CharSequences, Lists, ArraysOfUnsigned)
+        include(ProgressionsOfPrimitives, PrimitiveType.rangePrimitives)
     } builder {
+        specialFor(ProgressionsOfPrimitives) {
+            since("1.7")
+        }
         doc { "Returns the last ${f.element}." }
         throws("NoSuchElementException", "if the ${f.collection} is empty.")
         sample("${f.sampleClass}.last")
@@ -617,6 +645,13 @@ object Elements : TemplateGroupBase() {
             return this[lastIndex]
             """
         }
+        body(ProgressionsOfPrimitives) {
+            """
+            if (isEmpty())
+                throw NoSuchElementException("Progression ${'$'}this is empty.")
+            return this.last
+            """
+        }
 
         specialFor(ArraysOfUnsigned) {
             inlineOnly()
@@ -627,7 +662,11 @@ object Elements : TemplateGroupBase() {
     val f_lastOrNull = fn("lastOrNull()") {
         includeDefault()
         include(Lists, CharSequences, ArraysOfUnsigned)
+        include(ProgressionsOfPrimitives, PrimitiveType.rangePrimitives)
     } builder {
+        specialFor(ProgressionsOfPrimitives) {
+            since("1.7")
+        }
         doc { "Returns the last ${f.element}, or `null` if the ${f.collection} is empty." }
         sample("${f.sampleClass}.last")
         returns("T?")
@@ -668,6 +707,11 @@ object Elements : TemplateGroupBase() {
             return if (isEmpty()) null else this[size - 1]
             """
         }
+        body(ProgressionsOfPrimitives) {
+            """
+            return if (isEmpty()) null else this.last
+            """
+        }
     }
 
     val f_last_predicate = fn("last(predicate: (T) -> Boolean)") {

libraries/tools/kotlin-stdlib-gen/src/templates/dsl/FamilyProperties.kt

@@ -34,6 +34,7 @@ object DocExtensions {
             CharSequences -> "char sequence"
             ArraysOfObjects, ArraysOfPrimitives, InvariantArraysOfObjects, ArraysOfUnsigned -> "array"
             Ranges, RangesOfPrimitives -> "range"
+            ProgressionsOfPrimitives -> "progression"
             Strings, Sequences, Maps, Lists, Sets -> name.singularize().decapitalize()
             else -> "collection"
         }