recursive-set 3.0.0 → 5.0.0

package/dist/esm/index.js

@@ -1,278 +1,470 @@
-import createTree from 'functional-red-black-tree';
 /**
  * @module recursive-set
- * A mutable recursive set implementation.
- * Powered by functional Red-Black Trees for O(log n) operations and O(1) cloning.
+ * High-Performance Recursive Set with "Freeze-on-Hash" semantics.
  */
-/**
- * A lightweight wrapper for Tuples to enable Value-Equality in RecursiveSet.
- * Immutable by design.
- */
-export class Tuple {
-    values;
-    constructor(...values) {
-        this.values = values;
+// === HASHING ENGINE (FNV-1a) ===
+const FNV_PRIME = 16777619;
+const FNV_OFFSET = 2166136261;
+function hashString(str) {
+    let hash = FNV_OFFSET;
+    const len = str.length;
+    for (let i = 0; i < len; i++) {
+        hash ^= str.charCodeAt(i);
+        hash = Math.imul(hash, FNV_PRIME);
     }
-    get length() {
-        return this.values.length;
+    return hash >>> 0;
+}
+function hashValue(val) {
+    if (typeof val === 'string')
+        return hashString(val);
+    if (typeof val === 'number') {
+        let hash = FNV_OFFSET;
+        hash ^= (val | 0);
+        hash = Math.imul(hash, FNV_PRIME);
+        return hash >>> 0;
     }
-    get(index) {
-        return this.values[index];
+    // Fast Path: Objects with cached hash
+    if (val && typeof val === 'object' && 'hashCode' in val) {
+        return val.hashCode;
     }
-    *[Symbol.iterator]() {
-        for (const val of this.values) {
-            yield val;
+    if (Array.isArray(val)) {
+        let h = FNV_OFFSET;
+        const len = val.length;
+        for (let i = 0; i < len; i++) {
+            h ^= hashValue(val[i]);
+            h = Math.imul(h, FNV_PRIME);
         }
+        return h >>> 0;
     }
-    toString() {
-        return `(${this.values.map(v => String(v)).join(', ')})`;
+    return 0;
+}
+// === COMPARATOR ===
+function compare(a, b) {
+    if (a === b)
+        return 0;
+    // 1. Hash Short-Circuit (Optimization)
+    const aH = a?.hashCode;
+    const bH = b?.hashCode;
+    const ha = (aH !== undefined) ? aH : hashValue(a);
+    const hb = (bH !== undefined) ? bH : hashValue(b);
+    if (ha !== hb)
+        return ha < hb ? -1 : 1;
+    // 2. Structural Type Check
+    const typeA = typeof a;
+    const typeB = typeof b;
+    if (typeA === 'string' && typeB === 'string')
+        return a < b ? -1 : 1;
+    if (typeA === 'number' && typeB === 'number')
+        return a < b ? -1 : 1;
+    const isSetA = a instanceof RecursiveSet;
+    const isSetB = b instanceof RecursiveSet;
+    if (isSetA && isSetB) {
+        return a.compare(b);
     }
-    [Symbol.for('nodejs.util.inspect.custom')]() {
-        return this.toString();
+    const isSeqA = Array.isArray(a) || a instanceof Tuple;
+    const isSeqB = Array.isArray(b) || b instanceof Tuple;
+    // Sort Order: Primitives (0) < Sequences (1) < Sets (2)
+    if (isSetA !== isSetB || isSeqA !== isSeqB) {
+        const scoreA = isSetA ? 2 : isSeqA ? 1 : 0;
+        const scoreB = isSetB ? 2 : isSeqB ? 1 : 0;
+        return scoreA - scoreB;
+    }
+    // 3. Sequence Comparison
+    if (isSeqA && isSeqB) {
+        const valA = (a instanceof Tuple) ? a.values : a;
+        const valB = (b instanceof Tuple) ? b.values : b;
+        const len = valA.length;
+        if (len !== valB.length)
+            return len - valB.length;
+        for (let i = 0; i < len; i++) {
+            const diff = compare(valA[i], valB[i]);
+            if (diff !== 0)
+                return diff;
+        }
+        return 0;
     }
+    return a < b ? -1 : 1;
+}
+// === CLASSES ===
+export class Tuple {
+    values;
+    hashCode;
+    constructor(...values) {
+        this.values = values;
+        this.hashCode = hashValue(values);
+    }
+    get length() { return this.values.length; }
+    get(i) { return this.values[i]; }
+    *[Symbol.iterator]() { yield* this.values; }
+    toString() { return `(${this.values.join(', ')})`; }
+    [Symbol.for('nodejs.util.inspect.custom')]() { return this.toString(); }
 }
 export class RecursiveSet {
-    _tree;
+    _elements;
+    _hashCode = null;
+    _isFrozen = false;
+    static compare(a, b) { return compare(a, b); }
+    constructor(...elements) {
+        if (elements.length === 0) {
+            this._elements = [];
+            this._hashCode = 0;
+        }
+        else {
+            this._elements = elements;
+            this._elements.sort(compare);
+            this._unique();
+        }
+    }
+    _checkFrozen(op) {
+        if (this._isFrozen) {
+            throw new Error(`InvalidOperation: Cannot ${op} a frozen RecursiveSet.\n` +
+                `This Set has been hashed or used in a collection (Value Semantics).\n` +
+                `Use .mutableCopy() to create a modifiable copy.`);
+        }
+    }
+    _unique() {
+        const arr = this._elements;
+        const len = arr.length;
+        if (len < 2)
+            return;
+        let write = 1;
+        for (let read = 1; read < len; read++) {
+            if (compare(arr[read], arr[read - 1]) !== 0) {
+                arr[write++] = arr[read];
+            }
+        }
+        arr.length = write;
+    }
     /**
-     * Static comparator for Red-Black Tree ordering.
-     * Supports Primitives, RecursiveSets and Tuples.
-     * REJECTS plain JS Objects and Arrays to enforce strict semantics.
+     * Calculates/Caches hash code and FREEZES the set.
      */
-    static compare(a, b) {
-        if (a === b)
-            return 0;
-        const isSetA = a instanceof RecursiveSet;
-        const isSetB = b instanceof RecursiveSet;
-        const isTupA = a instanceof Tuple;
-        const isTupB = b instanceof Tuple;
-        // Sort Order: Primitives (0) < Tuples (1) < Sets (2)
-        const getTypeScore = (isSet, isTup) => {
-            if (isSet)
-                return 2;
-            if (isTup)
-                return 1;
-            return 0;
-        };
-        const scoreA = getTypeScore(isSetA, isTupA);
-        const scoreB = getTypeScore(isSetB, isTupB);
-        if (scoreA !== scoreB)
-            return scoreA < scoreB ? -1 : 1;
-        // 1. Sets
-        if (isSetA && isSetB) {
-            const setA = a;
-            const setB = b;
-            if (setA.size !== setB.size)
-                return setA.size < setB.size ? -1 : 1;
-            let iterA = setA._tree.begin;
-            let iterB = setB._tree.begin;
-            while (iterA.valid && iterB.valid) {
-                const cmp = RecursiveSet.compare(iterA.key, iterB.key);
-                if (cmp !== 0)
-                    return cmp;
-                iterA.next();
-                iterB.next();
-            }
-            return 0;
+    get hashCode() {
+        if (this._hashCode !== null)
+            return this._hashCode;
+        let h = 0;
+        const arr = this._elements;
+        const len = arr.length;
+        for (let i = 0; i < len; i++) {
+            h = Math.imul(31, h) + hashValue(arr[i]);
         }
-        // 2. Tuples
-        if (isTupA && isTupB) {
-            const tupA = a;
-            const tupB = b;
-            if (tupA.length !== tupB.length)
-                return tupA.length < tupB.length ? -1 : 1;
-            for (let i = 0; i < tupA.length; i++) {
-                const cmp = RecursiveSet.compare(tupA.get(i), tupB.get(i));
-                if (cmp !== 0)
-                    return cmp;
-            }
+        this._hashCode = h | 0;
+        this._isFrozen = true;
+        return this._hashCode;
+    }
+    get isFrozen() { return this._isFrozen; }
+    compare(other) {
+        if (this === other)
             return 0;
+        const h1 = this.hashCode;
+        const h2 = other.hashCode;
+        if (h1 !== h2)
+            return h1 < h2 ? -1 : 1;
+        const arrA = this._elements;
+        const arrB = other._elements;
+        const len = arrA.length;
+        if (len !== arrB.length)
+            return len - arrB.length;
+        for (let i = 0; i < len; i++) {
+            const cmp = compare(arrA[i], arrB[i]);
+            if (cmp !== 0)
+                return cmp;
         }
-        // 3. Primitives (guaranteed by add() validation)
-        const tA = typeof a;
-        const tB = typeof b;
-        if (tA !== tB)
-            return tA > tB ? 1 : -1;
-        // @ts-ignore
-        if (a < b)
-            return -1;
-        // @ts-ignore
-        if (a > b)
-            return 1;
         return 0;
     }
-    constructor(...elements) {
-        this._tree = createTree(RecursiveSet.compare);
-        for (const el of elements) {
-            this.add(el);
+    get size() { return this._elements.length; }
+    isEmpty() { return this._elements.length === 0; }
+    has(element) {
+        const arr = this._elements;
+        const len = arr.length;
+        // Linear Scan (Prefetch-friendly for small sets)
+        if (len < 16) {
+            for (let i = 0; i < len; i++) {
+                if (compare(arr[i], element) === 0)
+                    return true;
+            }
+            return false;
         }
+        // Binary Search
+        let low = 0, high = len - 1;
+        while (low <= high) {
+            const mid = (low + high) >>> 1;
+            const cmp = compare(arr[mid], element);
+            if (cmp === 0)
+                return true;
+            if (cmp < 0)
+                low = mid + 1;
+            else
+                high = mid - 1;
+        }
+        return false;
     }
-    // === Copy-on-Write Support ===
-    /**
-     * Creates a shallow copy of the set in O(1) time.
-     */
-    clone() {
-        const clone = new RecursiveSet();
-        clone._tree = this._tree;
-        return clone;
-    }
-    // === Mutable Operations ===
     add(element) {
-        // Validation
-        if (typeof element === "number" && Number.isNaN(element)) {
+        this._checkFrozen('add() to');
+        // Validation (Inlined for Performance)
+        if (typeof element === 'object' && element !== null) {
+            if (!(element instanceof RecursiveSet || element instanceof Tuple || Array.isArray(element))) {
+                throw new Error("Unsupported Type: Use Tuple, Array or RecursiveSet.");
+            }
+        }
+        else if (Number.isNaN(element)) {
             throw new Error("NaN is not supported");
         }
-        const isSet = element instanceof RecursiveSet;
-        const isTup = element instanceof Tuple;
-        const isObject = element !== null && typeof element === 'object' && !isSet && !isTup;
-        if (isObject) {
-            throw new Error("Plain Objects and Arrays are not supported. " +
-                "Use Tuple for sequences or RecursiveSet for nested structures.");
+        const arr = this._elements;
+        const len = arr.length;
+        // Optimization: Append to end (common in construction)
+        if (len > 0) {
+            const lastCmp = compare(arr[len - 1], element);
+            if (lastCmp < 0) {
+                arr.push(element);
+                this._hashCode = null;
+                return this;
+            }
+            if (lastCmp === 0)
+                return this;
+        }
+        else {
+            arr.push(element);
+            this._hashCode = null;
+            return this;
         }
-        // Idempotency
-        if (this.has(element))
+        // Small Array Strategy
+        if (len < 16) {
+            for (let i = 0; i < len; i++) {
+                const cmp = compare(arr[i], element);
+                if (cmp === 0)
+                    return this;
+                if (cmp > 0) {
+                    arr.splice(i, 0, element);
+                    this._hashCode = null;
+                    return this;
+                }
+            }
+            arr.push(element); // Should be unreachable given append check, but safe fallback
             return this;
-        this._tree = this._tree.insert(element, true);
+        }
+        // Large Array Strategy
+        let low = 0, high = len - 1, idx = 0;
+        while (low <= high) {
+            const mid = (low + high) >>> 1;
+            const cmp = compare(arr[mid], element);
+            if (cmp === 0)
+                return this;
+            if (cmp < 0) {
+                idx = mid + 1;
+                low = mid + 1;
+            }
+            else {
+                idx = mid;
+                high = mid - 1;
+            }
+        }
+        arr.splice(idx, 0, element);
+        this._hashCode = null;
         return this;
     }
     remove(element) {
-        this._tree = this._tree.remove(element);
+        this._checkFrozen('remove() from');
+        const arr = this._elements;
+        const len = arr.length;
+        if (len < 16) {
+            for (let i = 0; i < len; i++) {
+                if (compare(arr[i], element) === 0) {
+                    arr.splice(i, 1);
+                    this._hashCode = null;
+                    return this;
+                }
+            }
+            return this;
+        }
+        let low = 0, high = len - 1;
+        while (low <= high) {
+            const mid = (low + high) >>> 1;
+            const cmp = compare(arr[mid], element);
+            if (cmp === 0) {
+                arr.splice(mid, 1);
+                this._hashCode = null;
+                return this;
+            }
+            if (cmp < 0)
+                low = mid + 1;
+            else
+                high = mid - 1;
+        }
         return this;
     }
     clear() {
-        this._tree = createTree(RecursiveSet.compare);
+        this._checkFrozen('clear()');
+        this._elements = [];
+        this._hashCode = 0;
         return this;
     }
-    // === Set Operations ===
+    mutableCopy() {
+        const s = new RecursiveSet();
+        s._elements = this._elements.slice();
+        return s;
+    }
+    clone() { return this.mutableCopy(); }
     union(other) {
-        const result = this.clone();
-        for (const el of other)
-            result.add(el);
-        return result;
+        const s = new RecursiveSet();
+        const arrA = this._elements;
+        const arrB = other._elements;
+        if (arrA.length === 0)
+            return other.clone();
+        if (arrB.length === 0)
+            return this.clone();
+        const res = [];
+        let i = 0, j = 0;
+        const lenA = arrA.length, lenB = arrB.length;
+        while (i < lenA && j < lenB) {
+            const cmp = compare(arrA[i], arrB[j]);
+            if (cmp < 0)
+                res.push(arrA[i++]);
+            else if (cmp > 0)
+                res.push(arrB[j++]);
+            else {
+                res.push(arrA[i++]);
+                j++;
+            }
+        }
+        while (i < lenA)
+            res.push(arrA[i++]);
+        while (j < lenB)
+            res.push(arrB[j++]);
+        s._elements = res;
+        return s;
     }
     intersection(other) {
-        const result = new RecursiveSet();
-        const [smaller, larger] = this.size < other.size ? [this, other] : [other, this];
-        for (const el of smaller) {
-            if (larger.has(el)) {
-                result.add(el);
+        const s = new RecursiveSet();
+        const arrA = this._elements;
+        const arrB = other._elements;
+        const res = [];
+        let i = 0, j = 0;
+        const lenA = arrA.length, lenB = arrB.length;
+        while (i < lenA && j < lenB) {
+            const cmp = compare(arrA[i], arrB[j]);
+            if (cmp < 0)
+                i++;
+            else if (cmp > 0)
+                j++;
+            else {
+                res.push(arrA[i++]);
+                j++;
             }
         }
-        return result;
+        s._elements = res;
+        return s;
     }
     difference(other) {
-        const result = new RecursiveSet();
-        for (const el of this) {
-            if (!other.has(el)) {
-                result.add(el);
+        const s = new RecursiveSet();
+        const arrA = this._elements;
+        const arrB = other._elements;
+        const res = [];
+        let i = 0, j = 0;
+        const lenA = arrA.length, lenB = arrB.length;
+        while (i < lenA && j < lenB) {
+            const cmp = compare(arrA[i], arrB[j]);
+            if (cmp < 0)
+                res.push(arrA[i++]);
+            else if (cmp > 0)
+                j++;
+            else {
+                i++;
+                j++;
             }
         }
-        return result;
+        while (i < lenA)
+            res.push(arrA[i++]);
+        s._elements = res;
+        return s;
     }
     symmetricDifference(other) {
-        return this.difference(other).union(other.difference(this));
+        const s = new RecursiveSet();
+        const arrA = this._elements;
+        const arrB = other._elements;
+        const res = [];
+        let i = 0, j = 0;
+        const lenA = arrA.length, lenB = arrB.length;
+        while (i < lenA && j < lenB) {
+            const cmp = compare(arrA[i], arrB[j]);
+            if (cmp < 0)
+                res.push(arrA[i++]);
+            else if (cmp > 0)
+                res.push(arrB[j++]);
+            else {
+                i++;
+                j++;
+            }
+        }
+        while (i < lenA)
+            res.push(arrA[i++]);
+        while (j < lenB)
+            res.push(arrB[j++]);
+        s._elements = res;
+        return s;
     }
     powerset() {
         const n = this.size;
-        if (n > 30)
-            throw new Error("Powerset size exceeds 32-bit integer limit");
-        const elements = [];
-        this._tree.forEach((key) => { elements.push(key); });
+        if (n > 20)
+            throw new Error("Powerset too large");
         const subsets = [];
-        for (let i = 0; i < (1 << n); i++) {
+        const max = 1 << n;
+        for (let i = 0; i < max; i++) {
             const subset = new RecursiveSet();
             for (let j = 0; j < n; j++) {
-                if (i & (1 << j)) {
-                    subset.add(elements[j]);
-                }
+                if (i & (1 << j))
+                    subset._elements.push(this._elements[j]);
             }
             subsets.push(subset);
         }
         return new RecursiveSet(...subsets);
     }
-    /**
-     * Returns the Cartesian product as a set of Tuples.
-     * Uses the Tuple class to ensure structural equality.
-     */
     cartesianProduct(other) {
         const result = new RecursiveSet();
-        for (const x of this) {
-            for (const y of other) {
-                result.add(new Tuple(x, y));
+        const arrA = this._elements;
+        const arrB = other._elements;
+        for (const x of arrA) {
+            for (const y of arrB) {
+                result._elements.push(new Tuple(x, y));
             }
         }
         return result;
     }
-    // === Predicates ===
-    has(element) {
-        return this._tree.get(element) !== undefined;
-    }
     isSubset(other) {
         if (this.size > other.size)
             return false;
-        for (const el of this) {
-            if (!other.has(el))
+        let i = 0, j = 0;
+        const arrA = this._elements, arrB = other._elements;
+        while (i < arrA.length && j < arrB.length) {
+            const cmp = compare(arrA[i], arrB[j]);
+            if (cmp < 0)
                 return false;
+            if (cmp > 0)
+                j++;
+            else {
+                i++;
+                j++;
+            }
         }
-        return true;
-    }
-    isSuperset(other) {
-        return other.isSubset(this);
-    }
-    isProperSubset(other) {
-        return this.isSubset(other) && !this.equals(other);
-    }
-    isEmpty() {
-        return this.size === 0;
-    }
-    equals(other) {
-        return RecursiveSet.compare(this, other) === 0;
-    }
-    // === Utility ===
-    get size() {
-        return this._tree.length;
-    }
-    toSet() {
-        const result = new Set();
-        this._tree.forEach((key) => { result.add(key); });
-        return result;
-    }
-    // Lazy Iterator
-    *[Symbol.iterator]() {
-        let iter = this._tree.begin;
-        while (iter.valid) {
-            yield iter.key;
-            iter.next();
-        }
+        return i === arrA.length;
     }
+    isSuperset(other) { return other.isSubset(this); }
+    isProperSubset(other) { return this.isSubset(other) && this.size < other.size; }
+    equals(other) { return this.compare(other) === 0; }
+    toSet() { return new Set(this._elements); }
+    *[Symbol.iterator]() { yield* this._elements; }
     toString() {
         if (this.isEmpty())
             return "∅";
-        const elements = [];
-        this._tree.forEach((key) => {
-            if (key instanceof RecursiveSet) {
-                elements.push(key.toString());
-            }
-            else if (key instanceof Tuple) {
-                elements.push(key.toString());
-            }
-            else {
-                elements.push(String(key));
-            }
+        const elementsStr = this._elements.map(el => {
+            if (Array.isArray(el))
+                return `[${el.join(', ')}]`;
+            return String(el);
         });
-        return `{${elements.join(", ")}}`;
-    }
-    [Symbol.for('nodejs.util.inspect.custom')]() {
-        return this.toString();
+        return `{${elementsStr.join(', ')}}`;
     }
+    [Symbol.for('nodejs.util.inspect.custom')]() { return this.toString(); }
 }
-// === Helpers ===
-export function emptySet() {
-    return new RecursiveSet();
-}
-export function singleton(element) {
-    return new RecursiveSet(element);
-}
-export function fromIterable(iterable) {
-    return new RecursiveSet(...iterable);
-}
+export function emptySet() { return new RecursiveSet(); }
+export function singleton(element) { return new RecursiveSet(element); }
+export function fromIterable(iterable) { return new RecursiveSet(...iterable); }
 //# sourceMappingURL=index.js.map