first commit

Author: RandomHashTags

.gitignore

@@ -0,0 +1,9 @@
+.DS_Store
+/.build
+/Packages
+xcuserdata/
+DerivedData/
+.swiftpm
+.netrc
+.vscode
+Package.resolved

Package.swift

@@ -0,0 +1,41 @@
+// swift-tools-version:6.1
+
+import PackageDescription
+
+let package = Package(
+    name: "UnwrapArithmeticOperators",
+    products: [
+        .library(
+            name: "UnwrapArithmeticOperators",
+            targets: ["UnwrapArithmeticOperators"]
+        ),
+    ],
+    traits: [
+        .default(enabledTraits: ["UnwrapArithmetic"]),
+        .trait(
+            name: "UnwrapAddition",
+            description: "Enables unchecked overflow addition operators (`+!` and `+=!`)."
+        ),
+        .trait(
+            name: "UnwrapSubtraction",
+            description: "Enables unchecked overflow subtraction operators (`-!` and `-=!`)."
+        ),
+        .trait(
+            name: "UnwrapArithmetic",
+            description: "Enables unchecked overflow operators.",
+            enabledTraits: [
+                "UnwrapAddition",
+                "UnwrapSubtraction"
+            ]
+        ),
+    ],
+    targets: [
+        .target(
+            name: "UnwrapArithmeticOperators"
+        ),
+        .testTarget(
+            name: "UnwrapArithmeticOperatorsTests",
+            dependencies: ["UnwrapArithmeticOperators"]
+        ),
+    ]
+)

Sources/UnwrapArithmeticOperators/Operators.swift

@@ -0,0 +1,83 @@
+
+// MARK: Addition
+infix operator +!: AdditionPrecedence
+infix operator +=!: AdditionPrecedence
+
+extension FixedWidthInteger {
+    /// Returns the sum of the two given values.
+    /// 
+    /// - Parameters:
+    ///   - lhs: The first value to add.
+    ///   - rhs: The second value to add.
+    /// 
+    /// - Note: Equivalent to `&+` if the package trait `UnwrapAddition` is enabled, and `+` if disabled.
+    @inlinable
+    @inline(__always)
+    public static func +! (lhs: Self, rhs: Self) -> Self {
+        #if UnwrapAddition
+        lhs &+ rhs
+        #else
+        lhs + rhs
+        #endif
+    }
+
+    /// Adds two values and stores the result in the left-hand-side variable.
+    /// 
+    /// - Parameters:
+    ///   - lhs: The first value to add.
+    ///   - rhs: The second value to add.
+    /// 
+    /// - Note: Equivalent to `&+=` if the package trait `UnwrapAddition` is enabled, and `+=` if disabled.
+    @inlinable
+    @inline(__always)
+    public static func +=! (lhs: inout Self, rhs: Self) {
+        #if UnwrapAddition
+        lhs &+= rhs
+        #else
+        lhs += rhs
+        #endif
+    }
+}
+
+
+
+// MARK: Subtraction
+infix operator -!: AdditionPrecedence
+infix operator -=!: AdditionPrecedence
+
+extension FixedWidthInteger {
+    /// Returns the difference of the two given values.
+    /// 
+    /// - Parameters:
+    ///   - lhs: A numeric value.
+    ///   - rhs: The value to subtract from lhs.
+    /// 
+    /// - Note: Equivalent to `&-` if the package trait `UnwrapSubtraction` is enabled, and `-` if disabled.
+    @inlinable
+    @inline(__always)
+    public static func -! (lhs: Self, rhs: Self) -> Self {    
+        #if UnwrapSubtraction
+        lhs &- rhs
+        #else
+        lhs - rhs
+        #endif
+    }
+
+    /// Subtracts the second value from the first and stores the difference in the left-hand-side variable.
+    /// 
+    /// - Parameters:
+    ///   - lhs: A numeric value.
+    ///   - rhs: The value to subtract from lhs.
+    /// 
+    /// - Note: Equivalent to `&-=` if the package trait `UnwrapSubtraction` is enabled, and `-=` if disabled.
+    @inlinable
+    @inline(__always)
+    public static func -=! (lhs: inout Self, rhs: Self) {
+        #if UnwrapSubtraction
+        lhs &-= rhs
+        #else
+        lhs -= rhs
+        #endif
+    }
+}
+

Tests/UnwrapArithmeticOperatorsTests/UnwrapArithmeticOperatorsTests.swift

@@ -0,0 +1,21 @@
+
+import Testing
+@testable import UnwrapArithmeticOperators
+
+@Test
+func example() {
+    #expect(1 + 1 == 2)
+    #expect(1 +! 1 == 2)
+    #expect(1 + 1 +! 1 +! 1 == 4)
+
+    var test = 1
+    test +=! 1
+    #expect(test == 2)
+
+    #expect(1 - 1 == 0)
+    #expect(1 -! 1 == 0)
+    #expect(1 - 1 -! 1 -! 1 == -2)
+
+    test -=! 2
+    #expect(test == 0)
+}