deep-guards 1.2.0 → 1.3.0

package/README.md

@@ -54,6 +54,7 @@ if (vehicleGuard(value)) {
    6. [isUnionOf](#isunionof)
    7. [isIntersectionOf](#isintersectionof)
    8. [isExact](#isexact)
+   9. [isInstance](#isinstance)
 3. [Structures](#structures)
    1. [isAnyArray](#isanyarray)
    2. [isAnyRecord](#isanyrecord)
@@ -119,7 +120,7 @@ Has signature:
 
 ```ts
 function isOneOf<
-  const T extends (string | number | boolean | symbol | null | undefined)[]
+  const T extends (string | number | boolean | symbol | null | undefined)[],
 >(...values: T): Guard<(typeof values)[number]>;
 ```
 
@@ -138,10 +139,14 @@ Higher order guard. This takes in any amount of guards as arguments, and then pr
 Has signature:
 
 ```ts
-function isExact<const T>(expected: T, deep: boolean = true): Guard<T>;
+function isExact<const T>(expected: T): Guard<T>;
 ```
 
-This will pass if the incoming value exactly matches the `expected` parameter, optionally computing a deep equality.
+This will pass if the incoming value exactly matches the `expected` parameter. This memoizes checks upfront based on the expected value being passed in. So it's best to create these guards once, and then reuse the returned guard function.
+
+### isInstance
+
+Takes in a class and produces a guard to see if values are instances of that class, by using `instanceof`
 
 ## Structures
 
@@ -228,7 +233,7 @@ const carGuard = isObjectOf({
   passengers: isArrayOf(
     isObjectOf({
       name: isString,
-    })
+    }),
   ),
 });
 
@@ -240,7 +245,7 @@ const bikeGuard = isObjectOf({
 
 const vehicleGuard = isUnionOf(
   isDiscriminatedObjectOf("car", carGuard),
-  isDiscriminatedObjectOf("bike", bikeGuard)
+  isDiscriminatedObjectOf("bike", bikeGuard),
 );
 ```
 
@@ -254,7 +259,7 @@ You can then do things like:
 const cars = guardOrThrow(
   JSON.parse(readFileSync("cars.json").toString()),
   isArrayOf(isCar),
-  "Invalid car format"
+  "Invalid car format",
 );
 ```
 
@@ -272,7 +277,7 @@ const carGuard = isObjectOf({
   passengers: isArrayOf(
     isObjectOf({
       name: isString,
-    })
+    }),
   ),
 });
 

package/dist/compound.d.ts

@@ -11,6 +11,6 @@ type ArrayToIntersection<A extends readonly unknown[]> = A extends [
     ...infer R
 ] ? T & ArrayToIntersection<R> : unknown;
 export declare function isIntersectionOf<T extends readonly unknown[]>(...guards: GuardSchemaOf<T>): Guard<ArrayToIntersection<T>>;
-export declare function isExact<const T>(expected: T, deep?: boolean): Guard<T>;
+export declare function isExact<const T>(expected: T): Guard<T>;
 export declare function isInstance<C extends abstract new (...args: any) => unknown>(cls: C): Guard<InstanceType<C>>;
 export {};

package/dist/compound.js

@@ -36,30 +36,76 @@ export function isIntersectionOf(...guards) {
     }
     return (value) => guards.every((guard) => guard(value));
 }
-function objectEntriesChecks(a, b) {
-    const aKeys = objectKeys(a);
-    const bKeySet = new Set(objectKeys(b));
-    return (aKeys.length === bKeySet.size &&
-        aKeys.every((k) => bKeySet.has(k) && isExact(a[k], true)(b[k])));
-}
-export function isExact(expected, deep = true) {
-    return (value) => 
-    // Shallow checks
-    expected === value ||
-        (Number.isNaN(expected) && Number.isNaN(value)) ||
-        (deep &&
-            (Array.isArray(expected)
-                ? // Array checks
-                    Array.isArray(value) &&
-                        expected.length === value.length &&
-                        expected.every((v, i) => isExact(v, true)(value[i]))
-                : // Object checks
-                    expected != null &&
-                        value != null &&
-                        typeof expected === "object" &&
-                        typeof value === "object" &&
-                        !Array.isArray(value) &&
-                        objectEntriesChecks(expected, value)));
+export function isExact(expected) {
+    // Primitive checks
+    if (typeof expected !== "object" || expected === null) {
+        // NaN check
+        if (typeof expected === "number" && Number.isNaN(expected)) {
+            return (value) => typeof value === "number" && Number.isNaN(value);
+        }
+        return (value) => value === expected;
+    }
+    // Date checks
+    if (expected instanceof Date) {
+        return (value) => value instanceof Date && expected.getTime() === value.getTime();
+    }
+    // RegExp checks
+    if (expected instanceof RegExp) {
+        return (value) => value instanceof RegExp &&
+            expected.source === value.source &&
+            expected.flags === value.flags;
+    }
+    // Error checks
+    if (expected instanceof Error) {
+        return (value) => value instanceof Error &&
+            expected.name === value.name &&
+            expected.message === value.message;
+    }
+    // Map checks
+    if (expected instanceof Map) {
+        const guards = Array.from(expected
+            .entries()
+            .map(([k, v]) => [k, isExact(v)]));
+        return (value) => value instanceof Map &&
+            expected.size === value.size &&
+            guards.every(([k, guard]) => value.has(k) && guard(value.get(k)));
+    }
+    // Set checks
+    if (expected instanceof Set) {
+        const guards = new Map(expected.values().map((v) => [v, isExact(v)]));
+        return (value) => value instanceof Set &&
+            expected.size === value.size &&
+            value.values().every((v) => guards.get(v)?.(v));
+    }
+    // Typed Array checks
+    if (ArrayBuffer.isView(expected) && !(expected instanceof DataView)) {
+        const guards = Array.from(expected).map((v) => isExact(v));
+        return (value) => ArrayBuffer.isView(value) &&
+            !(value instanceof DataView) &&
+            expected.constructor === value.constructor &&
+            expected.length ===
+                value.length &&
+            guards.every((guard, i) => guard(value[i]));
+    }
+    // Array checks
+    if (Array.isArray(expected)) {
+        const guards = expected.map((v) => isExact(v));
+        return (value) => Array.isArray(value) &&
+            expected.length === value.length &&
+            guards.every((guard, i) => guard(value[i]));
+    }
+    // Object checks
+    const guards = objectKeys(expected).map((k) => [k, isExact(expected[k])]);
+    function objectEntriesChecks(value) {
+        const valueKeys = new Set(objectKeys(value));
+        return (guards.length === valueKeys.size &&
+            guards.every(([k, guard]) => valueKeys.has(k) && guard(value[k])));
+    }
+    return (value) => typeof value === "object" &&
+        value != null &&
+        !Array.isArray(value) &&
+        objectKeys(value).length === guards.length &&
+        objectEntriesChecks(value);
 }
 // eslint-disable-next-line @typescript-eslint/no-explicit-any
 export function isInstance(cls) {

package/dist/compound.js.map

@@ -1 +1 @@
-{"version":3,"file":"compound.js","sourceRoot":"src/","sources":["compound.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAK1C,MAAM,UAAU,UAAU,CAAI,KAAe;IAC3C,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,SAAS,CACjB,sDAAsD,KAAK,EAAE,CAC9D,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,KAAK,EAA0B,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,UAAU,CAAI,KAAe;IAC3C,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,SAAS,CACjB,sDAAsD,KAAK,EAAE,CAC9D,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,KAAc,EAAiC,EAAE,CACvD,KAAK,IAAI,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,KAA2B;IAE3B,OAAO,KAAK,IAAI,IAAI,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,KAAK,CAAU,KAAe;IAC5C,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,SAAS,CACjB,iDAAiD,KAAK,EAAE,CACzD,CAAC;IACJ,CAAC;IAED,OAAO,CAAU,KAAY,EAAc,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,OAAO,CAErB,GAAG,MAAS;IACZ,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAE,QAAQ,CAAC,GAAwB,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,GAAG,MAAwB;IAE3B,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,UAAU,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,SAAS,CACjB,sDAAsD,MAAM,EAAE,CAC/D,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,KAAK,EAAc,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AACrE,CAAC;AASD,MAAM,UAAU,gBAAgB,CAC9B,GAAG,MAAwB;IAE3B,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,UAAU,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,SAAS,CACjB,6DAA6D,MAAM,EAAE,CACtE,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,KAAK,EAAmC,EAAE,CAChD,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,mBAAmB,CAAmB,CAAI,EAAE,CAAS;IAC5D,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,OAAO,CACL,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI;QAC7B,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAChE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAU,QAAW,EAAE,OAAgB,IAAI;IAChE,OAAO,CAAC,KAAK,EAAc,EAAE;IAC3B,iBAAiB;IACjB,QAAQ,KAAK,KAAK;QAClB,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/C,CAAC,IAAI;YACH,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;gBACtB,CAAC,CAAC,eAAe;oBACf,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;wBACpB,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;wBAChC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtD,CAAC,CAAC,gBAAgB;oBAChB,QAAQ,IAAI,IAAI;wBAChB,KAAK,IAAI,IAAI;wBACb,OAAO,QAAQ,KAAK,QAAQ;wBAC5B,OAAO,KAAK,KAAK,QAAQ;wBACzB,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;wBACrB,mBAAmB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,UAAU,CACxB,GAAM;IAEN,OAAO,CAAC,KAAK,EAA4B,EAAE,CAAC,KAAK,YAAY,GAAG,CAAC;AACnE,CAAC"}
+{"version":3,"file":"compound.js","sourceRoot":"src/","sources":["compound.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAK1C,MAAM,UAAU,UAAU,CAAI,KAAe;IAC3C,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,SAAS,CACjB,sDAAsD,KAAK,EAAE,CAC9D,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,KAAK,EAA0B,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,UAAU,CAAI,KAAe;IAC3C,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,SAAS,CACjB,sDAAsD,KAAK,EAAE,CAC9D,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,KAAc,EAAiC,EAAE,CACvD,KAAK,IAAI,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,KAA2B;IAE3B,OAAO,KAAK,IAAI,IAAI,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,KAAK,CAAU,KAAe;IAC5C,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,SAAS,CACjB,iDAAiD,KAAK,EAAE,CACzD,CAAC;IACJ,CAAC;IAED,OAAO,CAAU,KAAY,EAAc,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,OAAO,CAErB,GAAG,MAAS;IACZ,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;IACjC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAE,QAAQ,CAAC,GAAwB,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,GAAG,MAAwB;IAE3B,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,UAAU,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,SAAS,CACjB,sDAAsD,MAAM,EAAE,CAC/D,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,KAAK,EAAc,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AACrE,CAAC;AASD,MAAM,UAAU,gBAAgB,CAC9B,GAAG,MAAwB;IAE3B,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,UAAU,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,SAAS,CACjB,6DAA6D,MAAM,EAAE,CACtE,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,KAAK,EAAmC,EAAE,CAChD,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,OAAO,CAAU,QAAW;IAC1C,mBAAmB;IACnB,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtD,YAAY;QACZ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3D,OAAO,CAAC,KAAK,EAAc,EAAE,CAC3B,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,CAAC,KAAK,EAAc,EAAE,CAAC,KAAK,KAAK,QAAQ,CAAC;IACnD,CAAC;IAED,cAAc;IACd,IAAI,QAAQ,YAAY,IAAI,EAAE,CAAC;QAC7B,OAAO,CAAC,KAAK,EAAc,EAAE,CAC3B,KAAK,YAAY,IAAI,IAAI,QAAQ,CAAC,OAAO,EAAE,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;IACpE,CAAC;IAED,gBAAgB;IAChB,IAAI,QAAQ,YAAY,MAAM,EAAE,CAAC;QAC/B,OAAO,CAAC,KAAK,EAAc,EAAE,CAC3B,KAAK,YAAY,MAAM;YACvB,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAChC,QAAQ,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;IACnC,CAAC;IAED,eAAe;IACf,IAAI,QAAQ,YAAY,KAAK,EAAE,CAAC;QAC9B,OAAO,CAAC,KAAK,EAAc,EAAE,CAC3B,KAAK,YAAY,KAAK;YACtB,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;YAC5B,QAAQ,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC;IACvC,CAAC;IAED,aAAa;IACb,IAAI,QAAQ,YAAY,GAAG,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CACvB,QAAQ;aACL,OAAO,EAAE;aACT,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAA6B,CAAC,CAChE,CAAC;QAEF,OAAO,CAAC,KAAK,EAAc,EAAE,CAC3B,KAAK,YAAY,GAAG;YACpB,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;YAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,aAAa;IACb,IAAI,QAAQ,YAAY,GAAG,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAI,GAAG,CACpB,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAA6B,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CACzE,CAAC;QAEF,OAAO,CAAC,KAAK,EAAc,EAAE,CAC3B,KAAK,YAAY,GAAG;YACpB,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;YAC5B,KAAK,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC;IAED,qBAAqB;IACrB,IAAI,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,YAAY,QAAQ,CAAC,EAAE,CAAC;QACpE,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,QAAwC,CAAC,CAAC,GAAG,CACrE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAClB,CAAC;QAEF,OAAO,CAAC,KAAK,EAAc,EAAE,CAC3B,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC;YACzB,CAAC,CAAC,KAAK,YAAY,QAAQ,CAAC;YAC5B,QAAQ,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;YACzC,QAAyC,CAAC,MAAM;gBAC9C,KAAsC,CAAC,MAAM;YAChD,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CACxB,KAAK,CAAE,KAAsC,CAAC,CAAC,CAAC,CAAC,CAClD,CAAC;IACN,CAAC;IAED,eAAe;IACf,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAE/C,OAAO,CAAC,KAAK,EAAc,EAAE,CAC3B,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YACpB,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YAChC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC;IAED,gBAAgB;IAChB,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,GAAG,CACrC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAgC,CAChE,CAAC;IAEF,SAAS,mBAAmB,CAAC,KAAa;QACxC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,CAAgB,CAAC,CAAC;QAC5D,OAAO,CACL,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,IAAI;YAChC,MAAM,CAAC,KAAK,CACV,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CACb,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAE,KAAoC,CAAC,CAAC,CAAC,CAAC,CACtE,CACF,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,KAAK,EAAc,EAAE,CAC3B,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,IAAI,IAAI;QACb,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACrB,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAC1C,mBAAmB,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,UAAU,CACxB,GAAM;IAEN,OAAO,CAAC,KAAK,EAA4B,EAAE,CAAC,KAAK,YAAY,GAAG,CAAC;AACnE,CAAC"}

package/eslint.config.js

@@ -28,8 +28,10 @@ export default tslint.config(
       "@typescript-eslint/no-unnecessary-condition": "error",
       "@stylistic/arrow-parens": "off",
       "@stylistic/indent": "off",
+      "@stylistic/indent-binary-ops": "off",
       "@stylistic/generator-star-spacing": "off",
       "@stylistic/quotes": "off",
+      "@stylistic/quote-props": "off",
       "@stylistic/operator-linebreak": "off",
 
       // CORE
@@ -62,5 +64,5 @@ export default tslint.config(
         { varsIgnorePattern: "^_", argsIgnorePattern: "^_" },
       ],
     },
-  }
+  },
 );

package/package.json

@@ -11,7 +11,7 @@
   "type": "module",
   "types": "dist/index.d.ts",
   "homepage": "https://github.com/eniallator/Deep-Guards",
-  "version": "1.2.0",
+  "version": "1.3.0",
   "scripts": {
     "test": "vitest run --passWithNoTests",
     "build": "tsc",

package/src/compound.test.ts

@@ -95,10 +95,7 @@ describe("isUnionOf", () => {
 });
 
 describe("isIntersectionOf", () => {
-  const guard = isIntersectionOf(
-    isOneOf("foo", "bar", "baz"),
-    isExact("foo", false),
-  );
+  const guard = isIntersectionOf(isOneOf("foo", "bar", "baz"), isExact("foo"));
 
   it("succeeds for the intersection", () => {
     expect(guard("foo")).toBe(true);
@@ -112,10 +109,7 @@ describe("isIntersectionOf", () => {
 
 describe("isExact", () => {
   describe("deep", () => {
-    const guard = isExact(
-      { foo: "bar", hello: ["world", { key: "test" }] },
-      true,
-    );
+    const guard = isExact({ foo: "bar", hello: ["world", { key: "test" }] });
 
     it("succeeds for the exact value", () => {
       expect(guard({ foo: "bar", hello: ["world", { key: "test" }] })).toBe(
@@ -135,22 +129,108 @@ describe("isExact", () => {
   });
 
   describe("shallow", () => {
-    const guard = isExact("foo", false);
+    const guard = isExact("foo");
 
     it("succeeds for the exact value", () => {
       expect(guard("foo")).toBe(true);
     });
 
-    it("fails for deep equality", () => {
-      const guard = isExact(["foo", "bar", "baz", 1, 2, 3], false);
-      expect(guard(["foo", "bar", "baz", 1, 2, 3])).toBe(false);
-    });
-
     it("fails for any other value", () => {
       expect(guard("bar")).toBe(false);
       expect(guard(1)).toBe(false);
     });
   });
+
+  describe("Date", () => {
+    const date = new Date("2000-01-01");
+    const guard = isExact(date);
+
+    it("succeeds for the exact same date", () => {
+      expect(guard(new Date("2000-01-01"))).toBe(true);
+    });
+
+    it("fails for different dates", () => {
+      expect(guard(new Date("2000-01-02"))).toBe(false);
+      expect(guard(date.getTime())).toBe(false);
+    });
+  });
+
+  describe("RegExp", () => {
+    const regex = /test/gi;
+    const guard = isExact(regex);
+
+    it("succeeds for the exact same regex", () => {
+      expect(guard(/test/gi)).toBe(true);
+    });
+
+    it("fails for different regexes", () => {
+      expect(guard(/test/i)).toBe(false);
+      expect(guard(/test2/gi)).toBe(false);
+      expect(guard("test")).toBe(false);
+    });
+  });
+
+  describe("Error", () => {
+    const error = new Error("test error");
+    const guard = isExact(error);
+
+    it("succeeds for the exact same error", () => {
+      expect(guard(new Error("test error"))).toBe(true);
+    });
+
+    it("fails for different errors", () => {
+      expect(guard(new Error("other error"))).toBe(false);
+      expect(guard(new TypeError("test error"))).toBe(false);
+      expect(guard("test error")).toBe(false);
+    });
+  });
+
+  describe("Map", () => {
+    const map = new Map([["key", "value"]]);
+    const guard = isExact(map);
+
+    it("succeeds for the exact same map", () => {
+      expect(guard(new Map([["key", "value"]]))).toBe(true);
+    });
+
+    it("fails for different maps", () => {
+      expect(guard(new Map([["key", "other"]]))).toBe(false);
+      expect(guard(new Map([["other", "value"]]))).toBe(false);
+      expect(guard(new Map())).toBe(false);
+      expect(guard({})).toBe(false);
+    });
+  });
+
+  describe("Set", () => {
+    const set = new Set([1, 2, 3]);
+    const guard = isExact(set);
+
+    it("succeeds for the exact same set", () => {
+      expect(guard(new Set([1, 2, 3]))).toBe(true);
+    });
+
+    it("fails for different sets", () => {
+      expect(guard(new Set([1, 2]))).toBe(false);
+      expect(guard(new Set([1, 2, 4]))).toBe(false);
+      expect(guard([1, 2, 3])).toBe(false);
+    });
+  });
+
+  describe("Typed Array", () => {
+    const array = new Uint8Array([1, 2, 3]);
+    const guard = isExact(array);
+
+    it("succeeds for the exact same typed array", () => {
+      expect(guard(new Uint8Array([1, 2, 3]))).toBe(true);
+    });
+
+    it("fails for different typed arrays", () => {
+      expect(guard(new Uint8Array([1, 2]))).toBe(false);
+      expect(guard(new Uint8Array([1, 2, 4]))).toBe(false);
+      expect(guard(new Int8Array([1, 2, 3]))).toBe(false);
+      expect(guard([1, 2, 3])).toBe(false);
+    });
+  });
 });
 
 describe("isInstance", () => {

package/src/compound.ts

@@ -1,6 +1,6 @@
 import { objectKeys } from "./helpers.js";
 
-import type { GuardSchemaOf } from "./helpers.js";
+import type { GuardSchemaOf, ObjectKey } from "./helpers.js";
 import type { Guard } from "./types.js";
 
 export function isOptional<T>(guard: Guard<T>): Guard<T | undefined> {
@@ -79,33 +79,114 @@ export function isIntersectionOf<T extends readonly unknown[]>(
     guards.every((guard) => guard(value));
 }
 
-function objectEntriesChecks<T extends object>(a: T, b: object): b is T {
-  const aKeys = objectKeys(a);
-  const bKeySet = new Set(objectKeys(b));
-  return (
-    aKeys.length === bKeySet.size &&
-    aKeys.every((k) => bKeySet.has(k) && isExact(a[k], true)(b[k]))
+export function isExact<const T>(expected: T): Guard<T> {
+  // Primitive checks
+  if (typeof expected !== "object" || expected === null) {
+    // NaN check
+    if (typeof expected === "number" && Number.isNaN(expected)) {
+      return (value): value is T =>
+        typeof value === "number" && Number.isNaN(value);
+    }
+    return (value): value is T => value === expected;
+  }
+
+  // Date checks
+  if (expected instanceof Date) {
+    return (value): value is T =>
+      value instanceof Date && expected.getTime() === value.getTime();
+  }
+
+  // RegExp checks
+  if (expected instanceof RegExp) {
+    return (value): value is T =>
+      value instanceof RegExp &&
+      expected.source === value.source &&
+      expected.flags === value.flags;
+  }
+
+  // Error checks
+  if (expected instanceof Error) {
+    return (value): value is T =>
+      value instanceof Error &&
+      expected.name === value.name &&
+      expected.message === value.message;
+  }
+
+  // Map checks
+  if (expected instanceof Map) {
+    const guards = Array.from(
+      expected
+        .entries()
+        .map(([k, v]) => [k, isExact(v)] as [string, Guard<unknown>]),
+    );
+
+    return (value): value is T =>
+      value instanceof Map &&
+      expected.size === value.size &&
+      guards.every(([k, guard]) => value.has(k) && guard(value.get(k)));
+  }
+
+  // Set checks
+  if (expected instanceof Set) {
+    const guards = new Map(
+      expected.values().map((v): [unknown, Guard<unknown>] => [v, isExact(v)]),
+    );
+
+    return (value): value is T =>
+      value instanceof Set &&
+      expected.size === value.size &&
+      value.values().every((v) => guards.get(v)?.(v));
+  }
+
+  // Typed Array checks
+  if (ArrayBuffer.isView(expected) && !(expected instanceof DataView)) {
+    const guards = Array.from(expected as unknown as ArrayLike<number>).map(
+      (v) => isExact(v),
+    );
+
+    return (value): value is T =>
+      ArrayBuffer.isView(value) &&
+      !(value instanceof DataView) &&
+      expected.constructor === value.constructor &&
+      (expected as unknown as ArrayLike<number>).length ===
+        (value as unknown as ArrayLike<number>).length &&
+      guards.every((guard, i) =>
+        guard((value as unknown as ArrayLike<number>)[i]),
+      );
+  }
+
+  // Array checks
+  if (Array.isArray(expected)) {
+    const guards = expected.map((v) => isExact(v));
+
+    return (value): value is T =>
+      Array.isArray(value) &&
+      expected.length === value.length &&
+      guards.every((guard, i) => guard(value[i]));
+  }
+
+  // Object checks
+  const guards = objectKeys(expected).map(
+    (k) => [k, isExact(expected[k])] as [ObjectKey, Guard<unknown>],
   );
-}
 
-export function isExact<const T>(expected: T, deep: boolean = true): Guard<T> {
+  function objectEntriesChecks(value: object): value is T & object {
+    const valueKeys = new Set(objectKeys(value) as ObjectKey[]);
+    return (
+      guards.length === valueKeys.size &&
+      guards.every(
+        ([k, guard]) =>
+          valueKeys.has(k) && guard((value as Record<ObjectKey, unknown>)[k]),
+      )
+    );
+  }
+
   return (value): value is T =>
-    // Shallow checks
-    expected === value ||
-    (Number.isNaN(expected) && Number.isNaN(value)) ||
-    (deep &&
-      (Array.isArray(expected)
-        ? // Array checks
-          Array.isArray(value) &&
-          expected.length === value.length &&
-          expected.every((v, i) => isExact(v, true)(value[i]))
-        : // Object checks
-          expected != null &&
-          value != null &&
-          typeof expected === "object" &&
-          typeof value === "object" &&
-          !Array.isArray(value) &&
-          objectEntriesChecks(expected, value)));
+    typeof value === "object" &&
+    value != null &&
+    !Array.isArray(value) &&
+    objectKeys(value).length === guards.length &&
+    objectEntriesChecks(value);
 }
 
 // eslint-disable-next-line @typescript-eslint/no-explicit-any