type-plus 4.10.0 → 4.11.1

package/esm/nominal-types/Flavor.d.ts

@@ -1,8 +1,20 @@
 import type { Widen } from '../utils/index.js';
 import { typeSym } from './types.js';
+/**
+ * Create a "flavored" version of a type.
+ * TypeScript will disallow mixing flavors,
+ * but will allow unflavored values of that type to be passed in where a flavored version is expected.
+ * This is a less restrictive form of branding.
+ */
 export declare type Flavor<F extends string, T> = T & {
     [typeSym]?: F;
 };
+/**
+ * Creates a brand creator with the specified type.
+ */
 export declare function flavor<F extends string>(type: F): <T>(subject: T) => Flavor<F, Widen<T>>;
+/**
+ * Creates a branded value of specified type.
+ */
 export declare function flavor<F extends string, T>(type: F, subject: T): Flavor<F, Widen<T>>;
 //# sourceMappingURL=Flavor.d.ts.map

package/esm/nominal-types/Flavor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Flavor.d.ts","sourceRoot":"","sources":["../../ts/nominal-types/Flavor.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAQpC,oBAAY,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG;IAC5C,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACd,CAAA;AAKD,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AAIzF,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA"}
+{"version":3,"file":"Flavor.d.ts","sourceRoot":"","sources":["../../ts/nominal-types/Flavor.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAEpC;;;;;GAKG;AACH,oBAAY,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG;IAC5C,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACd,CAAA;AAED;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACzF;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/esm/nominal-types/Flavor.js

@@ -1,8 +1,11 @@
+// By Drew Colthorp, <https://spin.atomicobject.com/2018/01/15/typescript-flexible-nominal-typing/#comment-604580>
+// <https://gist.github.com/dcolthorp/aa21cf87d847ae9942106435bf47565d>
 import { typeSym } from './types.js';
 export function flavor(type, subject) {
     if (subject === undefined)
         return function (subject) { return flavor(type, subject); };
     if (typeof subject === 'object' && subject !== null) {
+        // if subject is not an object, the branding will exist only in type-level.
         subject[typeSym] = type;
     }
     return subject;

package/esm/nominal-types/Flavor.js.map

@@ -1 +1 @@
-{"version":3,"file":"Flavor.js","sourceRoot":"","sources":["../../ts/nominal-types/Flavor.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAoBpC,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,OAAiB;IACpD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,UAAa,OAAU,IAAI,OAAO,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA,CAAC,CAAC,CAAA;IAC3F,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE;QAElD,OAAiC,CAAC,OAAO,CAAC,GAAG,IAAI,CAAA;KACnD;IACD,OAAO,OAAO,CAAA;AAChB,CAAC"}
+{"version":3,"file":"Flavor.js","sourceRoot":"","sources":["../../ts/nominal-types/Flavor.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,uEAAuE;AAGvE,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAoBpC,MAAM,UAAU,MAAM,CAAC,IAAY,EAAE,OAAiB;IACpD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,UAAa,OAAU,IAAI,OAAO,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA,CAAC,CAAC,CAAA;IAC3F,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE;QACnD,2EAA2E;QAC1E,OAAiC,CAAC,OAAO,CAAC,GAAG,IAAI,CAAA;KACnD;IACD,OAAO,OAAO,CAAA;AAChB,CAAC"}

package/esm/nominal-types/Flavor.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Flavor.spec.d.ts.map

package/esm/nominal-types/Flavor.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Flavor.spec.d.ts","sourceRoot":"","sources":["../../ts/nominal-types/Flavor.spec.ts"],"names":[],"mappings":""}

package/esm/nominal-types/Flavor.spec.js

@@ -0,0 +1,40 @@
+import { assertType, brand, flavor, isType } from '../index.js';
+test('underlying type can be assigned to Flavor', () => {
+    let personId = 1;
+    let personId2 = 2;
+    personId = personId2;
+    personId2 = personId;
+    const blogId = 1;
+    isType.f();
+});
+describe('flavor()', () => {
+    test('basic use case', () => {
+        const a = flavor('a', { a: 1 });
+        const b = flavor('b', { b: 'b' });
+        isType.f();
+        assertType(a.a);
+        assertType(b.b);
+    });
+    test('same flavor of the same type can be assigned to each other', () => {
+        const a = flavor('a', { a: 1 });
+        let b = flavor('a', { a: 2 });
+        b = a;
+        expect(b.a).toBe(1);
+    });
+    test('brand with the same name can be assigned to flavor', () => {
+        const b = brand('x', { a: 1 });
+        const f = flavor('x', { a: 1 });
+        isType.t();
+    });
+    test('without subject creates a typed flavor creator', () => {
+        const createPerson = flavor('person');
+        let person1 = createPerson(1);
+        let person2 = createPerson(2);
+        const createBlogPost = flavor('Blog');
+        const blogPost = createBlogPost(1);
+        person1 = person2;
+        person2 = person1;
+        isType.f();
+    });
+});
+//# sourceMappingURL=Flavor.spec.js.map

package/esm/nominal-types/Flavor.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Flavor.spec.js","sourceRoot":"","sources":["../../ts/nominal-types/Flavor.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,KAAK,EAAqB,MAAM,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAElF,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;IAIrD,IAAI,QAAQ,GAAa,CAAC,CAAA;IAC1B,IAAI,SAAS,GAAa,CAAC,CAAA;IAE3B,QAAQ,GAAG,SAAS,CAAA;IACpB,SAAS,GAAG,QAAQ,CAAA;IAEpB,MAAM,MAAM,GAAW,CAAC,CAAA;IAExB,MAAM,CAAC,CAAC,EAA6C,CAAA;AACvD,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAU,EAAE,CAAC,CAAA;QACxC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAA;QAEjC,MAAM,CAAC,CAAC,EAAiC,CAAA;QACzC,UAAU,CAAI,CAAC,CAAC,CAAC,CAAC,CAAA;QAClB,UAAU,CAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IACzB,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QAC/B,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QAC7B,CAAC,GAAG,CAAC,CAAA;QACL,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACrB,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QAC9B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QAC/B,MAAM,CAAC,CAAC,EAAiC,CAAA;IAC3C,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;QAC1D,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;QACrC,IAAI,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;QAC7B,IAAI,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;QAE7B,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;QACrC,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,CAAA;QAElC,OAAO,GAAG,OAAO,CAAA;QACjB,OAAO,GAAG,OAAO,CAAA;QAEjB,MAAM,CAAC,CAAC,EAA8C,CAAA;IACxD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/esm/nominal-types/nominalMatch.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=nominalMatch.spec.d.ts.map

package/esm/nominal-types/nominalMatch.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nominalMatch.spec.d.ts","sourceRoot":"","sources":["../../ts/nominal-types/nominalMatch.spec.ts"],"names":[],"mappings":""}

package/esm/nominal-types/nominalMatch.spec.js

@@ -0,0 +1,50 @@
+import { brand, flavor, nominalMatch } from '../index.js';
+describe('nominalMatches()', () => {
+    describe('Brand', () => {
+        test('value of same brand matches', () => {
+            const a = brand('x', 1);
+            const b = brand('x', 2);
+            expect(nominalMatch(a, b)).toBe(true);
+            const c = brand('x', { c: 3 });
+            const d = brand('x', { d: 4 });
+            expect(nominalMatch(c, d)).toBe(true);
+        });
+        test('work with null and undefined', () => {
+            const a = brand('x', undefined);
+            const b = brand('x', null);
+            expect(nominalMatch(a, b)).toBe(true);
+        });
+        test('different brand will not compile with nominalMatches()', () => {
+            // const a = brand('x', 1)
+            // const b = brand('y', 1)
+            // nominalMatches(a, b)  // <-- does not compile
+            // const c = brand('x', { a: 1 })
+            // const d = brand('y', { a: 1 })
+            // nominalMatches(c, d)  // <-- does not compile
+        });
+    });
+    describe('Flavor', () => {
+        test('value of same flavor matches', () => {
+            const a = flavor('x', 1);
+            const b = flavor('x', 2);
+            expect(nominalMatch(a, b)).toBe(true);
+            const c = flavor('x', { c: 3 });
+            const d = flavor('x', { d: 4 });
+            expect(nominalMatch(c, d)).toBe(true);
+        });
+        test('work with null and undefined', () => {
+            const a = flavor('x', undefined);
+            const b = flavor('x', null);
+            expect(nominalMatch(a, b)).toBe(true);
+        });
+        test('different flavor will not compile with nominalMatches()', () => {
+            // const a = flavor('x', 1)
+            // const b = flavor('y', 1)
+            // nominalMatches(a, b)  // <-- does not compile
+            // const c = flavor('x', { a: 1 })
+            // const d = flavor('y', { a: 1 })
+            // nominalMatches(c, d)  // <-- does not compile
+        });
+    });
+});
+//# sourceMappingURL=nominalMatch.spec.js.map

package/esm/nominal-types/nominalMatch.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nominalMatch.spec.js","sourceRoot":"","sources":["../../ts/nominal-types/nominalMatch.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAEzD,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;QACrB,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACvC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;YACvB,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;YACvB,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAErC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;YAC9B,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;YAC9B,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACvC,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACxC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,SAAS,CAAC,CAAA;YAC/B,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;YAC1B,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACvC,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAClE,0BAA0B;YAC1B,0BAA0B;YAC1B,gDAAgD;YAEhD,iCAAiC;YACjC,iCAAiC;YACjC,gDAAgD;QAClD,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IACF,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;QACtB,IAAI,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACxC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;YACxB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAA;YACxB,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAErC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;YAC/B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;YAC/B,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACvC,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACxC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,CAAA;YAChC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;YAC3B,MAAM,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACvC,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACnE,2BAA2B;YAC3B,2BAA2B;YAC3B,gDAAgD;YAEhD,kCAAkC;YAClC,kCAAkC;YAClC,gDAAgD;QAClD,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/esm/object/ANotB.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ANotB.spec.d.ts.map

package/esm/object/ANotB.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ANotB.spec.d.ts","sourceRoot":"","sources":["../../ts/object/ANotB.spec.ts"],"names":[],"mappings":""}

package/esm/object/ANotB.spec.js

@@ -0,0 +1,54 @@
+import { assertType } from '../index.js';
+describe('ANotB<A, B>', () => {
+    test('same type returns never', () => {
+        const actual = { a: 1 };
+        assertType(actual);
+    });
+    test('disjoint returns A', () => {
+        const actual = { a: 1 };
+        assertType(actual);
+    });
+    test('remove properties in B from A', () => {
+        const actual = { a: 1 };
+        assertType(actual);
+        assertType.isTrue(true);
+    });
+    test('same property different type returns the type in A', () => {
+        const actual = { a: 1 };
+        assertType(actual);
+    });
+});
+describe('BNotA<A, B>', () => {
+    test('same type returns never', () => {
+        const actual = { a: 1 };
+        assertType(actual);
+    });
+    test('disjoint returns B', () => {
+        const actual = { b: 2 };
+        assertType(actual);
+    });
+    test('remove properties in A from B', () => {
+        const actual = { a: 1 };
+        assertType(actual);
+        assertType.isTrue(true);
+    });
+    test('same property different type returns the type in B', () => {
+        const actual = { a: 'a' };
+        assertType(actual);
+    });
+});
+describe('LeftJoin', () => {
+    test('same type returns A', () => {
+        const actual = {};
+        assertType(actual);
+    });
+    test('disjoint returns A & B', () => {
+        const actual = {};
+        assertType(actual);
+    });
+    test('replaces property in A with property in B', () => {
+        const actual = {};
+        assertType(actual);
+    });
+});
+//# sourceMappingURL=ANotB.spec.js.map

package/esm/object/ANotB.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ANotB.spec.js","sourceRoot":"","sources":["../../ts/object/ANotB.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,UAAU,EAA+B,MAAM,aAAa,CAAA;AAE5E,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,EAA+B,CAAA;QACpD,UAAU,CAAQ,MAAM,CAAC,CAAA;IAC3B,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAE9B,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,EAAwB,CAAA;QAC7C,UAAU,CAAI,MAAM,CAAC,CAAA;IACvB,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAGzC,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,EAAiB,CAAA;QAEtC,UAAU,CAAqB,MAAM,CAAC,CAAA;QACtC,UAAU,CAAC,MAAM,CAAC,IAAoC,CAAC,CAAA;IACzD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAG9D,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,EAAiB,CAAA;QACtC,UAAU,CAAI,MAAM,CAAC,CAAA;IACvB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,EAA+B,CAAA;QACpD,UAAU,CAAQ,MAAM,CAAC,CAAA;IAC3B,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAG9B,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,EAAiB,CAAA;QACtC,UAAU,CAAI,MAAM,CAAC,CAAA;IACvB,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAGzC,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,EAAiB,CAAA;QAEtC,UAAU,CAAqB,MAAM,CAAC,CAAA;QACtC,UAAU,CAAC,MAAM,CAAC,IAAoC,CAAC,CAAA;IACzD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAG9D,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,GAAG,EAAiB,CAAA;QACxC,UAAU,CAAI,MAAM,CAAC,CAAA;IACvB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAI,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC/B,MAAM,MAAM,GAAG,EAAkC,CAAA;QACjD,UAAU,CAAW,MAAM,CAAC,CAAA;IAC9B,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAClC,MAAM,MAAM,GAAG,EAAkC,CAAA;QACjD,UAAU,CAAiB,MAAM,CAAC,CAAA;IACpC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;QAErD,MAAM,MAAM,GAAG,EAAuC,CAAA;QACtD,UAAU,CAAqC,MAAM,CAAC,CAAA;IACxD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAC"}

package/esm/object/ExcludePropType.d.ts

@@ -1,3 +1,6 @@
+/**
+ * Exclude type U from properties in T.
+ */
 export declare type ExcludePropType<T extends Record<keyof any, any>, U> = {
     [k in keyof T]: Exclude<T[k], U>;
 };

package/esm/object/ExcludePropType.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ExcludePropType.d.ts","sourceRoot":"","sources":["../../ts/object/ExcludePropType.ts"],"names":[],"mappings":"AAGA,oBAAY,eAAe,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI;KAChE,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CACjC,CAAA"}
+{"version":3,"file":"ExcludePropType.d.ts","sourceRoot":"","sources":["../../ts/object/ExcludePropType.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,oBAAY,eAAe,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI;KAChE,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CACjC,CAAA"}

package/esm/object/ExcludePropType.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ExcludePropType.spec.d.ts.map

package/esm/object/ExcludePropType.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExcludePropType.spec.d.ts","sourceRoot":"","sources":["../../ts/object/ExcludePropType.spec.ts"],"names":[],"mappings":""}

package/esm/object/ExcludePropType.spec.js

@@ -0,0 +1,6 @@
+import { assertType } from '../index.js';
+test('exclude type R from properties of T', () => {
+    const x = { name: '', age: 0 };
+    assertType.isNumber(x.age);
+});
+//# sourceMappingURL=ExcludePropType.spec.js.map

package/esm/object/ExcludePropType.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExcludePropType.spec.js","sourceRoot":"","sources":["../../ts/object/ExcludePropType.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAmB,MAAM,aAAa,CAAA;AAEzD,IAAI,CAAC,qCAAqC,EAAE,GAAG,EAAE;IAQ/C,MAAM,CAAC,GAAuB,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAA;IAClD,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;AAC5B,CAAC,CAAC,CAAA"}

package/esm/object/IsDisjoint.d.ts

@@ -1,5 +1,9 @@
 import { And, Not } from '../predicates/index.js';
 import type { AnyRecord } from './AnyRecord.js';
 import { HasKey } from './hasKey.js';
+/**
+ * Are the two records disjoint from each other.
+ * Disjoint means no common property.
+ */
 export declare type IsDisjoint<A extends AnyRecord, B extends AnyRecord> = And<Not<HasKey<A, keyof B>>, Not<HasKey<B, keyof A>>>;
 //# sourceMappingURL=IsDisjoint.d.ts.map

package/esm/object/IsDisjoint.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"IsDisjoint.d.ts","sourceRoot":"","sources":["../../ts/object/IsDisjoint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAMpC,oBAAY,UAAU,CACpB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,IACf,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA"}
+{"version":3,"file":"IsDisjoint.d.ts","sourceRoot":"","sources":["../../ts/object/IsDisjoint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC;;;GAGG;AACH,oBAAY,UAAU,CACpB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,IACf,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/esm/object/IsDisjoint.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=IsDisjoint.spec.d.ts.map

package/esm/object/IsDisjoint.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"IsDisjoint.spec.d.ts","sourceRoot":"","sources":["../../ts/object/IsDisjoint.spec.ts"],"names":[],"mappings":""}

package/esm/object/IsDisjoint.spec.js

@@ -0,0 +1,14 @@
+import { isType } from '../index.js';
+test('disjoint returns true', () => {
+    isType.t();
+});
+test('same type returns false', () => {
+    isType.f();
+});
+test('A subset of B returns false', () => {
+    isType.f();
+});
+test('B subset of A returns false', () => {
+    isType.f();
+});
+//# sourceMappingURL=IsDisjoint.spec.js.map

package/esm/object/IsDisjoint.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IsDisjoint.spec.js","sourceRoot":"","sources":["../../ts/object/IsDisjoint.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAc,MAAM,aAAa,CAAA;AAEhD,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;IAGjC,MAAM,CAAC,CAAC,EAAoB,CAAA;AAC9B,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;IAGnC,MAAM,CAAC,CAAC,EAAoB,CAAA;AAC9B,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAGvC,MAAM,CAAC,CAAC,EAAoB,CAAA;AAC9B,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAGvC,MAAM,CAAC,CAAC,EAAoB,CAAA;AAC9B,CAAC,CAAC,CAAA"}

package/esm/object/IsRecord.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=IsRecord.spec.d.ts.map

package/esm/object/IsRecord.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"IsRecord.spec.d.ts","sourceRoot":"","sources":["../../ts/object/IsRecord.spec.ts"],"names":[],"mappings":""}

package/esm/object/IsRecord.spec.js

@@ -0,0 +1,20 @@
+import { assertType } from '../index.js';
+test('boolean, number, string, null, undefined, symbol are not record', () => {
+    assertType.isFalse(false);
+    assertType.isFalse(false);
+    assertType.isFalse(false);
+    assertType.isFalse(false);
+    assertType.isFalse(false);
+    assertType.isFalse(false);
+});
+test('array is not record', () => {
+    assertType.isFalse(false);
+});
+test('object is record', () => {
+    // eslint-disable-next-line @typescript-eslint/ban-types
+    assertType.isTrue(true);
+    // eslint-disable-next-line @typescript-eslint/ban-types
+    assertType.isTrue(true);
+    assertType.isTrue(true);
+});
+//# sourceMappingURL=IsRecord.spec.js.map

package/esm/object/IsRecord.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IsRecord.spec.js","sourceRoot":"","sources":["../../ts/object/IsRecord.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAY,MAAM,aAAa,CAAA;AAElD,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,UAAU,CAAC,OAAO,CAAC,KAA4B,CAAC,CAAA;IAChD,UAAU,CAAC,OAAO,CAAC,KAAuB,CAAC,CAAA;IAC3C,UAAU,CAAC,OAAO,CAAC,KAA0B,CAAC,CAAA;IAC9C,UAAU,CAAC,OAAO,CAAC,KAAyB,CAAC,CAAA;IAC7C,UAAU,CAAC,OAAO,CAAC,KAAyB,CAAC,CAAA;IAC7C,UAAU,CAAC,OAAO,CAAC,KAAyB,CAAC,CAAA;AAC/C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,qBAAqB,EAAE,GAAG,EAAE;IAC/B,UAAU,CAAC,OAAO,CAAC,KAAqB,CAAC,CAAA;AAC3C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAC5B,wDAAwD;IACxD,UAAU,CAAC,MAAM,CAAC,IAAoB,CAAC,CAAA;IACvC,wDAAwD;IACxD,UAAU,CAAC,MAAM,CAAC,IAAwB,CAAC,CAAA;IAC3C,UAAU,CAAC,MAAM,CAAC,IAA+B,CAAC,CAAA;AACpD,CAAC,CAAC,CAAA"}

package/esm/object/KeyTypes.d.ts

@@ -1,2 +1,7 @@
+/**
+ * Type of all keys.
+ * To get the keys of an object or array, use the `keyof` keyword.
+ * This is just a convenient type as `keyof any` is not obvious.
+ */
 export declare type KeyTypes = keyof any;
 //# sourceMappingURL=KeyTypes.d.ts.map

package/esm/object/KeyTypes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"KeyTypes.d.ts","sourceRoot":"","sources":["../../ts/object/KeyTypes.ts"],"names":[],"mappings":"AAKA,oBAAY,QAAQ,GAAG,MAAM,GAAG,CAAA"}
+{"version":3,"file":"KeyTypes.d.ts","sourceRoot":"","sources":["../../ts/object/KeyTypes.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,oBAAY,QAAQ,GAAG,MAAM,GAAG,CAAA"}

package/esm/object/KeyTypes.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=KeyTypes.spec.d.ts.map

package/esm/object/KeyTypes.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"KeyTypes.spec.d.ts","sourceRoot":"","sources":["../../ts/object/KeyTypes.spec.ts"],"names":[],"mappings":""}

package/esm/object/KeyTypes.spec.js

@@ -0,0 +1,8 @@
+test('contains type of all keys', () => {
+    acceptKeys('a');
+    acceptKeys(1);
+    acceptKeys(Symbol());
+    function acceptKeys(k) { return k; }
+});
+export {};
+//# sourceMappingURL=KeyTypes.spec.js.map

package/esm/object/KeyTypes.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"KeyTypes.spec.js","sourceRoot":"","sources":["../../ts/object/KeyTypes.spec.ts"],"names":[],"mappings":"AAEA,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACrC,UAAU,CAAC,GAAG,CAAC,CAAA;IACf,UAAU,CAAC,CAAC,CAAC,CAAA;IACb,UAAU,CAAC,MAAM,EAAE,CAAC,CAAA;IAEpB,SAAS,UAAU,CAAC,CAAW,IAAI,OAAO,CAAC,CAAA,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAA"}

package/esm/object/KeyofOptional.d.ts

@@ -1,3 +1,6 @@
+/**
+ * @deprecated renamed to `KeysOfOptional`
+ */
 export declare type KeyofOptional<T> = T extends Record<infer U, any> ? U : never;
 export declare type KeysOfOptional<T> = T extends Record<infer U, any> ? U : never;
 //# sourceMappingURL=KeyofOptional.d.ts.map

package/esm/object/KeyofOptional.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"KeyofOptional.d.ts","sourceRoot":"","sources":["../../ts/object/KeyofOptional.ts"],"names":[],"mappings":"AAGA,oBAAY,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEzE,oBAAY,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA"}
+{"version":3,"file":"KeyofOptional.d.ts","sourceRoot":"","sources":["../../ts/object/KeyofOptional.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,oBAAY,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEzE,oBAAY,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA"}

package/esm/object/KeyofOptional.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=KeyofOptional.spec.d.ts.map

package/esm/object/KeyofOptional.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"KeyofOptional.spec.d.ts","sourceRoot":"","sources":["../../ts/object/KeyofOptional.spec.ts"],"names":[],"mappings":""}

package/esm/object/KeyofOptional.spec.js

@@ -0,0 +1,5 @@
+import { assertType } from '../index.js';
+test('get keys from optional type', () => {
+    assertType.isTrue(true);
+});
+//# sourceMappingURL=KeyofOptional.spec.js.map

package/esm/object/KeyofOptional.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"KeyofOptional.spec.js","sourceRoot":"","sources":["../../ts/object/KeyofOptional.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAA2B,MAAM,aAAa,CAAA;AAEjE,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAIvC,UAAU,CAAC,MAAM,CAAC,IAA6B,CAAC,CAAA;AAClD,CAAC,CAAC,CAAA"}

package/esm/object/KeysWithDiffType.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=KeysWithDiffType.spec.d.ts.map

package/esm/object/KeysWithDiffType.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"KeysWithDiffType.spec.d.ts","sourceRoot":"","sources":["../../ts/object/KeysWithDiffType.spec.ts"],"names":[],"mappings":""}

package/esm/object/KeysWithDiffType.spec.js

@@ -0,0 +1,14 @@
+import { assertType } from '../index.js';
+test('disjoint type gets never', () => {
+    const actual = 'a';
+    assertType(actual);
+});
+test('key with same type is not included', () => {
+    const actual = 'a';
+    assertType(actual);
+});
+test('key with different type is returned', () => {
+    const actual = 'a';
+    assertType(actual);
+});
+//# sourceMappingURL=KeysWithDiffType.spec.js.map

package/esm/object/KeysWithDiffType.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"KeysWithDiffType.spec.js","sourceRoot":"","sources":["../../ts/object/KeysWithDiffType.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAoB,MAAM,aAAa,CAAA;AAE1D,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;IAGpC,MAAM,MAAM,GAAG,GAA6B,CAAA;IAC5C,UAAU,CAAQ,MAAM,CAAC,CAAA;AAC3B,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAE9C,MAAM,MAAM,GAAG,GAA6B,CAAA;IAC5C,UAAU,CAAQ,MAAM,CAAC,CAAA;AAC3B,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,qCAAqC,EAAE,GAAG,EAAE;IAG/C,MAAM,MAAM,GAAG,GAA6B,CAAA;IAC5C,UAAU,CAAM,MAAM,CAAC,CAAA;AACzB,CAAC,CAAC,CAAA"}

package/esm/object/KnownKeys.js

@@ -1,2 +1,5 @@
+// Original by Klaus Meinhardt @ajafff
+// known from Gerrit Birkeland @Gerrit0
+// https://github.com/Microsoft/TypeScript/issues/25987#issuecomment-408339599
 export {};
 //# sourceMappingURL=KnownKeys.js.map

package/esm/object/KnownKeys.js.map

@@ -1 +1 @@
-{"version":3,"file":"KnownKeys.js","sourceRoot":"","sources":["../../ts/object/KnownKeys.ts"],"names":[],"mappings":""}
+{"version":3,"file":"KnownKeys.js","sourceRoot":"","sources":["../../ts/object/KnownKeys.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC,uCAAuC;AACvC,8EAA8E"}

package/esm/object/KnownKeys.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=KnownKeys.spec.d.ts.map

package/esm/object/KnownKeys.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"KnownKeys.spec.d.ts","sourceRoot":"","sources":["../../ts/object/KnownKeys.spec.ts"],"names":[],"mappings":""}

package/esm/object/KnownKeys.spec.js

@@ -0,0 +1,28 @@
+import { assertType } from '../index.js';
+test('pick out only known keys', () => {
+    const input = {};
+    const actual = getKnownKeys(input);
+    assertType(actual);
+});
+test('primitive type yields never', () => {
+    assertType(getKnownKeys(undefined));
+    assertType(getKnownKeys(true));
+    assertType(getKnownKeys(false));
+    assertType(getKnownKeys(null));
+    assertType(getKnownKeys('str'));
+    assertType(getKnownKeys(1));
+    assertType(getKnownKeys({}));
+    assertType(getKnownKeys([]));
+});
+test('literal gets keys', () => {
+    assertType(getKnownKeys({ a: 1 }));
+});
+test('empty record yields never', () => {
+    const x = {};
+    const actual = getKnownKeys(x);
+    assertType(actual);
+});
+function getKnownKeys(_value) {
+    return {};
+}
+//# sourceMappingURL=KnownKeys.spec.js.map

package/esm/object/KnownKeys.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"KnownKeys.spec.js","sourceRoot":"","sources":["../../ts/object/KnownKeys.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAa,MAAM,aAAa,CAAA;AAEnD,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;IAOpC,MAAM,KAAK,GAAM,EAAE,CAAA;IACnB,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAClC,UAAU,CAAY,MAAM,CAAC,CAAA;AAC/B,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;IACvC,UAAU,CAAQ,YAAY,CAAC,SAAS,CAAC,CAAC,CAAA;IAC1C,UAAU,CAAQ,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA;IACrC,UAAU,CAAQ,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;IACtC,UAAU,CAAQ,YAAY,CAAC,IAAI,CAAC,CAAC,CAAA;IACrC,UAAU,CAAQ,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;IACtC,UAAU,CAAQ,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IAClC,UAAU,CAAQ,YAAY,CAAC,EAAE,CAAC,CAAC,CAAA;IACnC,UAAU,CAAQ,YAAY,CAAC,EAAE,CAAC,CAAC,CAAA;AACrC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,mBAAmB,EAAE,GAAG,EAAE;IAC7B,UAAU,CAAM,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AACzC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACrC,MAAM,CAAC,GAAqB,EAAE,CAAA;IAC9B,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAC9B,UAAU,CAAQ,MAAM,CAAC,CAAA;AAC3B,CAAC,CAAC,CAAA;AAGF,SAAS,YAAY,CAAI,MAAS;IAChC,OAAO,EAA6B,CAAA;AACtC,CAAC"}

package/esm/object/OptionalKeys.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=OptionalKeys.spec.d.ts.map

package/esm/object/OptionalKeys.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"OptionalKeys.spec.d.ts","sourceRoot":"","sources":["../../ts/object/OptionalKeys.spec.ts"],"names":[],"mappings":""}

package/esm/object/OptionalKeys.spec.js

@@ -0,0 +1,14 @@
+import { assertType } from '../index.js';
+test('extract optional keys from object', () => {
+    assertType.isTrue(true);
+});
+test('work with union type', () => {
+    assertType.isTrue(true);
+});
+test('no optional keys returns never', () => {
+    assertType.isTrue(true);
+});
+test('keys with undefined value is not optional', () => {
+    assertType.isTrue(true);
+});
+//# sourceMappingURL=OptionalKeys.spec.js.map

package/esm/object/OptionalKeys.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"OptionalKeys.spec.js","sourceRoot":"","sources":["../../ts/object/OptionalKeys.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAyB,MAAM,aAAa,CAAA;AAE/D,IAAI,CAAC,mCAAmC,EAAE,GAAG,EAAE;IAG7C,UAAU,CAAC,MAAM,CAAC,IAAqC,CAAC,CAAA;AAC1D,CAAC,CAAC,CAAA;AACF,IAAI,CAAC,sBAAsB,EAAE,GAAG,EAAE;IAIhC,UAAU,CAAC,MAAM,CAAC,IAA6B,CAAC,CAAA;AAClD,CAAC,CAAC,CAAA;AACF,IAAI,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAG1C,UAAU,CAAC,MAAM,CAAC,IAAuC,CAAC,CAAA;AAC5D,CAAC,CAAC,CAAA;AACF,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;IAGrD,UAAU,CAAC,MAAM,CAAC,IAAuC,CAAC,CAAA;AAC5D,CAAC,CAAC,CAAA"}

package/esm/object/Partial.d.ts

@@ -1,7 +1,16 @@
 import { UnionKeys } from '../UnionKeys.js';
 import { Omit } from './omit.js';
 import { Pick } from './pick.js';
+/**
+ * Apply `Partial<>` on the selected properties.
+ */
 export declare type PartialPick<T, U extends UnionKeys<T>> = T extends T ? Omit<T, U> & Partial<Pick<T, U>> : never;
+/**
+ * @deprecated replaced by `PartialOmit`
+ */
 export declare type PartialExcept<T, U extends UnionKeys<T>> = T extends T ? Pick<T, U> & Partial<Omit<T, U>> : never;
+/**
+ * Apply `Partial<>` on all not selected properties.
+ */
 export declare type PartialOmit<T, U extends UnionKeys<T>> = T extends T ? Pick<T, U> & Partial<Omit<T, U>> : never;
 //# sourceMappingURL=Partial.d.ts.map

package/esm/object/Partial.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Partial.d.ts","sourceRoot":"","sources":["../../ts/object/Partial.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAKhC,oBAAY,WAAW,CAAC,CAAC,EAAE,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAA;AAK3G,oBAAY,aAAa,CAAC,CAAC,EAAE,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAA;AAK7G,oBAAY,WAAW,CAAC,CAAC,EAAE,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAA"}
+{"version":3,"file":"Partial.d.ts","sourceRoot":"","sources":["../../ts/object/Partial.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC;;GAEG;AACH,oBAAY,WAAW,CAAC,CAAC,EAAE,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAA;AAE3G;;GAEG;AACH,oBAAY,aAAa,CAAC,CAAC,EAAE,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAA;AAE7G;;GAEG;AACH,oBAAY,WAAW,CAAC,CAAC,EAAE,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAA"}

package/esm/object/Partial.spec.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Partial.spec.d.ts.map

package/esm/object/Partial.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Partial.spec.d.ts","sourceRoot":"","sources":["../../ts/object/Partial.spec.ts"],"names":[],"mappings":""}

package/esm/object/Partial.spec.js

@@ -0,0 +1,24 @@
+import { assertType } from '../index.js';
+test('work on primitive type', () => {
+    const x = 1;
+    assertType(1);
+});
+test('make picked properties optional', () => {
+    const y = { b: 1, c: 2 };
+    y.a = undefined;
+    assertType.noUndefined(y.b);
+    assertType.noUndefined(y.c);
+});
+test('make not specified properties optional', () => {
+    const y = { a: 1 };
+    assertType.noUndefined(y.a);
+    y.b = undefined;
+    y.c = undefined;
+});
+test('make not specified properties optional', () => {
+    const y = { a: 1 };
+    assertType.noUndefined(y.a);
+    y.b = undefined;
+    y.c = undefined;
+});
+//# sourceMappingURL=Partial.spec.js.map

package/esm/object/Partial.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Partial.spec.js","sourceRoot":"","sources":["../../ts/object/Partial.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAA2C,MAAM,aAAa,CAAA;AAEjF,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;IAElC,MAAM,CAAC,GAAQ,CAAC,CAAA;IAChB,UAAU,CAAsB,CAAwC,CAAC,CAAA;AAC3E,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAO3C,MAAM,CAAC,GAA0B,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;IAE/C,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IACf,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3B,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAC7B,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,wCAAwC,EAAE,GAAG,EAAE;IAOlD,MAAM,CAAC,GAA4B,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;IAC3C,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3B,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IACf,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;AACjB,CAAC,CAAC,CAAA;AAGF,IAAI,CAAC,wCAAwC,EAAE,GAAG,EAAE;IAOlD,MAAM,CAAC,GAA0B,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;IAEzC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC3B,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IACf,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;AACjB,CAAC,CAAC,CAAA"}

package/esm/object/RecursiveIntersect.d.ts

@@ -1,4 +1,15 @@
 import type { AnyRecord } from './AnyRecord.js';
+/**
+ * Intersect type recursively.
+ * The recursion terminates at level 7 due to design limit of TypeScript.
+ *
+ * Normal use case is intersecting betwee two object types.
+ * While it works for value types and top level array,
+ * top level array does not recursive into the elements.
+ * NOTE: in latest TypeScript,
+ * `undefined` is not an accepted value.
+ * The resulting type would be `never`
+ */
 export declare type RecursiveIntersect<T, U> = (T & (T extends Array<infer Y> ? Array<Y & U> & U : T extends AnyRecord ? {
     [P in keyof T]: T[P] extends Array<infer R> ? Array<RecursiveIntersect<R, U>> & U : T[P] extends AnyRecord ? RecursiveIntersect<T[P], U> : T[P] & U;
 } & U : U));

package/esm/object/RecursiveIntersect.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RecursiveIntersect.d.ts","sourceRoot":"","sources":["../../ts/object/RecursiveIntersect.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAa/C,oBAAY,kBAAkB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAC1C,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAC3C,CAAC,SAAS,SAAS,GAAG;KACnB,CAAC,IAAI,MAAM,CAAC,GACb,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GACjE,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GACpD,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;CACT,GAAG,CAAC,GAAG,CAAC,CAAC,CACX,CAAA"}
+{"version":3,"file":"RecursiveIntersect.d.ts","sourceRoot":"","sources":["../../ts/object/RecursiveIntersect.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAE/C;;;;;;;;;;GAUG;AACH,oBAAY,kBAAkB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAC1C,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAC3C,CAAC,SAAS,SAAS,GAAG;KACnB,CAAC,IAAI,MAAM,CAAC,GACb,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GACjE,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GACpD,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;CACT,GAAG,CAAC,GAAG,CAAC,CAAC,CACX,CAAA"}