type-plus 4.9.0 → 4.10.1

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

@@ -0,0 +1,21 @@
+import { Widen } from '../utils/index.js';
+import { typeSym, valueSym } from './types.js';
+/**
+ * Create a "branded" version of a type.
+ * TypeScript won't allow implicit conversion to this type
+ */
+export declare type Brand<B extends string, T> = T extends undefined | null | number | bigint | boolean ? {
+    [typeSym]: B;
+    [valueSym]: T;
+} : T & {
+    [typeSym]: B;
+};
+/**
+ * Creates a brand creator with the specified type.
+ */
+export declare function brand<B extends string>(type: B): <T>(subject: T) => Brand<B, Widen<T>>;
+/**
+ * Creates a branded value of specified type.
+ */
+export declare function brand<B extends string, T>(type: B, subject: T): Brand<B, Widen<T>>;
+//# sourceMappingURL=Brand.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Brand.d.ts","sourceRoot":"","sources":["../../ts/nominal-types/Brand.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAA;AACzC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAE9C;;;GAGG;AACH,oBAAY,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IACnC,CAAC,SAAS,SAAS,GAAG,IAAI,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GACpD;IAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;CAAE,GAC/B,CAAC,GAAG;IAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;CAAE,CAAA;AAExB;;GAEG;AACH,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AACvF;;GAEG;AACH,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/esm/nominal-types/Brand.js

@@ -1,8 +1,11 @@
-import { typeSym, valueSym } from './types';
+// By Drew Colthorp, <https://spin.atomicobject.com/2018/01/15/typescript-flexible-nominal-typing/#comment-604580>
+// <https://gist.github.com/dcolthorp/aa21cf87d847ae9942106435bf47565d>
+import { typeSym, valueSym } from './types.js';
 export function brand(type, subject) {
     if (subject === undefined)
         return function (subject) { return brand(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/Brand.js.map

@@ -1 +1 @@
-{"version":3,"file":"Brand.js","sourceRoot":"","sources":["../../ts/nominal-types/Brand.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAA;AAmB3C,MAAM,UAAU,KAAK,CAAC,IAAY,EAAE,OAAiB;IACnD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,UAAa,OAAU,IAAI,OAAO,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA,CAAC,CAAC,CAAA;IAE1F,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":"Brand.js","sourceRoot":"","sources":["../../ts/nominal-types/Brand.ts"],"names":[],"mappings":"AAAA,kHAAkH;AAClH,uEAAuE;AAGvE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAmB9C,MAAM,UAAU,KAAK,CAAC,IAAY,EAAE,OAAiB;IACnD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,UAAa,OAAU,IAAI,OAAO,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA,CAAC,CAAC,CAAA;IAE1F,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/Brand.spec.d.ts

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

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

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

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"Brand.spec.js","sourceRoot":"","sources":["../../ts/nominal-types/Brand.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,KAAK,EAAoB,MAAM,EAAE,MAAM,aAAa,CAAA;AACzE,OAAO,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAA;AAE/C,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,IAAI,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QAC9B,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;QAClB,MAAM,CAAC,CAAC,EAAiC,CAAA;IAC3C,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAU,EAAE,CAAC,CAAA;QACvC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAA;QAEhC,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,2DAA2D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QAC9B,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;QAE5B,CAAC,GAAG,CAAC,CAAA;QACL,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACrB,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;QACjE,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,+CAA+C,EAAE,GAAG,EAAE;QACzD,MAAM,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAA;QACpC,IAAI,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;QAC7B,IAAI,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;QAE7B,MAAM,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,CAAA;QACpC,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,CAAA;QAElC,OAAO,GAAG,OAAO,CAAA;QACjB,OAAO,GAAG,OAAO,CAAA;QAEjB,MAAM,CAAC,CAAC,EAA0C,CAAA;IACpD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

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

@@ -0,0 +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

@@ -0,0 +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;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 @@
-import { typeSym } from './types';
+// 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,SAAS,CAAA;AAoBjC,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/index.d.ts

@@ -0,0 +1,4 @@
+export * from './Brand.js';
+export * from './Flavor.js';
+export * from './nominalMatch.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/nominal-types/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,mBAAmB,CAAA"}

package/esm/nominal-types/index.js

@@ -1,4 +1,4 @@
-export * from './Brand';
-export * from './Flavor';
-export * from './nominalMatch';
+export * from './Brand.js';
+export * from './Flavor.js';
+export * from './nominalMatch.js';
 //# sourceMappingURL=index.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/nominal-types/index.ts"],"names":[],"mappings":"AAAA,cAAc,SAAS,CAAA;AACvB,cAAc,UAAU,CAAA;AACxB,cAAc,gBAAgB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/nominal-types/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,mBAAmB,CAAA"}

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

@@ -0,0 +1,5 @@
+import type { Brand } from './Brand.js';
+import type { Flavor } from './Flavor.js';
+export declare function nominalMatch<A extends string, B extends A>(a: Brand<A, unknown>, b: Brand<B, unknown>): boolean;
+export declare function nominalMatch<A extends string, B extends A>(a: Flavor<A, unknown>, b: Flavor<B, unknown>): boolean;
+//# sourceMappingURL=nominalMatch.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"nominalMatch.d.ts","sourceRoot":"","sources":["../../ts/nominal-types/nominalMatch.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAGzC,wBAAgB,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,OAAO,CAAA;AAChH,wBAAgB,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,OAAO,CAAA"}

package/esm/nominal-types/nominalMatch.js

@@ -1,4 +1,4 @@
-import { typeSym } from './types';
+import { typeSym } from './types.js';
 export function nominalMatch(a, b) {
     if (typeof a === 'object' && a !== null && typeof b === 'object' && b !== null)
         return a[typeSym] === b[typeSym];

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

@@ -1 +1 @@
-{"version":3,"file":"nominalMatch.js","sourceRoot":"","sources":["../../ts/nominal-types/nominalMatch.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AAIjC,MAAM,UAAU,YAAY,CAAgC,CAAyC,EAAE,CAAyC;IAC9I,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAC5E,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAA;SAC7B;QACH,OAAO,IAAI,CAAA;KACZ;AACH,CAAC"}
+{"version":3,"file":"nominalMatch.js","sourceRoot":"","sources":["../../ts/nominal-types/nominalMatch.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAIpC,MAAM,UAAU,YAAY,CAAgC,CAAyC,EAAE,CAAyC;IAC9I,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAC5E,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAA;SAC7B;QACH,OAAO,IAAI,CAAA;KACZ;AACH,CAAC"}

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/nominal-types/types.d.ts

@@ -0,0 +1,3 @@
+export declare const typeSym: unique symbol;
+export declare const valueSym: unique symbol;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../ts/nominal-types/types.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,OAAO,eAAiB,CAAA;AACrC,eAAO,MAAM,QAAQ,eAAkB,CAAA"}

package/esm/object/ANotB.d.ts

@@ -0,0 +1,14 @@
+import type { Equal } from '../predicates/index.js';
+import type { AnyRecord } from './AnyRecord.js';
+import type { IsDisjoint } from './IsDisjoint.js';
+import type { KeysWithDiffType } from './KeysWithDiffType.js';
+export declare type ANotB<A extends AnyRecord, B extends AnyRecord> = Equal<A, B> extends true ? never : (IsDisjoint<A, B> extends true ? A : {
+    [k in Exclude<keyof A, keyof B> | KeysWithDiffType<A, B>]: A[k];
+});
+export declare type BNotA<A extends AnyRecord, B extends AnyRecord> = ANotB<B, A>;
+export declare type LeftJoin<A extends AnyRecord, B extends AnyRecord> = Equal<A, B> extends true ? A : (IsDisjoint<A, B> extends true ? A & B : {
+    [k in Exclude<keyof A, keyof B>]: A[k];
+} & {
+    [k in keyof B]: B[k];
+});
+//# sourceMappingURL=ANotB.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ANotB.d.ts","sourceRoot":"","sources":["../../ts/object/ANotB.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AAE7D,oBAAY,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IACxD,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACtB,KAAK,GACL,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAC5B,CAAC,GACD;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,CAAA;AAE1E,oBAAY,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEzE,oBAAY,QAAQ,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IAC3D,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACtB,CAAC,GACD,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAC5B,CAAC,GAAG,CAAC,GACL;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CACxE,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/AnyRecord.d.ts

@@ -0,0 +1,2 @@
+export declare type AnyRecord = Record<keyof any, any>;
+//# sourceMappingURL=AnyRecord.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"AnyRecord.d.ts","sourceRoot":"","sources":["../../ts/object/AnyRecord.ts"],"names":[],"mappings":"AAAA,oBAAY,SAAS,GAAG,MAAM,CAAC,MAAM,GAAG,EAAE,GAAG,CAAC,CAAA"}

package/esm/object/ExcludePropType.d.ts

@@ -0,0 +1,7 @@
+/**
+ * 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>;
+};
+//# sourceMappingURL=ExcludePropType.d.ts.map

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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +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

@@ -0,0 +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;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.d.ts

@@ -0,0 +1,2 @@
+export declare type IsRecord<T> = T extends any[] ? false : T extends Record<any, any> ? true : false;
+//# sourceMappingURL=IsRecord.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"IsRecord.d.ts","sourceRoot":"","sources":["../../ts/object/IsRecord.ts"],"names":[],"mappings":"AAAA,oBAAY,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,EAAE,GACvC,KAAK,GACL,CAAC,SAAS,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAC1B,IAAI,GAAG,KAAK,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

@@ -0,0 +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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +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

@@ -0,0 +1 @@
+{"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"}