Perception 2.0

Author: stephencelis

Package.resolved

@@ -22,7 +22,7 @@ let package = Package(
     .package(url: "https://github.com/pointfreeco/swift-custom-dump", from: "1.0.0"),
     .package(url: "https://github.com/pointfreeco/swift-dependencies", from: "1.5.1"),
     .package(url: "https://github.com/pointfreeco/swift-identified-collections", from: "1.0.0"),
-    .package(url: "https://github.com/pointfreeco/swift-perception", from: "1.4.1"),
+    .package(url: "https://github.com/pointfreeco/swift-perception", branch: "swift-6-2"),
     .package(url: "https://github.com/pointfreeco/xctest-dynamic-overlay", from: "1.4.3"),
     .package(url: "https://github.com/swiftlang/swift-docc-plugin", from: "1.0.0"),
   ],

Package.swift

@@ -22,7 +22,7 @@ let package = Package(
     .package(url: "https://github.com/pointfreeco/swift-custom-dump", from: "1.0.0"),
     .package(url: "https://github.com/pointfreeco/swift-dependencies", from: "1.5.1"),
     .package(url: "https://github.com/pointfreeco/swift-identified-collections", from: "1.0.0"),
-    .package(url: "https://github.com/pointfreeco/swift-perception", from: "1.4.1"),
+    .package(url: "https://github.com/pointfreeco/swift-perception", branch: "swift-6-2"),
     .package(url: "https://github.com/pointfreeco/xctest-dynamic-overlay", from: "1.4.3"),
     .package(url: "https://github.com/swiftlang/swift-docc-plugin", from: "1.0.0"),
   ],

Package@swift-6.0.swift

@@ -412,27 +412,38 @@ extension Shared: CustomStringConvertible {
 
 extension Shared: Equatable where Value: Equatable {
   public static func == (lhs: Self, rhs: Self) -> Bool {
-    func openLhs<T: MutableReference<Value>>(_ lhsReference: T) -> Bool {
-      // NB: iOS <16 does not support casting this existential, so we must open it explicitly
-      func openRhs<S: MutableReference<Value>>(_ rhsReference: S) -> Bool {
-        lhsReference == rhsReference as? T
+    // TODO: Explore 'isTesting ? (check snapshot against value) : lhs.reference == rhs.reference
+    func isEqual() -> Bool {
+      func openLhs<T: MutableReference<Value>>(_ lhsReference: T) -> Bool {
+        // NB: iOS <16 does not support casting this existential, so we must open it explicitly
+        func openRhs<S: MutableReference<Value>>(_ rhsReference: S) -> Bool {
+          lhsReference == rhsReference as? T
+        }
+        return openRhs(rhs.reference)
+      }
+      @Dependency(\.snapshots) var snapshots
+      if snapshots.isAsserting, openLhs(lhs.reference) {
+        snapshots.untrack(lhs.reference)
+        return lhs.wrappedValue == rhs.reference.wrappedValue
+      } else {
+        return lhs.wrappedValue == rhs.wrappedValue
       }
-      return openRhs(rhs.reference)
-    }
-    @Dependency(\.snapshots) var snapshots
-    if snapshots.isAsserting, openLhs(lhs.reference) {
-      snapshots.untrack(lhs.reference)
-      return lhs.wrappedValue == rhs.reference.wrappedValue
-    } else {
-      return lhs.wrappedValue == rhs.wrappedValue
     }
-    // TODO: Explore 'isTesting ? (check snapshot against value) : lhs.reference == rhs.reference
+    #if DEBUG
+      return _PerceptionLocals.$skipPerceptionChecking.withValue(true, operation: isEqual)
+    #else
+      return isEqual()
+    #endif
   }
 }
 
 extension Shared: Identifiable where Value: Identifiable {
   public var id: Value.ID {
-    wrappedValue.id
+    #if DEBUG
+      _PerceptionLocals.$skipPerceptionChecking.withValue(true) { wrappedValue.id }
+    #else
+      wrappedValue.id
+    #endif
   }
 }
 

Sources/Sharing/Shared.swift

@@ -301,13 +301,23 @@ extension SharedReader: CustomStringConvertible {
 
 extension SharedReader: Equatable where Value: Equatable {
   public static func == (lhs: Self, rhs: Self) -> Bool {
-    lhs.wrappedValue == rhs.wrappedValue
+    #if DEBUG
+      _PerceptionLocals.$skipPerceptionChecking.withValue(true) {
+        lhs.wrappedValue == rhs.wrappedValue
+      }
+    #else
+      lhs.wrappedValue == rhs.wrappedValue
+    #endif
   }
 }
 
 extension SharedReader: Identifiable where Value: Identifiable {
   public var id: Value.ID {
-    wrappedValue.id
+    #if DEBUG
+      _PerceptionLocals.$skipPerceptionChecking.withValue(true) { wrappedValue.id }
+    #else
+      wrappedValue.id
+    #endif
   }
 }