type-plus 4.15.0 → 4.15.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/cjs/predicates/Equal.d.ts +2 -2
- package/cjs/predicates/Equal.d.ts.map +1 -1
- package/cjs/predicates/Equal.spec.js +27 -1
- package/cjs/predicates/Equal.spec.js.map +1 -1
- package/esm/predicates/Equal.d.ts +2 -2
- package/esm/predicates/Equal.d.ts.map +1 -1
- package/esm/predicates/Equal.spec.js +27 -1
- package/esm/predicates/Equal.spec.js.map +1 -1
- package/package.json +1 -1
- package/ts/predicates/Equal.ts +8 -7
|
@@ -13,11 +13,11 @@ import { IsNever } from '../PrimitiveTypes.js';
|
|
|
13
13
|
export declare type Equal<A, B, Then = true, Else = false> = [
|
|
14
14
|
A,
|
|
15
15
|
B
|
|
16
|
-
] extends [
|
|
16
|
+
] extends [object, object] ? (IsNever<A> extends true ? (IsNever<B> extends true ? Then : Else) : (A extends B ? B extends A ? Then : Else : Else)) : (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Then : Else;
|
|
17
17
|
export declare type IsEqual<A, B> = Equal<A, B>;
|
|
18
18
|
export declare type NotEqual<A, B, Then = true, Else = false> = [
|
|
19
19
|
A,
|
|
20
20
|
B
|
|
21
|
-
] extends [
|
|
21
|
+
] extends [object, object] ? (IsNever<A> extends true ? (IsNever<B> extends true ? Else : Then) : (A extends B ? B extends A ? Else : Then : Then)) : (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Else : Then;
|
|
22
22
|
export declare type IsNotEqual<A, B> = NotEqual<A, B>;
|
|
23
23
|
//# sourceMappingURL=Equal.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Equal.d.ts","sourceRoot":"","sources":["../../ts/predicates/Equal.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAE9C;;GAEG;AACH,oBAAY,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAC/C;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,
|
|
1
|
+
{"version":3,"file":"Equal.d.ts","sourceRoot":"","sources":["../../ts/predicates/Equal.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAE9C;;GAEG;AACH,oBAAY,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAC/C;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7B,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACtB,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,GACvC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,GACnD,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;AACvF,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;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7B,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACtB,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,GACvC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,GACnD,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;AAEvF,oBAAY,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}
|
|
@@ -2,8 +2,28 @@
|
|
|
2
2
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
3
|
var index_js_1 = require("../index.js");
|
|
4
4
|
describe('Equal<A, B>', function () {
|
|
5
|
-
|
|
5
|
+
it('compares among booleans', function () {
|
|
6
6
|
index_js_1.assertType.isTrue(true);
|
|
7
|
+
index_js_1.assertType.isTrue(true);
|
|
8
|
+
index_js_1.assertType.isTrue(true);
|
|
9
|
+
index_js_1.assertType.isFalse(false);
|
|
10
|
+
index_js_1.assertType.isFalse(false);
|
|
11
|
+
});
|
|
12
|
+
it('compares boolean with others', function () {
|
|
13
|
+
index_js_1.assertType.isFalse(false);
|
|
14
|
+
index_js_1.assertType.isFalse(false);
|
|
15
|
+
index_js_1.assertType.isFalse(false);
|
|
16
|
+
index_js_1.assertType.isFalse(false);
|
|
17
|
+
index_js_1.assertType.isFalse(false);
|
|
18
|
+
index_js_1.assertType.isFalse(false);
|
|
19
|
+
index_js_1.assertType.isFalse(false);
|
|
20
|
+
index_js_1.assertType.isFalse(false);
|
|
21
|
+
index_js_1.assertType.isFalse(false);
|
|
22
|
+
index_js_1.assertType.isFalse(false);
|
|
23
|
+
index_js_1.assertType.isFalse(false);
|
|
24
|
+
index_js_1.assertType.isFalse(false);
|
|
25
|
+
index_js_1.assertType.isFalse(false);
|
|
26
|
+
index_js_1.assertType.isFalse(false);
|
|
7
27
|
});
|
|
8
28
|
test('not match', function () {
|
|
9
29
|
index_js_1.assertType.isFalse(false);
|
|
@@ -54,6 +74,12 @@ describe('Equal<A, B>', function () {
|
|
|
54
74
|
index_js_1.assertType.isFalse(false);
|
|
55
75
|
index_js_1.assertType.isFalse(false);
|
|
56
76
|
});
|
|
77
|
+
it('works with union types containing undefined', function () {
|
|
78
|
+
index_js_1.assertType.isFalse(false);
|
|
79
|
+
});
|
|
80
|
+
it('works with union types containing symbol', function () {
|
|
81
|
+
index_js_1.assertType.isFalse(false);
|
|
82
|
+
});
|
|
57
83
|
});
|
|
58
84
|
describe('NotEqual<A, B>', function () {
|
|
59
85
|
test('boolean', function () {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Equal.spec.js","sourceRoot":"","sources":["../../ts/predicates/Equal.spec.ts"],"names":[],"mappings":";;AAAA,
|
|
1
|
+
{"version":3,"file":"Equal.spec.js","sourceRoot":"","sources":["../../ts/predicates/Equal.spec.ts"],"names":[],"mappings":";;AAAA,wCAA+E;AAE/E,QAAQ,CAAC,aAAa,EAAE;IACtB,EAAE,CAAC,yBAAyB,EAAE;QAC5B,qBAAU,CAAC,MAAM,CAAC,IAAyB,CAAC,CAAA;QAC5C,qBAAU,CAAC,MAAM,CAAC,IAA2B,CAAC,CAAA;QAC9C,qBAAU,CAAC,MAAM,CAAC,IAA+B,CAAC,CAAA;QAElD,qBAAU,CAAC,OAAO,CAAC,KAA2B,CAAC,CAAA;QAC/C,qBAAU,CAAC,OAAO,CAAC,KAA2B,CAAC,CAAA;IACjD,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,8BAA8B,EAAE;QACjC,qBAAU,CAAC,OAAO,CAAC,KAA+B,CAAC,CAAA;QACnD,qBAAU,CAAC,OAAO,CAAC,KAA0B,CAAC,CAAA;QAC9C,qBAAU,CAAC,OAAO,CAAC,KAA4B,CAAC,CAAA;QAChD,qBAAU,CAAC,OAAO,CAAC,KAA4B,CAAC,CAAA;QAChD,qBAAU,CAAC,OAAO,CAAC,KAA4B,CAAC,CAAA;QAChD,qBAAU,CAAC,OAAO,CAAC,KAA4B,CAAC,CAAA;QAChD,qBAAU,CAAC,OAAO,CAAC,KAAiC,CAAC,CAAA;QAErD,qBAAU,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAA;QACpD,qBAAU,CAAC,OAAO,CAAC,KAA2B,CAAC,CAAA;QAC/C,qBAAU,CAAC,OAAO,CAAC,KAA6B,CAAC,CAAA;QACjD,qBAAU,CAAC,OAAO,CAAC,KAA6B,CAAC,CAAA;QACjD,qBAAU,CAAC,OAAO,CAAC,KAA6B,CAAC,CAAA;QACjD,qBAAU,CAAC,OAAO,CAAC,KAA6B,CAAC,CAAA;QACjD,qBAAU,CAAC,OAAO,CAAC,KAAkC,CAAC,CAAA;IACxD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,WAAW,EAAE;QAChB,qBAAU,CAAC,OAAO,CAAC,KAA8B,CAAC,CAAA;IACpD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,oCAAoC,EAAE;QACzC,qBAAU,CAAC,OAAO,CAAC,KAAyB,CAAC,CAAA;QAC7C,qBAAU,CAAC,OAAO,CAAC,KAAyB,CAAC,CAAA;IAC/C,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,qCAAqC,EAAE;QAC1C,qBAAU,CAAC,OAAO,CAAC,KAAwC,CAAC,CAAA;QAC5D,qBAAU,CAAC,OAAO,CAAC,KAAwC,CAAC,CAAA;IAC9D,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,SAAS,EAAE;QACd,qBAAU,CAAC,MAAM,CAAC,IAA+B,CAAC,CAAA;QAClD,qBAAU,CAAC,MAAM,CAAC,IAAyB,CAAC,CAAA;QAC5C,qBAAU,CAAC,MAAM,CAAC,IAA2B,CAAC,CAAA;QAC9C,qBAAU,CAAC,OAAO,CAAC,KAA6B,CAAC,CAAA;QACjD,qBAAU,CAAC,OAAO,CAAC,KAA6B,CAAC,CAAA;QACjD,qBAAU,CAAC,OAAO,CAAC,KAA8B,CAAC,CAAA;QAClD,qBAAU,CAAC,OAAO,CAAC,KAA8B,CAAC,CAAA;QAClD,qBAAU,CAAC,OAAO,CAAC,KAA2B,CAAC,CAAA;QAC/C,qBAAU,CAAC,OAAO,CAAC,KAA2B,CAAC,CAAA;IACjD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,mBAAmB,EAAE;QACxB,qBAAU,CAAC,MAAM,CAAC,IAAiC,CAAC,CAAA;IACtD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,yBAAyB,EAAE;QAC9B,qBAAU,CAAC,OAAO,CAAC,KAAkC,CAAC,CAAA;IACxD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,wBAAwB,EAAE;QAC7B,qBAAU,CAAC,OAAO,CAAC,KAAwC,CAAC,CAAA;IAC9D,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,wBAAwB,EAAE;QAC7B,qBAAU,CAAC,OAAO,CAAC,KAAwC,CAAC,CAAA;IAC9D,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,kBAAkB,EAAE;QACvB,qBAAU,CAAC,OAAO,CAAC,KAAkC,CAAC,CAAA;IACxD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,kBAAkB,EAAE;QACvB,qBAAU,CAAC,OAAO,CAAC,KAA8C,CAAC,CAAA;IACpE,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,wBAAwB,EAAE;QAC3B,qBAAU,CAAC,MAAM,CAAC,IAAsE,CAAC,CAAA;QACzF,qBAAU,CAAC,MAAM,CAAC,IAAwE,CAAC,CAAA;IAC7F,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,uBAAuB,EAAE;QAC1B,qBAAU,CAAC,MAAM,CAAC,IAA2B,CAAC,CAAA;QAC9C,qBAAU,CAAC,OAAO,CAAC,KAAwB,CAAC,CAAA;QAC5C,qBAAU,CAAC,OAAO,CAAC,KAAwB,CAAC,CAAA;IAC9C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,6CAA6C,EAAE;QAEhD,qBAAU,CAAC,OAAO,CAAC,KAAU,CAAC,CAAA;IAChC,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,0CAA0C,EAAE;QAE7C,qBAAU,CAAC,OAAO,CAAC,KAAU,CAAC,CAAA;IAChC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,gBAAgB,EAAE;IACzB,IAAI,CAAC,SAAS,EAAE;QACd,qBAAU,CAAC,OAAO,CAAC,KAAmC,CAAC,CAAA;QACvD,qBAAU,CAAC,OAAO,CAAC,KAA6B,CAAC,CAAA;QACjD,qBAAU,CAAC,OAAO,CAAC,KAA+B,CAAC,CAAA;QACnD,qBAAU,CAAC,MAAM,CAAC,IAA+B,CAAC,CAAA;QAClD,qBAAU,CAAC,MAAM,CAAC,IAA+B,CAAC,CAAA;QAClD,qBAAU,CAAC,MAAM,CAAC,IAAgC,CAAC,CAAA;QACnD,qBAAU,CAAC,MAAM,CAAC,IAAgC,CAAC,CAAA;QACnD,qBAAU,CAAC,MAAM,CAAC,IAA6B,CAAC,CAAA;QAChD,qBAAU,CAAC,MAAM,CAAC,IAA6B,CAAC,CAAA;IAClD,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,wBAAwB,EAAE;QAC3B,qBAAU,CAAC,OAAO,CAAC,KAA0E,CAAC,CAAA;QAC9F,qBAAU,CAAC,MAAM,CAAC,IAA0E,CAAC,CAAA;IAC/F,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,uBAAuB,EAAE;QAE1B,qBAAU,CAAC,OAAO,CAAC,KAAU,CAAC,CAAA;QAC9B,qBAAU,CAAC,MAAM,CAAC,IAA0B,CAAC,CAAA;QAC7C,qBAAU,CAAC,OAAO,CAAC,KAAuD,CAAC,CAAA;IAC7E,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}
|
|
@@ -13,11 +13,11 @@ import { IsNever } from '../PrimitiveTypes.js';
|
|
|
13
13
|
export declare type Equal<A, B, Then = true, Else = false> = [
|
|
14
14
|
A,
|
|
15
15
|
B
|
|
16
|
-
] extends [
|
|
16
|
+
] extends [object, object] ? (IsNever<A> extends true ? (IsNever<B> extends true ? Then : Else) : (A extends B ? B extends A ? Then : Else : Else)) : (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Then : Else;
|
|
17
17
|
export declare type IsEqual<A, B> = Equal<A, B>;
|
|
18
18
|
export declare type NotEqual<A, B, Then = true, Else = false> = [
|
|
19
19
|
A,
|
|
20
20
|
B
|
|
21
|
-
] extends [
|
|
21
|
+
] extends [object, object] ? (IsNever<A> extends true ? (IsNever<B> extends true ? Else : Then) : (A extends B ? B extends A ? Else : Then : Then)) : (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Else : Then;
|
|
22
22
|
export declare type IsNotEqual<A, B> = NotEqual<A, B>;
|
|
23
23
|
//# sourceMappingURL=Equal.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Equal.d.ts","sourceRoot":"","sources":["../../ts/predicates/Equal.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAE9C;;GAEG;AACH,oBAAY,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAC/C;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,
|
|
1
|
+
{"version":3,"file":"Equal.d.ts","sourceRoot":"","sources":["../../ts/predicates/Equal.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AAE9C;;GAEG;AACH,oBAAY,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAC/C;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7B,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACtB,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,GACvC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,GACnD,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;AACvF,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;IAAC,CAAC;IAAE,CAAC;CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7B,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACtB,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,GACvC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,GACnD,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;AAEvF,oBAAY,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}
|
|
@@ -1,7 +1,27 @@
|
|
|
1
1
|
import { assertType } from '../index.js';
|
|
2
2
|
describe('Equal<A, B>', () => {
|
|
3
|
-
|
|
3
|
+
it('compares among booleans', () => {
|
|
4
4
|
assertType.isTrue(true);
|
|
5
|
+
assertType.isTrue(true);
|
|
6
|
+
assertType.isTrue(true);
|
|
7
|
+
assertType.isFalse(false);
|
|
8
|
+
assertType.isFalse(false);
|
|
9
|
+
});
|
|
10
|
+
it('compares boolean with others', () => {
|
|
11
|
+
assertType.isFalse(false);
|
|
12
|
+
assertType.isFalse(false);
|
|
13
|
+
assertType.isFalse(false);
|
|
14
|
+
assertType.isFalse(false);
|
|
15
|
+
assertType.isFalse(false);
|
|
16
|
+
assertType.isFalse(false);
|
|
17
|
+
assertType.isFalse(false);
|
|
18
|
+
assertType.isFalse(false);
|
|
19
|
+
assertType.isFalse(false);
|
|
20
|
+
assertType.isFalse(false);
|
|
21
|
+
assertType.isFalse(false);
|
|
22
|
+
assertType.isFalse(false);
|
|
23
|
+
assertType.isFalse(false);
|
|
24
|
+
assertType.isFalse(false);
|
|
5
25
|
});
|
|
6
26
|
test('not match', () => {
|
|
7
27
|
assertType.isFalse(false);
|
|
@@ -52,6 +72,12 @@ describe('Equal<A, B>', () => {
|
|
|
52
72
|
assertType.isFalse(false);
|
|
53
73
|
assertType.isFalse(false);
|
|
54
74
|
});
|
|
75
|
+
it('works with union types containing undefined', () => {
|
|
76
|
+
assertType.isFalse(false);
|
|
77
|
+
});
|
|
78
|
+
it('works with union types containing symbol', () => {
|
|
79
|
+
assertType.isFalse(false);
|
|
80
|
+
});
|
|
55
81
|
});
|
|
56
82
|
describe('NotEqual<A, B>', () => {
|
|
57
83
|
test('boolean', () => {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Equal.spec.js","sourceRoot":"","sources":["../../ts/predicates/Equal.spec.ts"],"names":[],"mappings":"AAAA,OAAO,
|
|
1
|
+
{"version":3,"file":"Equal.spec.js","sourceRoot":"","sources":["../../ts/predicates/Equal.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,UAAU,EAA4B,MAAM,aAAa,CAAA;AAE/E,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,UAAU,CAAC,MAAM,CAAC,IAAyB,CAAC,CAAA;QAC5C,UAAU,CAAC,MAAM,CAAC,IAA2B,CAAC,CAAA;QAC9C,UAAU,CAAC,MAAM,CAAC,IAA+B,CAAC,CAAA;QAElD,UAAU,CAAC,OAAO,CAAC,KAA2B,CAAC,CAAA;QAC/C,UAAU,CAAC,OAAO,CAAC,KAA2B,CAAC,CAAA;IACjD,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,UAAU,CAAC,OAAO,CAAC,KAA+B,CAAC,CAAA;QACnD,UAAU,CAAC,OAAO,CAAC,KAA0B,CAAC,CAAA;QAC9C,UAAU,CAAC,OAAO,CAAC,KAA4B,CAAC,CAAA;QAChD,UAAU,CAAC,OAAO,CAAC,KAA4B,CAAC,CAAA;QAChD,UAAU,CAAC,OAAO,CAAC,KAA4B,CAAC,CAAA;QAChD,UAAU,CAAC,OAAO,CAAC,KAA4B,CAAC,CAAA;QAChD,UAAU,CAAC,OAAO,CAAC,KAAiC,CAAC,CAAA;QAErD,UAAU,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAA;QACpD,UAAU,CAAC,OAAO,CAAC,KAA2B,CAAC,CAAA;QAC/C,UAAU,CAAC,OAAO,CAAC,KAA6B,CAAC,CAAA;QACjD,UAAU,CAAC,OAAO,CAAC,KAA6B,CAAC,CAAA;QACjD,UAAU,CAAC,OAAO,CAAC,KAA6B,CAAC,CAAA;QACjD,UAAU,CAAC,OAAO,CAAC,KAA6B,CAAC,CAAA;QACjD,UAAU,CAAC,OAAO,CAAC,KAAkC,CAAC,CAAA;IACxD,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;IAEF,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,UAAU,CAAC,MAAM,CAAC,IAAsE,CAAC,CAAA;QACzF,UAAU,CAAC,MAAM,CAAC,IAAwE,CAAC,CAAA;IAC7F,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,UAAU,CAAC,MAAM,CAAC,IAA2B,CAAC,CAAA;QAC9C,UAAU,CAAC,OAAO,CAAC,KAAwB,CAAC,CAAA;QAC5C,UAAU,CAAC,OAAO,CAAC,KAAwB,CAAC,CAAA;IAC9C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QAErD,UAAU,CAAC,OAAO,CAAC,KAAU,CAAC,CAAA;IAChC,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAElD,UAAU,CAAC,OAAO,CAAC,KAAU,CAAC,CAAA;IAChC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,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;IACF,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,UAAU,CAAC,OAAO,CAAC,KAA0E,CAAC,CAAA;QAC9F,UAAU,CAAC,MAAM,CAAC,IAA0E,CAAC,CAAA;IAC/F,CAAC,CAAC,CAAA;IACF,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAE/B,UAAU,CAAC,OAAO,CAAC,KAAU,CAAC,CAAA;QAC9B,UAAU,CAAC,MAAM,CAAC,IAA0B,CAAC,CAAA;QAC7C,UAAU,CAAC,OAAO,CAAC,KAAuD,CAAC,CAAA;IAC7E,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}
|
package/package.json
CHANGED
package/ts/predicates/Equal.ts
CHANGED
|
@@ -13,17 +13,18 @@ import { IsNever } from '../PrimitiveTypes.js'
|
|
|
13
13
|
* Checks if two types are equal.
|
|
14
14
|
*/
|
|
15
15
|
export type Equal<A, B, Then = true, Else = false> =
|
|
16
|
-
[A, B] extends [
|
|
17
|
-
? (<
|
|
18
|
-
: (IsNever<A> extends true
|
|
16
|
+
[A, B] extends [object, object]
|
|
17
|
+
? (IsNever<A> extends true
|
|
19
18
|
? (IsNever<B> extends true ? Then : Else)
|
|
20
19
|
: (A extends B ? B extends A ? Then : Else : Else))
|
|
20
|
+
: (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Then : Else
|
|
21
21
|
export type IsEqual<A, B> = Equal<A, B>
|
|
22
22
|
|
|
23
23
|
export type NotEqual<A, B, Then = true, Else = false> =
|
|
24
|
-
[A, B] extends [
|
|
25
|
-
? (<
|
|
26
|
-
|
|
27
|
-
? (IsNever<B> extends true ? Then : Else)
|
|
24
|
+
[A, B] extends [object, object]
|
|
25
|
+
? (IsNever<A> extends true
|
|
26
|
+
? (IsNever<B> extends true ? Else : Then)
|
|
28
27
|
: (A extends B ? B extends A ? Else : Then : Then))
|
|
28
|
+
: (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Else : Then
|
|
29
|
+
|
|
29
30
|
export type IsNotEqual<A, B> = NotEqual<A, B>
|