feat(corelib): range is_empty (#6925)

corelib/src/ops.cairo

@@ -8,10 +8,10 @@ mod deref;
 pub use deref::DerefMut;
 pub use deref::{Deref, SnapshotDeref};
 mod range;
-pub use range::Range;
 // `RangeOp` is used internally by the compiler.
 #[allow(unused_imports)]
 use range::RangeOp;
+pub use range::{Range, RangeTrait};
 
 mod function;
 pub use function::{Fn, FnOnce};

corelib/src/ops/range.cairo

@@ -11,6 +11,23 @@ pub struct Range<T> {
     pub end: T,
 }
 
+#[generate_trait]
+pub impl RangeImpl<T, +Copy<T>, +Drop<T>, +PartialOrd<T>> of RangeTrait<T> {
+    /// Returns `true` if the range contains no items.
+    ///
+    /// # Examples
+    ///
+    /// ```
+    /// assert!(!(3_u8..5_u8).is_empty());
+    /// assert!( (3_u8..3_u8).is_empty());
+    /// assert!( (3_u8..2_u8).is_empty());
+    /// ```
+    #[inline]
+    fn is_empty(self: @Range<T>) -> bool {
+        !(self.start < self.end)
+    }
+}
+
 impl RangeDebug<T, impl TDebug: crate::fmt::Debug<T>> of crate::fmt::Debug<Range<T>> {
     /// Formats a `Range` type, allowing to print `Range` instances for debugging purposes.
     ///

corelib/src/test/range_test.cairo

@@ -1,3 +1,12 @@
+use core::ops::RangeTrait;
+
+#[test]
+fn test_range_is_empty() {
+    assert!(!(3_u8..5_u8).is_empty());
+    assert!((3_u8..3_u8).is_empty());
+    assert!((3_u8..2_u8).is_empty());
+}
+
 #[test]
 fn test_range_format() {
     assert!(format!("{:?}", 1..5) == "1..5");