Add generic comparison to DataInt (#92).

I'll rework this in (#104). But, it is useful until then.

Sources/CoreKit/BinaryInteger+Comparison.swift

@@ -199,15 +199,8 @@ extension Namespace {
                 }
             }
 
-        }   else if LHS.Element.Magnitude.size <= RHS.Element.Magnitude.size {
-            lhs.withUnsafeBinaryIntegerElements { lhs in
-                rhs.withUnsafeBinaryIntegerElements(as: LHS.Element.Magnitude.self) { rhs in
-                    comparator.resolve(DataInt.compare(lhs: lhs, mode: LHS.mode, rhs: rhs, mode: RHS.mode))
-                }
-            }
-
         }   else {
-            lhs.withUnsafeBinaryIntegerElements(as: RHS.Element.Magnitude.self) { lhs in
+            lhs.withUnsafeBinaryIntegerElements { lhs in
                 rhs.withUnsafeBinaryIntegerElements { rhs in
                     comparator.resolve(DataInt.compare(lhs: lhs, mode: LHS.mode, rhs: rhs, mode: RHS.mode))
                 }

Sources/CoreKit/Models/DataInt+Comparison.swift

@@ -40,9 +40,14 @@ extension DataInt {
     //=------------------------------------------------------------------------=
     // MARK: Utilities
     //=------------------------------------------------------------------------=
-        
+
     /// Performs a three-way comparson of `instance` versus `zero` where the mode
     /// of the `instance` is determined by `isSigned`.
+    ///
+    /// ### Development
+    ///
+    /// - TODO: Consider adding a static or dynamic mode to this model (#104).
+    ///
     @inline(never) @inlinable public static func signum(
         of instance: Self, mode signedness: Signedness
     )   -> Signum {
@@ -60,6 +65,11 @@ extension DataInt {
 
     /// Performs a three-way comparson of `lhs` versus `rhs` where the mode
     /// of each instance is determined by `lhsSignedness` and `rhsSignedness`.
+    ///
+    /// ### Development
+    ///
+    /// - TODO: Consider adding a static or dynamic mode to this model (#104).
+    ///
     @inline(never) @inlinable public static func compare(
         lhs: consuming Self, mode lhsSignedness: Signedness,
         rhs: consuming Self, mode rhsSignedness: Signedness
@@ -120,6 +130,38 @@ extension DataInt {
         //=--------------------------------------=
         return Signum.zero // as Signum as Signum
     }
+
+    /// Performs a three-way comparson of `lhs` versus `rhs` where the mode
+    /// of each instance is determined by `lhsSignedness` and `rhsSignedness`.
+    ///
+    /// ### Development
+    ///
+    /// - TODO: Consider adding a static or dynamic mode to this model (#104).
+    ///
+    @inlinable public static func compare<OtherElement>(
+        lhs: consuming Self,
+        mode lhsSignedness: Signedness,
+        rhs: consuming DataInt<OtherElement>,
+        mode rhsSignedness: Signedness
+    )   -> Signum {
+
+        if  Self.Element.size <= OtherElement.size {
+            rhs.reinterpret(as:  Self.Element.self) { rhs in
+                DataInt<Self.Element>.compare(
+                    lhs: lhs, mode: lhsSignedness,
+                    rhs: rhs, mode: rhsSignedness
+                )
+            }
+
+        }   else {
+            lhs.reinterpret(as:  OtherElement.self) { lhs in
+                DataInt<OtherElement>.compare(
+                    lhs: lhs, mode: lhsSignedness,
+                    rhs: rhs, mode: rhsSignedness
+                )
+            }
+        }
+    }
 }
 
 //*============================================================================*