effect 3.1.0 → 3.1.1

package/src/Equal.ts

@@ -4,6 +4,7 @@
 import type { Equivalence } from "./Equivalence.js"
 import * as Hash from "./Hash.js"
 import { hasProperty } from "./Predicate.js"
+import { structuralRegionState } from "./Utils.js"
 
 /**
  * @since 2.0.0
@@ -32,7 +33,7 @@ export function equals(): any {
   return compareBoth(arguments[0], arguments[1])
 }
 
-function compareBoth(self: unknown, that: unknown) {
+function compareBoth(self: unknown, that: unknown): boolean {
   if (self === that) {
     return true
   }
@@ -40,16 +41,36 @@ function compareBoth(self: unknown, that: unknown) {
   if (selfType !== typeof that) {
     return false
   }
-  if (
-    (selfType === "object" || selfType === "function") &&
-    self !== null &&
-    that !== null
-  ) {
-    if (isEqual(self) && isEqual(that)) {
-      return Hash.hash(self) === Hash.hash(that) && self[symbol](that)
+  if (selfType === "object" || selfType === "function") {
+    if (self !== null && that !== null) {
+      if (isEqual(self) && isEqual(that)) {
+        return Hash.hash(self) === Hash.hash(that) && self[symbol](that)
+      }
+    }
+    if (structuralRegionState.enabled) {
+      if (Array.isArray(self) && Array.isArray(that)) {
+        return self.length === that.length && self.every((v, i) => compareBoth(v, that[i]))
+      }
+      if (Object.getPrototypeOf(self) === Object.prototype && Object.getPrototypeOf(self) === Object.prototype) {
+        const keysSelf = Object.keys(self as any)
+        const keysThat = Object.keys(that as any)
+        if (keysSelf.length === keysThat.length) {
+          for (const key of keysSelf) {
+            // @ts-expect-error
+            if (!(key in that && compareBoth(self[key], that[key]))) {
+              return structuralRegionState.tester ? structuralRegionState.tester(self, that) : false
+            }
+          }
+          return true
+        }
+      }
+      return structuralRegionState.tester ? structuralRegionState.tester(self, that) : false
     }
   }
-  return false
+
+  return structuralRegionState.enabled && structuralRegionState.tester
+    ? structuralRegionState.tester(self, that)
+    : false
 }
 
 /**

package/src/Hash.ts

@@ -4,7 +4,7 @@
 import { pipe } from "./Function.js"
 import { globalValue } from "./GlobalValue.js"
 import { hasProperty } from "./Predicate.js"
-import { PCGRandom } from "./Utils.js"
+import { PCGRandom, structuralRegionState } from "./Utils.js"
 
 /** @internal */
 const randomHashCache = globalValue(
@@ -72,6 +72,9 @@ export const hash: <A>(self: A) => number = <A>(self: A) => {
  * @category hashing
  */
 export const random: <A extends object>(self: A) => number = (self) => {
+  if (structuralRegionState.enabled === true) {
+    return 0
+  }
   if (!randomHashCache.has(self)) {
     randomHashCache.set(self, number(pcgr.integer(Number.MAX_SAFE_INTEGER)))
   }
@@ -168,22 +171,36 @@ export const cached: {
   if (arguments.length === 1) {
     const self = arguments[0] as object
     return function(hash: number) {
-      Object.defineProperty(self, symbol, {
-        value() {
-          return hash
-        },
-        enumerable: false
-      })
+      // @ts-expect-error
+      const original = self[symbol].bind(self)
+      if (structuralRegionState.enabled === false) {
+        Object.defineProperty(self, symbol, {
+          value() {
+            if (structuralRegionState.enabled === true) {
+              return original()
+            }
+            return hash
+          },
+          enumerable: false
+        })
+      }
       return hash
     } as any
   }
   const self = arguments[0] as object
   const hash = arguments[1] as number
-  Object.defineProperty(self, symbol, {
-    value() {
-      return hash
-    },
-    enumerable: false
-  })
+  // @ts-expect-error
+  const original = self[symbol].bind(self)
+  if (structuralRegionState.enabled === false) {
+    Object.defineProperty(self, symbol, {
+      value() {
+        if (structuralRegionState.enabled === true) {
+          return original()
+        }
+        return hash
+      },
+      enumerable: false
+    })
+  }
   return hash
 }

package/src/Utils.ts

@@ -2,6 +2,7 @@
  * @since 2.0.0
  */
 import { identity } from "./Function.js"
+import { globalValue } from "./GlobalValue.js"
 import type { Kind, TypeLambda } from "./HKT.js"
 import { getBugErrorMessage } from "./internal/errors.js"
 import { isNullable, isObject } from "./Predicate.js"
@@ -746,3 +747,40 @@ export function yieldWrapGet<T>(self: YieldWrap<T>): T {
   }
   throw new Error(getBugErrorMessage("yieldWrapGet"))
 }
+
+/**
+ * Note: this is an experimental feature made available to allow custom matchers in tests, not to be directly used yet in user code
+ *
+ * @since 3.1.1
+ * @status experimental
+ * @category modifiers
+ */
+export const structuralRegionState = globalValue(
+  "effect/Utils/isStructuralRegion",
+  (): { enabled: boolean; tester: ((a: unknown, b: unknown) => boolean) | undefined } => ({
+    enabled: false,
+    tester: undefined
+  })
+)
+
+/**
+ * Note: this is an experimental feature made available to allow custom matchers in tests, not to be directly used yet in user code
+ *
+ * @since 3.1.1
+ * @status experimental
+ * @category modifiers
+ */
+export const structuralRegion = <A>(body: () => A, tester?: (a: unknown, b: unknown) => boolean): A => {
+  const current = structuralRegionState.enabled
+  const currentTester = structuralRegionState.tester
+  structuralRegionState.enabled = true
+  if (tester) {
+    structuralRegionState.tester = tester
+  }
+  try {
+    return body()
+  } finally {
+    structuralRegionState.enabled = current
+    structuralRegionState.tester = currentTester
+  }
+}

package/src/internal/core.ts

@@ -197,10 +197,18 @@ class EffectPrimitiveFailure {
     this._tag = _op
   }
   [Equal.symbol](this: {}, that: unknown) {
-    return this === that
+    return exitIsExit(that) && that._op === "Failure" &&
+      // @ts-expect-error
+      Equal.equals(this.effect_instruction_i0, that.effect_instruction_i0)
   }
   [Hash.symbol](this: {}) {
-    return Hash.cached(this, Hash.random(this))
+    return pipe(
+      // @ts-expect-error
+      Hash.string(this._tag),
+      // @ts-expect-error
+      Hash.combine(Hash.hash(this.effect_instruction_i0)),
+      Hash.cached(this)
+    )
   }
   get cause() {
     return this.effect_instruction_i0
@@ -238,10 +246,18 @@ class EffectPrimitiveSuccess {
     this._tag = _op
   }
   [Equal.symbol](this: {}, that: unknown) {
-    return this === that
+    return exitIsExit(that) && that._op === "Success" &&
+      // @ts-expect-error
+      Equal.equals(this.effect_instruction_i0, that.effect_instruction_i0)
   }
   [Hash.symbol](this: {}) {
-    return Hash.cached(this, Hash.random(this))
+    return pipe(
+      // @ts-expect-error
+      Hash.string(this._tag),
+      // @ts-expect-error
+      Hash.combine(Hash.hash(this.effect_instruction_i0)),
+      Hash.cached(this)
+    )
   }
   get value() {
     return this.effect_instruction_i0

package/src/internal/version.ts

@@ -1,4 +1,4 @@
-let moduleVersion = "3.1.0"
+let moduleVersion = "3.1.1"
 
 export const getCurrentVersion = () => moduleVersion