type-plus 4.9.0 → 4.10.1

package/esm/object/typeOverrideIncompatible.spec.js

@@ -0,0 +1,17 @@
+import { typeOverrideIncompatible } from '../index.js';
+test('same type override has no property', () => {
+    const transform = typeOverrideIncompatible();
+    // TODO: find a way to assert `override` has no property
+    transform({ a: 1 }, {});
+});
+test('disjoint type override is A', () => {
+    const transform = typeOverrideIncompatible();
+    transform({ b: 2 }, { a: 1 });
+});
+test('intersect type override is ANotB', () => {
+    const a = { a: 1, b: 2 };
+    const b = { b: 3, c: 3 };
+    const transform = typeOverrideIncompatible();
+    transform(b, { a: 1, b: 2 });
+});
+//# sourceMappingURL=typeOverrideIncompatible.spec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"typeOverrideIncompatible.spec.js","sourceRoot":"","sources":["../../ts/object/typeOverrideIncompatible.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AAEtD,IAAI,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAE9C,MAAM,SAAS,GAAG,wBAAwB,EAAK,CAAA;IAE/C,wDAAwD;IACxD,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;AACzB,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAEvC,MAAM,SAAS,GAAG,wBAAwB,EAAK,CAAA;IAE/C,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;AAC/B,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAC5C,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAW,CAAA;IACjC,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAW,CAAA;IACjC,MAAM,SAAS,GAAG,wBAAwB,EAAY,CAAA;IAEtD,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;AAC9B,CAAC,CAAC,CAAA"}

package/esm/predicates/CanAssign.d.ts

@@ -0,0 +1,10 @@
+import type { NotExtendable } from './Extends.js';
+import type { IsEmptyObject } from './IsEmptyObject.js';
+/**
+ * Can `A` assign to `B`
+ */
+export declare type CanAssign<A, B, Then = true, Else = false> = IsEmptyObject<A> extends true ? Record<string, unknown> extends B ? Then : Else : boolean extends A ? (boolean extends B ? Then : Else) : A extends B ? Then : Else;
+export declare type IsAssign<A, B, Then = true, Else = false> = CanAssign<A, B, Then, Else>;
+export declare function canAssign<T>(canAssign: false): <S>(subject: NotExtendable<S, T>) => true;
+export declare function canAssign<T>(): <S extends T>(subject: S) => CanAssign<S, T>;
+//# sourceMappingURL=CanAssign.d.ts.map

package/esm/predicates/CanAssign.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CanAssign.d.ts","sourceRoot":"","sources":["../../ts/predicates/CanAssign.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAEvD;;GAEG;AACH,oBAAY,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IACnD,aAAa,CAAC,CAAC,CAAC,SAAS,IAAI,GAC3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,GAC/C,OAAO,SAAS,CAAC,GACjB,CAAC,OAAO,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GACjC,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;AAG7B,oBAAY,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAEnF,wBAAgB,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAA;AACzF,wBAAgB,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}

package/esm/predicates/CanAssign.spec.d.ts

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

package/esm/predicates/CanAssign.spec.d.ts.map

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

package/esm/predicates/CanAssign.spec.js

@@ -0,0 +1,54 @@
+import { assertType, canAssign } from '../index.js';
+describe('CanAssign<A, B>', () => {
+    test('literal type to widen', () => {
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+    });
+    test('base type to literal type fails', () => {
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+    });
+    test('super set to sub set', () => {
+        assertType.isTrue(true);
+    });
+    test('sub set to super set fail', () => {
+        assertType.isFalse(false);
+    });
+});
+describe('canAssign()', () => {
+    describe('without subject', () => {
+        test('returns a function that check type at compile time', () => {
+            assertType.isTrue(canAssign()({ a: 'a' }));
+            assertType.isTrue(canAssign()({ a: 'a', b: 'b' }));
+            // fails at compile time
+            // canAssign<{ a: string }>()({ a: 1 })
+        });
+        test('work with falsy value such as empty string', () => {
+            const s = '';
+            assertType.isTrue(canAssign()(s));
+        });
+        test('work with undefined', () => {
+            assertType.isTrue(canAssign()(undefined));
+        });
+        test('canAssign false', () => {
+            const t = canAssign(false);
+            assertType.isTrue(t(undefined));
+            assertType.isTrue(t({ a: 1 }));
+            // these fails
+            // t({ a: '' })
+            // t({ a: '', b: '' })
+        });
+    });
+});
+//# sourceMappingURL=CanAssign.spec.js.map

package/esm/predicates/CanAssign.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CanAssign.spec.js","sourceRoot":"","sources":["../../ts/predicates/CanAssign.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAa,SAAS,EAAE,MAAM,aAAa,CAAA;AAE9D,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACjC,UAAU,CAAC,MAAM,CAAC,IAA4B,CAAC,CAAA;QAC/C,UAAU,CAAC,MAAM,CAAC,IAAuB,CAAC,CAAA;QAC1C,UAAU,CAAC,MAAM,CAAC,IAAiC,CAAC,CAAA;QACpD,UAAU,CAAC,MAAM,CAAC,IAA8B,CAAC,CAAA;QACjD,UAAU,CAAC,MAAM,CAAC,IAA2B,CAAC,CAAA;QAC9C,UAAU,CAAC,MAAM,CAAC,IAAiC,CAAC,CAAA;QACpD,UAAU,CAAC,MAAM,CAAC,IAAiC,CAAC,CAAA;QACpD,UAAU,CAAC,MAAM,CAAC,IAAgC,CAAC,CAAA;QACnD,UAAU,CAAC,MAAM,CAAC,IAAmC,CAAC,CAAA;IACxD,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC3C,UAAU,CAAC,OAAO,CAAC,KAA6B,CAAC,CAAA;QACjD,UAAU,CAAC,OAAO,CAAC,KAA+B,CAAC,CAAA;QACnD,UAAU,CAAC,OAAO,CAAC,KAA+B,CAAC,CAAA;QACnD,UAAU,CAAC,OAAO,CAAC,KAA+B,CAAC,CAAA;QACnD,UAAU,CAAC,OAAO,CAAC,KAAkC,CAAC,CAAA;QACtD,UAAU,CAAC,OAAO,CAAC,KAAiC,CAAC,CAAA;IACvD,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAChC,UAAU,CAAC,MAAM,CAAC,IAA0D,CAAC,CAAA;IAC/E,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACrC,UAAU,CAAC,OAAO,CAAC,KAA2D,CAAC,CAAA;IACjF,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC9D,UAAU,CAAC,MAAM,CAAC,SAAS,EAAiB,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;YACzD,UAAU,CAAC,MAAM,CAAC,SAAS,EAAiB,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;YAEjE,wBAAwB;YACxB,uCAAuC;QACzC,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACtD,MAAM,CAAC,GAAG,EAAE,CAAA;YACZ,UAAU,CAAC,MAAM,CAAC,SAAS,EAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QACvC,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC/B,UAAU,CAAC,MAAM,CAAC,SAAS,EAAsB,CAAC,SAAS,CAAC,CAAC,CAAA;QAC/D,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;YAC3B,MAAM,CAAC,GAAG,SAAS,CAAgB,KAAK,CAAC,CAAA;YACzC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAA;YAC/B,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;YAE9B,cAAc;YACd,eAAe;YACf,sBAAsB;QACxB,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/esm/predicates/Equal.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Checks if two types are equal.
+ * Borrow from `typepark`.
+ * The simple `A extends B ? B extends A ? true : false : false`
+ * does not work with boolean type.
+ */
+export declare type Equal<A, B, Then = true, Else = false> = (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Then : Else;
+export declare type IsEqual<A, B> = Equal<A, B>;
+export declare type NotEqual<A, B, Then = true, Else = false> = (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Else : Then;
+export declare type IsNotEqual<A, B> = NotEqual<A, B>;
+//# sourceMappingURL=Equal.d.ts.map

package/esm/predicates/Equal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Equal.d.ts","sourceRoot":"","sources":["../../ts/predicates/Equal.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,oBAAY,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAC/C,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GACnE,IAAI,GAAG,IAAI,CAAA;AACf,oBAAY,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEvC,oBAAY,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAClD,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;AACrF,oBAAY,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}

package/esm/predicates/Equal.spec.d.ts

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

package/esm/predicates/Equal.spec.d.ts.map

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

package/esm/predicates/Equal.spec.js

@@ -0,0 +1,60 @@
+import { assertType } from '../index.js';
+describe('TypeEquals', () => {
+    test('match', () => {
+        assertType.isTrue(true);
+    });
+    test('not match', () => {
+        assertType.isFalse(false);
+    });
+    test('literal is not equal to widen type', () => {
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+    });
+    test('super set and sub set are not equal', () => {
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+    });
+    test('boolean', () => {
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+    });
+    test('same type is true', () => {
+        assertType.isTrue(true);
+    });
+    test('different type is false', () => {
+        assertType.isFalse(false);
+    });
+    test('A subset of B is false', () => {
+        assertType.isFalse(false);
+    });
+    test('B subset of A is false', () => {
+        assertType.isFalse(false);
+    });
+    test('disjoin is false', () => {
+        assertType.isFalse(false);
+    });
+    test('overlap is false', () => {
+        assertType.isFalse(false);
+    });
+});
+describe('TypeNotEquals', () => {
+    test('boolean', () => {
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+    });
+});
+//# sourceMappingURL=Equal.spec.js.map

package/esm/predicates/Equal.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Equal.spec.js","sourceRoot":"","sources":["../../ts/predicates/Equal.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAmB,MAAM,aAAa,CAAA;AAEzD,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE;QACjB,UAAU,CAAC,MAAM,CAAC,IAA2B,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE;QACrB,UAAU,CAAC,OAAO,CAAC,KAA8B,CAAC,CAAA;IACpD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC9C,UAAU,CAAC,OAAO,CAAC,KAAyB,CAAC,CAAA;QAC7C,UAAU,CAAC,OAAO,CAAC,KAAyB,CAAC,CAAA;IAC/C,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC/C,UAAU,CAAC,OAAO,CAAC,KAAwC,CAAC,CAAA;QAC5D,UAAU,CAAC,OAAO,CAAC,KAAwC,CAAC,CAAA;IAC9D,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE;QACnB,UAAU,CAAC,MAAM,CAAC,IAA+B,CAAC,CAAA;QAClD,UAAU,CAAC,MAAM,CAAC,IAAyB,CAAC,CAAA;QAC5C,UAAU,CAAC,MAAM,CAAC,IAA2B,CAAC,CAAA;QAC9C,UAAU,CAAC,OAAO,CAAC,KAA6B,CAAC,CAAA;QACjD,UAAU,CAAC,OAAO,CAAC,KAA6B,CAAC,CAAA;QACjD,UAAU,CAAC,OAAO,CAAC,KAA8B,CAAC,CAAA;QAClD,UAAU,CAAC,OAAO,CAAC,KAA8B,CAAC,CAAA;QAClD,UAAU,CAAC,OAAO,CAAC,KAA2B,CAAC,CAAA;QAC/C,UAAU,CAAC,OAAO,CAAC,KAA2B,CAAC,CAAA;IACjD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC7B,UAAU,CAAC,MAAM,CAAC,IAAiC,CAAC,CAAA;IACtD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACnC,UAAU,CAAC,OAAO,CAAC,KAAkC,CAAC,CAAA;IACxD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAClC,UAAU,CAAC,OAAO,CAAC,KAAwC,CAAC,CAAA;IAC9D,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAClC,UAAU,CAAC,OAAO,CAAC,KAAwC,CAAC,CAAA;IAC9D,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC5B,UAAU,CAAC,OAAO,CAAC,KAAkC,CAAC,CAAA;IACxD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC5B,UAAU,CAAC,OAAO,CAAC,KAA8C,CAAC,CAAA;IACpE,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE;QACnB,UAAU,CAAC,OAAO,CAAC,KAAmC,CAAC,CAAA;QACvD,UAAU,CAAC,OAAO,CAAC,KAA6B,CAAC,CAAA;QACjD,UAAU,CAAC,OAAO,CAAC,KAA+B,CAAC,CAAA;QACnD,UAAU,CAAC,MAAM,CAAC,IAA+B,CAAC,CAAA;QAClD,UAAU,CAAC,MAAM,CAAC,IAA+B,CAAC,CAAA;QAClD,UAAU,CAAC,MAAM,CAAC,IAAgC,CAAC,CAAA;QACnD,UAAU,CAAC,MAAM,CAAC,IAAgC,CAAC,CAAA;QACnD,UAAU,CAAC,MAAM,CAAC,IAA6B,CAAC,CAAA;QAChD,UAAU,CAAC,MAAM,CAAC,IAA6B,CAAC,CAAA;IAClD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/esm/predicates/Extends.d.ts

@@ -0,0 +1,5 @@
+export declare type Extendable<A, B> = A extends B ? A : never;
+export declare type NotExtendable<A, B> = A extends B ? never : A;
+export declare type IsExtend<A, B, Then = true, Else = false> = A extends B ? Then : Else;
+export declare type IsNotExtend<A, B, Then = true, Else = false> = A extends B ? Else : Then;
+//# sourceMappingURL=Extends.d.ts.map

package/esm/predicates/Extends.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Extends.d.ts","sourceRoot":"","sources":["../../ts/predicates/Extends.ts"],"names":[],"mappings":"AAAA,oBAAY,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AACtD,oBAAY,aAAa,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,KAAK,GAAG,CAAC,CAAA;AACzD,oBAAY,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;AACjF,oBAAY,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA"}

package/esm/predicates/If.d.ts

@@ -0,0 +1,2 @@
+export declare type If<Condition extends boolean, Then = true, Else = false> = Condition extends true ? Then : Else;
+//# sourceMappingURL=If.d.ts.map

package/esm/predicates/If.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"If.d.ts","sourceRoot":"","sources":["../../ts/predicates/If.ts"],"names":[],"mappings":"AAAA,oBAAY,EAAE,CACZ,SAAS,SAAS,OAAO,EACzB,IAAI,GAAG,IAAI,EACX,IAAI,GAAG,KAAK,IACR,SAAS,SAAS,IAAI,GAAG,IAAI,GAAG,IAAI,CAAA"}

package/esm/predicates/If.spec.d.ts

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

package/esm/predicates/If.spec.d.ts.map

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

package/esm/predicates/If.spec.js

@@ -0,0 +1,12 @@
+import { assertType, isType } from '../index.js';
+test('true gets Then', () => {
+    assertType(2);
+});
+test('false gets Else', () => {
+    assertType(3);
+});
+test('Then defaults to true and Else defaults to false', () => {
+    isType.t();
+    isType.f();
+});
+//# sourceMappingURL=If.spec.js.map

package/esm/predicates/If.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"If.spec.js","sourceRoot":"","sources":["../../ts/predicates/If.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAM,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpD,IAAI,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC1B,UAAU,CAAiB,CAAC,CAAC,CAAA;AAC/B,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC3B,UAAU,CAAkB,CAAC,CAAC,CAAA;AAChC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;IAC5D,MAAM,CAAC,CAAC,EAAY,CAAA;IACpB,MAAM,CAAC,CAAC,EAAa,CAAA;AACvB,CAAC,CAAC,CAAA"}

package/esm/predicates/IsEmptyObject.d.ts

@@ -0,0 +1,2 @@
+export declare type IsEmptyObject<T> = T extends {} ? {} extends T ? true : false : false;
+//# sourceMappingURL=IsEmptyObject.d.ts.map

package/esm/predicates/IsEmptyObject.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"IsEmptyObject.d.ts","sourceRoot":"","sources":["../../ts/predicates/IsEmptyObject.ts"],"names":[],"mappings":"AACA,oBAAY,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,GAAG,KAAK,CAAA"}

package/esm/predicates/IsEmptyObject.spec.d.ts

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

package/esm/predicates/IsEmptyObject.spec.d.ts.map

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

package/esm/predicates/IsEmptyObject.spec.js

@@ -0,0 +1,13 @@
+/* eslint-disable @typescript-eslint/ban-types */
+import { isType } from '../index.js';
+test('true for {}', () => {
+    isType.t();
+});
+test('false for everything else', () => {
+    isType.f();
+    isType.f();
+    isType.f();
+    isType.f();
+    isType.f();
+});
+//# sourceMappingURL=IsEmptyObject.spec.js.map

package/esm/predicates/IsEmptyObject.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IsEmptyObject.spec.js","sourceRoot":"","sources":["../../ts/predicates/IsEmptyObject.spec.ts"],"names":[],"mappings":"AAAA,iDAAiD;AACjD,OAAO,EAAiB,MAAM,EAAE,MAAM,aAAa,CAAA;AAEnD,IAAI,CAAC,aAAa,EAAE,GAAG,EAAE;IACvB,MAAM,CAAC,CAAC,EAAqB,CAAA;AAC/B,CAAC,CAAC,CAAA;AACF,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACrC,MAAM,CAAC,CAAC,EAA4B,CAAA;IACpC,MAAM,CAAC,CAAC,EAAwB,CAAA;IAChC,MAAM,CAAC,CAAC,EAAoB,CAAA;IAC5B,MAAM,CAAC,CAAC,EAAqB,CAAA;IAC7B,MAAM,CAAC,CAAC,EAA2B,CAAA;AACrC,CAAC,CAAC,CAAA"}

package/esm/predicates/index.d.ts

@@ -0,0 +1,12 @@
+export * from './CanAssign.js';
+export type { Equal, IsEqual, IsNotEqual, NotEqual } from './Equal.js';
+export type { Extendable, IsExtend, IsNotExtend, NotExtendable } from './Extends.js';
+export type { If } from './If.js';
+export * from './isType.js';
+export type { And, Not, Or, Xor } from './logical.js';
+export type { IsEmptyObject } from './IsEmptyObject.js';
+import type { IsExtend } from './Extends.js';
+export declare type IsLiteral<T extends number | string, Then = true, Else = false> = number extends T ? Else : string extends T ? Else : Then;
+export declare type IsBoolean<T, Then = true, Else = false> = boolean extends T ? Then : Else;
+export declare type IsAny<T, Then = true, Else = false> = boolean extends IsExtend<T, string> ? Then : Else;
+//# sourceMappingURL=index.d.ts.map

package/esm/predicates/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../ts/predicates/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAA;AAC9B,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AACtE,YAAY,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AACpF,YAAY,EAAE,EAAE,EAAE,MAAM,SAAS,CAAA;AACjC,cAAc,aAAa,CAAA;AAC3B,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,cAAc,CAAA;AACrD,YAAY,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAEvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAE5C,oBAAY,SAAS,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,MAAM,SAAS,CAAC,GAC5F,IAAI,GACJ,MAAM,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;AAEhC,oBAAY,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;AAErF,oBAAY,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,OAAO,SAAS,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA"}

package/esm/predicates/index.js

@@ -1,3 +1,3 @@
-export * from './CanAssign';
-export * from './isType';
+export * from './CanAssign.js';
+export * from './isType.js';
 //# sourceMappingURL=index.js.map

package/esm/predicates/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/predicates/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAI3B,cAAc,UAAU,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/predicates/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAA;AAI9B,cAAc,aAAa,CAAA"}

package/esm/predicates/index.spec.d.ts

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

package/esm/predicates/index.spec.d.ts.map

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

package/esm/predicates/index.spec.js

@@ -0,0 +1,60 @@
+import { isType } from '../index.js';
+describe('IsLiteral<T>', () => {
+    test('`number` is not literal', () => {
+        isType.equal();
+    });
+    test('numeric literals are literals', () => {
+        isType.equal();
+        isType.equal();
+    });
+    test('`string` is not literal', () => {
+        isType.equal();
+    });
+    test('string literals are literals', () => {
+        isType.equal();
+        isType.equal();
+    });
+    test('override Then/Else', () => {
+        isType.equal();
+        isType.equal();
+    });
+});
+describe('IsBoolean<T>', () => {
+    test('boolean/true/false', () => {
+        isType.equal();
+        isType.equal();
+        isType.equal();
+    });
+    test('override Then/Else', () => {
+        isType.equal();
+        isType.equal();
+    });
+});
+describe('IsAny<T>', () => {
+    test('any is true', () => {
+        isType.equal();
+    });
+    test('string is false', () => {
+        isType.equal();
+    });
+    test('other singular types are false', () => {
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        isType.equal();
+        // eslint-disable-next-line @typescript-eslint/ban-types
+        isType.equal();
+        isType.equal();
+    });
+    test('union types are false', () => {
+        isType.equal();
+    });
+    test('union of all types is true', () => {
+        isType.equal();
+    });
+});
+//# sourceMappingURL=index.spec.js.map

package/esm/predicates/index.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.spec.js","sourceRoot":"","sources":["../../ts/predicates/index.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAA+B,MAAM,EAAkB,MAAM,aAAa,CAAA;AAEjF,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,KAAK,EAAkC,CAAA;IAChD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,KAAK,EAA4B,CAAA;QACxC,MAAM,CAAC,KAAK,EAAgC,CAAA;IAC9C,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,KAAK,EAAkC,CAAA;IAChD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,KAAK,EAA8B,CAAA;QAC1C,MAAM,CAAC,KAAK,EAAgC,CAAA;IAC9C,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,KAAK,EAAsC,CAAA;QAClD,MAAM,CAAC,KAAK,EAA8C,CAAA;IAC5D,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,KAAK,EAAkC,CAAA;QAC9C,MAAM,CAAC,KAAK,EAAiC,CAAA;QAC7C,MAAM,CAAC,KAAK,EAAgC,CAAA;IAC9C,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,KAAK,EAA0C,CAAA;QACtD,MAAM,CAAC,KAAK,EAAyC,CAAA;IACvD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAI,CAAC,aAAa,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,KAAK,EAA0B,CAAA;IACxC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,KAAK,EAA8B,CAAA;IAC5C,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,KAAK,EAAiC,CAAA;QAC7C,MAAM,CAAC,KAAK,EAA4B,CAAA;QACxC,MAAM,CAAC,KAAK,EAA8B,CAAA;QAC1C,MAAM,CAAC,KAAK,EAA+B,CAAA;QAC3C,MAAM,CAAC,KAAK,EAA8B,CAAA;QAC1C,MAAM,CAAC,KAAK,EAA8B,CAAA;QAC1C,MAAM,CAAC,KAAK,EAA+B,CAAA;QAC3C,MAAM,CAAC,KAAK,EAA6B,CAAA;QACzC,wDAAwD;QACxD,MAAM,CAAC,KAAK,EAA0B,CAAA;QACtC,MAAM,CAAC,KAAK,EAA4B,CAAA;IAC1C,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,KAAK,EAGkC,CAAA;IAChD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,KAAK,EAAqC,CAAA;IACnD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/esm/predicates/isType.d.ts

@@ -0,0 +1,11 @@
+import { AnyConstructor } from '../class/index.js';
+import type { Equal } from './Equal.js';
+export declare function isType<T>(subject: T): subject is T;
+export declare function isType<T>(subject: unknown, validator: (s: T) => boolean): subject is T;
+export declare function isType<T extends AnyConstructor>(subject: unknown, constructor: T): subject is InstanceType<T>;
+export declare namespace isType {
+    var t: <T extends true>(subject?: T | undefined) => boolean;
+    var f: <T extends false>(subject?: T | undefined) => boolean;
+    var equal: <C extends Equal<A, B, true, false>, A, B>() => void;
+}
+//# sourceMappingURL=isType.d.ts.map

package/esm/predicates/isType.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"isType.d.ts","sourceRoot":"","sources":["../../ts/predicates/isType.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAiB,MAAM,mBAAmB,CAAA;AACjE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,CAAA;AACnD,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,OAAO,IAAI,CAAC,CAAA;AACvF,wBAAgB,MAAM,CAAC,CAAC,SAAS,cAAc,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,GAAG,OAAO,IAAI,YAAY,CAAC,CAAC,CAAC,CAAA;yBAA9F,MAAM"}

package/esm/predicates/isType.js

@@ -1,4 +1,4 @@
-import { isConstructor } from '../class';
+import { isConstructor } from '../class/index.js';
 export function isType(subject, validator) {
     if (validator) {
         if (isConstructor(validator))
@@ -14,5 +14,11 @@ isType.t = function (subject) {
 isType.f = function (subject) {
     return subject === undefined || subject === false;
 };
+/**
+ * are types A and B equals/not equals.
+ * Slightly easier to use then `isType.t<>()` and `isType.f<>()`,
+ * when doing type level only equality comparison as you don't have to import `Equal<>`.
+ */
+// eslint-disable-next-line @typescript-eslint/no-unused-vars
 isType.equal = function () { };
 //# sourceMappingURL=isType.js.map

package/esm/predicates/isType.js.map

@@ -1 +1 @@
-{"version":3,"file":"isType.js","sourceRoot":"","sources":["../../ts/predicates/isType.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,aAAa,EAAE,MAAM,UAAU,CAAA;AAMxD,MAAM,UAAU,MAAM,CAAC,OAAgB,EAAE,SAAsD;IAC7F,IAAI,SAAS,EAAE;QACb,IAAI,aAAa,CAAC,SAAS,CAAC;YAC1B,OAAO,OAAO,YAAY,SAAS,CAAA;;YAEnC,OAAO,SAAS,CAAC,OAAO,CAAC,CAAA;KAC5B;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,CAAC,CAAC,GAAG,UAA0B,OAAW;IAC9C,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,CAAA;AAClD,CAAC,CAAA;AACD,MAAM,CAAC,CAAC,GAAG,UAA2B,OAAW;IAC/C,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,CAAA;AACnD,CAAC,CAAA;AAQD,MAAM,CAAC,KAAK,GAAG,cAA2C,CAAC,CAAA"}
+{"version":3,"file":"isType.js","sourceRoot":"","sources":["../../ts/predicates/isType.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,aAAa,EAAE,MAAM,mBAAmB,CAAA;AAMjE,MAAM,UAAU,MAAM,CAAC,OAAgB,EAAE,SAAsD;IAC7F,IAAI,SAAS,EAAE;QACb,IAAI,aAAa,CAAC,SAAS,CAAC;YAC1B,OAAO,OAAO,YAAY,SAAS,CAAA;;YAEnC,OAAO,SAAS,CAAC,OAAO,CAAC,CAAA;KAC5B;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,CAAC,CAAC,GAAG,UAA0B,OAAW;IAC9C,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,CAAA;AAClD,CAAC,CAAA;AACD,MAAM,CAAC,CAAC,GAAG,UAA2B,OAAW;IAC/C,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,CAAA;AACnD,CAAC,CAAA;AAED;;;;GAIG;AACH,6DAA6D;AAC7D,MAAM,CAAC,KAAK,GAAG,cAA2C,CAAC,CAAA"}

package/esm/predicates/isType.spec.d.ts

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

package/esm/predicates/isType.spec.d.ts.map

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

package/esm/predicates/isType.spec.js

@@ -0,0 +1,101 @@
+import { assertType, isType } from '../index.js';
+describe('isType()', () => {
+    describe('without validator', () => {
+        test('subject type is checked at compile time', () => {
+            const subject = { a: 1, b: 2 };
+            if (isType(subject)) {
+                assertType(subject);
+            }
+        });
+        test('work with falsy value such as empty string', () => {
+            const s = '';
+            if (isType(s)) {
+                assertType(s);
+            }
+        });
+    });
+    describe('with validator function', () => {
+        test('Specify T in the validate function', () => {
+            const s = false;
+            if (isType(s, (s) => typeof s === 'boolean'))
+                assertType(s);
+        });
+        test('Specify T at type declaration', () => {
+            const s = false;
+            if (isType(s, s => typeof s === 'boolean'))
+                assertType(s);
+        });
+        test('exclude type if type guard fails', () => {
+            const s = 1;
+            if (isType(s, s => typeof s === 'string')) {
+                assertType(s);
+            }
+            else {
+                assertType(s);
+            }
+        });
+    });
+    describe('with class', () => {
+        test('Class as validator', () => {
+            const s = new Error();
+            if (isType(s, Error))
+                assertType(s);
+        });
+        test('Class as validator fails', () => {
+            class Foo {
+                a() { }
+            }
+            const s = 1;
+            if (isType(s, Foo)) {
+                assertType(s);
+            }
+            else {
+                assertType(s);
+            }
+        });
+        test('subject can be type any', () => {
+            const s = false;
+            if (isType(s, s => typeof s === 'boolean'))
+                assertType(s);
+        });
+    });
+});
+describe('isType.t()', () => {
+    test('accept true type but not false or boolean', () => {
+        expect(isType.t()).toBe(true);
+        expect(isType.t()).toBe(true);
+        // these fails
+        // isType.t<false>()
+        // isType.t<boolean>()
+    });
+    test('accept value with type true but not false or boolean', () => {
+        expect(isType.t(true)).toBe(true);
+        // these fails
+        // isType.t(false)
+        // isType.t(1 === 1)
+    });
+});
+describe('isType.f()', () => {
+    test('accept false type but not true or boolean', () => {
+        expect(isType.f()).toBe(true);
+        expect(isType.f()).toBe(true);
+        // these fails
+        // isType.f<true>()
+        // isType.f<boolean>()
+    });
+    test('accept value with type true but not false or boolean', () => {
+        expect(isType.f(false)).toBe(true);
+        // these fails
+        // isType.f(true)
+        // isType.f(1 !== 1)
+    });
+});
+describe('isType.equal()', () => {
+    test('true case', () => {
+        isType.equal();
+    });
+    test('false case', () => {
+        isType.equal();
+    });
+});
+//# sourceMappingURL=isType.spec.js.map

package/esm/predicates/isType.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"isType.spec.js","sourceRoot":"","sources":["../../ts/predicates/isType.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAS,MAAM,EAAE,MAAM,aAAa,CAAA;AAEvD,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,IAAI,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACnD,MAAM,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAW,CAAA;YACvC,IAAI,MAAM,CAAW,OAAO,CAAC,EAAE;gBAC7B,UAAU,CAAW,OAAO,CAAC,CAAA;aAC9B;QACH,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACtD,MAAM,CAAC,GAAG,EAAE,CAAA;YACZ,IAAI,MAAM,CAAK,CAAC,CAAC,EAAE;gBACjB,UAAU,CAAK,CAAC,CAAC,CAAA;aAClB;QACH,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IACF,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,IAAI,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC9C,MAAM,CAAC,GAAY,KAAK,CAAA;YACxB,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;gBACnD,UAAU,CAAU,CAAC,CAAC,CAAA;QAC1B,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACzC,MAAM,CAAC,GAAY,KAAK,CAAA;YACxB,IAAI,MAAM,CAAU,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;gBACjD,UAAU,CAAU,CAAC,CAAC,CAAA;QAC1B,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC5C,MAAM,CAAC,GAAoB,CAAC,CAAA;YAC5B,IAAI,MAAM,CAAS,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE;gBACjD,UAAU,CAAS,CAAC,CAAC,CAAA;aACtB;iBACI;gBACH,UAAU,CAAS,CAAC,CAAC,CAAA;aACtB;QACH,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IACF,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QAC1B,IAAI,CAAC,oBAAoB,EAAE,GAAG,EAAE;YAC9B,MAAM,CAAC,GAAY,IAAI,KAAK,EAAE,CAAA;YAC9B,IAAI,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC;gBAClB,UAAU,CAAQ,CAAC,CAAC,CAAA;QACxB,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;YACpC,MAAM,GAAG;gBAAG,CAAC,KAAK,CAAC;aAAE;YACrB,MAAM,CAAC,GAAiB,CAAC,CAAA;YACzB,IAAI,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;gBAClB,UAAU,CAAM,CAAC,CAAC,CAAA;aACnB;iBACI;gBACH,UAAU,CAAS,CAAC,CAAC,CAAA;aACtB;QACH,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACnC,MAAM,CAAC,GAAQ,KAAK,CAAA;YACpB,IAAI,MAAM,CAAU,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;gBACjD,UAAU,CAAU,CAAC,CAAC,CAAA;QAC1B,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAE1C,cAAc;QACd,oBAAoB;QACpB,sBAAsB;IACxB,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAEjC,cAAc;QACd,kBAAkB;QAClB,oBAAoB;IACtB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAE1C,cAAc;QACd,mBAAmB;QACnB,sBAAsB;IACxB,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAElC,cAAc;QACd,iBAAiB;QACjB,oBAAoB;IACtB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE;QACrB,MAAM,CAAC,KAAK,EAAc,CAAA;IAC5B,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,KAAK,EAAiB,CAAA;IAC/B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/esm/predicates/logical.d.ts

@@ -0,0 +1,5 @@
+export declare type And<A extends boolean, B extends boolean> = A extends true ? B extends true ? true : false : false;
+export declare type Or<A extends boolean, B extends boolean> = A extends true ? true : B extends true ? true : false;
+export declare type Not<X extends boolean> = X extends true ? false : true;
+export declare type Xor<A extends boolean, B extends boolean> = A extends true ? Not<B> : B extends true ? true : false;
+//# sourceMappingURL=logical.d.ts.map

package/esm/predicates/logical.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"logical.d.ts","sourceRoot":"","sources":["../../ts/predicates/logical.ts"],"names":[],"mappings":"AAAA,oBAAY,GAAG,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,GAAG,KAAK,CAAA;AAC9G,oBAAY,EAAE,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAA;AAC5G,oBAAY,GAAG,CAAC,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,IAAI,CAAA;AAClE,oBAAY,GAAG,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAA"}

package/esm/predicates/logical.spec.d.ts

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

package/esm/predicates/logical.spec.d.ts.map

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

package/esm/predicates/logical.spec.js

@@ -0,0 +1,56 @@
+import { assertType } from '../index.js';
+describe('And<A,B>', () => {
+    test('basic', () => {
+        assertType.isTrue(true);
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+        assertType.isFalse(false);
+    });
+    test('boolean special handling', () => {
+        assertType.isTrue(true);
+        assertType.isFalse(false);
+        assertType.isTrue(true);
+        assertType.isFalse(false);
+        assertType.isTrue(true);
+    });
+});
+describe('Or<A,B>', () => {
+    test('basic', () => {
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isFalse(false);
+    });
+    test('boolean special handling', () => {
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+    });
+});
+describe('Xor<A,B>', () => {
+    test('basic', () => {
+        assertType.isFalse(false);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isFalse(false);
+    });
+    test('boolean special handling', () => {
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+        assertType.isTrue(true);
+    });
+});
+describe('Not<X>', () => {
+    test('basic', () => {
+        assertType.isTrue(true);
+        assertType.isFalse(false);
+    });
+    test('boolean special handling', () => {
+        assertType.isTrue(true);
+    });
+});
+//# sourceMappingURL=logical.spec.js.map

package/esm/predicates/logical.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"logical.spec.js","sourceRoot":"","sources":["../../ts/predicates/logical.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAO,UAAU,EAAuB,MAAM,aAAa,CAAA;AAElE,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE;QACjB,UAAU,CAAC,MAAM,CAAC,IAAuB,CAAC,CAAA;QAC1C,UAAU,CAAC,OAAO,CAAC,KAAyB,CAAC,CAAA;QAC7C,UAAU,CAAC,OAAO,CAAC,KAAyB,CAAC,CAAA;QAC7C,UAAU,CAAC,OAAO,CAAC,KAA0B,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACpC,UAAU,CAAC,MAAM,CAAC,IAA0C,CAAC,CAAA;QAC7D,UAAU,CAAC,OAAO,CAAC,KAA4B,CAAC,CAAA;QAChD,UAAU,CAAC,MAAM,CAAC,IAA0C,CAAC,CAAA;QAC7D,UAAU,CAAC,OAAO,CAAC,KAA4B,CAAC,CAAA;QAChD,UAAU,CAAC,MAAM,CAAC,IAA6C,CAAC,CAAA;IAClE,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE;QACjB,UAAU,CAAC,MAAM,CAAC,IAAsB,CAAC,CAAA;QACzC,UAAU,CAAC,MAAM,CAAC,IAAuB,CAAC,CAAA;QAC1C,UAAU,CAAC,MAAM,CAAC,IAAuB,CAAC,CAAA;QAC1C,UAAU,CAAC,OAAO,CAAC,KAAyB,CAAC,CAAA;IAC/C,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACpC,UAAU,CAAC,MAAM,CAAC,IAAyB,CAAC,CAAA;QAC5C,UAAU,CAAC,MAAM,CAAC,IAA0C,CAAC,CAAA;QAC7D,UAAU,CAAC,MAAM,CAAC,IAAyB,CAAC,CAAA;QAC5C,UAAU,CAAC,MAAM,CAAC,IAA0C,CAAC,CAAA;QAC7D,UAAU,CAAC,MAAM,CAAC,IAA4C,CAAC,CAAA;IACjE,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE;QACjB,UAAU,CAAC,OAAO,CAAC,KAAwB,CAAC,CAAA;QAC5C,UAAU,CAAC,MAAM,CAAC,IAAwB,CAAC,CAAA;QAC3C,UAAU,CAAC,MAAM,CAAC,IAAwB,CAAC,CAAA;QAC3C,UAAU,CAAC,OAAO,CAAC,KAA0B,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACpC,UAAU,CAAC,MAAM,CAAC,IAA0C,CAAC,CAAA;QAC7D,UAAU,CAAC,MAAM,CAAC,IAA2C,CAAC,CAAA;QAC9D,UAAU,CAAC,MAAM,CAAC,IAA0C,CAAC,CAAA;QAC7D,UAAU,CAAC,MAAM,CAAC,IAA2C,CAAC,CAAA;QAC9D,UAAU,CAAC,MAAM,CAAC,IAA6C,CAAC,CAAA;IAClE,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE;QACjB,UAAU,CAAC,MAAM,CAAC,IAAkB,CAAC,CAAA;QACrC,UAAU,CAAC,OAAO,CAAC,KAAkB,CAAC,CAAA;IACxC,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACpC,UAAU,CAAC,MAAM,CAAC,IAAoC,CAAC,CAAA;IACzD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}