type-plus 4.11.2 → 4.11.3

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.
Files changed (19) hide show
  1. package/cjs/array/Concat.spec.js.map +1 -1
  2. package/cjs/object/ValueOf.d.ts.map +1 -1
  3. package/cjs/predicates/Equal.d.ts +16 -5
  4. package/cjs/predicates/Equal.d.ts.map +1 -1
  5. package/cjs/predicates/Equal.js +8 -0
  6. package/cjs/predicates/Equal.js.map +1 -1
  7. package/cjs/predicates/Equal.spec.js +20 -2
  8. package/cjs/predicates/Equal.spec.js.map +1 -1
  9. package/esm/array/Concat.spec.js.map +1 -1
  10. package/esm/object/ValueOf.d.ts.map +1 -1
  11. package/esm/predicates/Equal.d.ts +16 -5
  12. package/esm/predicates/Equal.d.ts.map +1 -1
  13. package/esm/predicates/Equal.js +8 -0
  14. package/esm/predicates/Equal.js.map +1 -1
  15. package/esm/predicates/Equal.spec.js +20 -2
  16. package/esm/predicates/Equal.spec.js.map +1 -1
  17. package/package.json +3 -3
  18. package/ts/object/ValueOf.ts +1 -0
  19. package/ts/predicates/Equal.ts +27 -14
package/cjs/array/Concat.spec.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"Concat.spec.js","sourceRoot":"","sources":["../../ts/array/Concat.spec.ts"],"names":[],"mappings":";;AAAA,wCAAmD;AAEnD,IAAI,CAAC,cAAc,EAAE;IAEnB,iBAAM,CAAC,CAAC,EAAqC,CAAA;AAC/C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,eAAe,EAAE;IAEpB,iBAAM,CAAC,CAAC,EAA6B,CAAA;AACvC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,uBAAuB,EAAE;IAE5B,iBAAM,CAAC,CAAC,EAAuC,CAAA;AACjD,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,uBAAuB,EAAE;IAE5B,iBAAM,CAAC,CAAC,EAAoC,CAAA;AAC9C,CAAC,CAAC,CAAA"}
1
+ {"version":3,"file":"Concat.spec.js","sourceRoot":"","sources":["../../ts/array/Concat.spec.ts"],"names":[],"mappings":";;AAAA,wCAAmD;AAEnD,IAAI,CAAC,cAAc,EAAE;IAEnB,iBAAM,CAAC,CAAC,EAAqC,CAAA;AAC/C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,eAAe,EAAE;IAEpB,iBAAM,CAAC,CAAC,EAA6B,CAAA;AACvC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,uBAAuB,EAAE;IAE5B,iBAAM,CAAC,CAAC,EAAoC,CAAA;AAC9C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,uBAAuB,EAAE;IAE5B,iBAAM,CAAC,CAAC,EAAoC,CAAA;AAC9C,CAAC,CAAC,CAAA"}
package/cjs/object/ValueOf.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"ValueOf.d.ts","sourceRoot":"","sources":["../../ts/object/ValueOf.ts"],"names":[],"mappings":"AAAA,oBAAY,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA"}
1
+ {"version":3,"file":"ValueOf.d.ts","sourceRoot":"","sources":["../../ts/object/ValueOf.ts"],"names":[],"mappings":"AACA,oBAAY,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA"}
package/cjs/predicates/Equal.d.ts CHANGED
@@ -1,11 +1,22 @@
1
+ /**
2
+ * `<T>() => T extends A ? 1 : 2` idea originate from `typepark`
3
+ * But it does not work with union types.
4
+ *
5
+ * `<T>() => T extends A` is a trick to create an inferred type `T`.
6
+ * This is needed for `boolean`, `string`, and `number`,
7
+ * as they supports literal types.
8
+ */
1
9
  /**
2
10
  * Checks if two types are equal.
3
- * Borrow from `typepark`.
4
- * The simple `A extends B ? B extends A ? true : false : false`
5
- * does not work with boolean type.
6
11
  */
7
- 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;
12
+ export declare type Equal<A, B, Then = true, Else = false> = [
13
+ A,
14
+ B
15
+ ] extends [boolean | string | number, boolean | string | number] ? (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Then : Else : ([A] extends [never] ? ([B] extends [never] ? Then : Else) : (A extends B ? B extends A ? Then : Else : Else));
8
16
  export declare type IsEqual<A, B> = Equal<A, B>;
9
- 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;
17
+ export declare type NotEqual<A, B, Then = true, Else = false> = [
18
+ A,
19
+ B
20
+ ] extends [boolean | string | number, boolean | string | number] ? (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Else : Then : ([A] extends [never] ? ([B] extends [never] ? Then : Else) : (A extends B ? B extends A ? Else : Then : Then));
10
21
  export declare type IsNotEqual<A, B> = NotEqual<A, B>;
11
22
  //# sourceMappingURL=Equal.d.ts.map
package/cjs/predicates/Equal.d.ts.map CHANGED
@@ -1 +1 @@
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"}
1
+ {"version":3,"file":"Equal.d.ts","sourceRoot":"","sources":["../../ts/predicates/Equal.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;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,OAAO,GAAG,MAAM,GAAG,MAAM,EAAE,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC,GACnE,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,GACnF,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAClB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GACnC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,CAAA;AACvD,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,OAAO,GAAG,MAAM,GAAG,MAAM,EAAE,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC,GACnE,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,GACnF,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAClB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GACnC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,CAAA;AACvD,oBAAY,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}
package/cjs/predicates/Equal.js CHANGED
@@ -1,3 +1,11 @@
1
1
  "use strict";
2
+ /**
3
+ * `<T>() => T extends A ? 1 : 2` idea originate from `typepark`
4
+ * But it does not work with union types.
5
+ *
6
+ * `<T>() => T extends A` is a trick to create an inferred type `T`.
7
+ * This is needed for `boolean`, `string`, and `number`,
8
+ * as they supports literal types.
9
+ */
2
10
  Object.defineProperty(exports, "__esModule", { value: true });
3
11
  //# sourceMappingURL=Equal.js.map
package/cjs/predicates/Equal.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"Equal.js","sourceRoot":"","sources":["../../ts/predicates/Equal.ts"],"names":[],"mappings":""}
1
+ {"version":3,"file":"Equal.js","sourceRoot":"","sources":["../../ts/predicates/Equal.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG"}
package/cjs/predicates/Equal.spec.js CHANGED
@@ -1,7 +1,7 @@
1
1
  "use strict";
2
2
  Object.defineProperty(exports, "__esModule", { value: true });
3
3
  var index_js_1 = require("../index.js");
4
- describe('TypeEquals', function () {
4
+ describe('Equal<A, B>', function () {
5
5
  test('match', function () {
6
6
  index_js_1.assertType.isTrue(true);
7
7
  });
@@ -45,8 +45,17 @@ describe('TypeEquals', function () {
45
45
  test('overlap is false', function () {
46
46
  index_js_1.assertType.isFalse(false);
47
47
  });
48
+ it('works with union types', function () {
49
+ index_js_1.assertType.isTrue(true);
50
+ index_js_1.assertType.isTrue(true);
51
+ });
52
+ it('works with never type', function () {
53
+ index_js_1.assertType.isTrue(true);
54
+ index_js_1.assertType.isFalse(false);
55
+ index_js_1.assertType.isFalse(false);
56
+ });
48
57
  });
49
- describe('TypeNotEquals', function () {
58
+ describe('NotEqual<A, B>', function () {
50
59
  test('boolean', function () {
51
60
  index_js_1.assertType.isFalse(false);
52
61
  index_js_1.assertType.isFalse(false);
@@ -58,5 +67,14 @@ describe('TypeNotEquals', function () {
58
67
  index_js_1.assertType.isTrue(true);
59
68
  index_js_1.assertType.isTrue(true);
60
69
  });
70
+ it('works with union types', function () {
71
+ index_js_1.assertType.isFalse(false);
72
+ index_js_1.assertType.isTrue(true);
73
+ });
74
+ it('works with never type', function () {
75
+ index_js_1.assertType.isFalse(false);
76
+ index_js_1.assertType.isTrue(true);
77
+ index_js_1.assertType.isFalse(false);
78
+ });
61
79
  });
62
80
  //# sourceMappingURL=Equal.spec.js.map
package/cjs/predicates/Equal.spec.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"Equal.spec.js","sourceRoot":"","sources":["../../ts/predicates/Equal.spec.ts"],"names":[],"mappings":";;AAAA,wCAAyD;AAEzD,QAAQ,CAAC,YAAY,EAAE;IACrB,IAAI,CAAC,OAAO,EAAE;QACZ,qBAAU,CAAC,MAAM,CAAC,IAA2B,CAAC,CAAA;IAChD,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;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,eAAe,EAAE;IACxB,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;AACJ,CAAC,CAAC,CAAA"}
1
+ {"version":3,"file":"Equal.spec.js","sourceRoot":"","sources":["../../ts/predicates/Equal.spec.ts"],"names":[],"mappings":";;AAAA,wCAAkE;AAElE,QAAQ,CAAC,aAAa,EAAE;IACtB,IAAI,CAAC,OAAO,EAAE;QACZ,qBAAU,CAAC,MAAM,CAAC,IAA2B,CAAC,CAAA;IAChD,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;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;QAC1B,qBAAU,CAAC,OAAO,CAAC,KAA+B,CAAC,CAAA;QACnD,qBAAU,CAAC,MAAM,CAAC,IAA0B,CAAC,CAAA;QAC7C,qBAAU,CAAC,OAAO,CAAC,KAAuD,CAAC,CAAA;IAC7E,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}
package/esm/array/Concat.spec.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"Concat.spec.js","sourceRoot":"","sources":["../../ts/array/Concat.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,MAAM,EAAE,MAAM,aAAa,CAAA;AAEnD,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE;IAExB,MAAM,CAAC,CAAC,EAAqC,CAAA;AAC/C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE;IAEzB,MAAM,CAAC,CAAC,EAA6B,CAAA;AACvC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;IAEjC,MAAM,CAAC,CAAC,EAAuC,CAAA;AACjD,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;IAEjC,MAAM,CAAC,CAAC,EAAoC,CAAA;AAC9C,CAAC,CAAC,CAAA"}
1
+ {"version":3,"file":"Concat.spec.js","sourceRoot":"","sources":["../../ts/array/Concat.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,MAAM,EAAE,MAAM,aAAa,CAAA;AAEnD,IAAI,CAAC,cAAc,EAAE,GAAG,EAAE;IAExB,MAAM,CAAC,CAAC,EAAqC,CAAA;AAC/C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,eAAe,EAAE,GAAG,EAAE;IAEzB,MAAM,CAAC,CAAC,EAA6B,CAAA;AACvC,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;IAEjC,MAAM,CAAC,CAAC,EAAoC,CAAA;AAC9C,CAAC,CAAC,CAAA;AAEF,IAAI,CAAC,uBAAuB,EAAE,GAAG,EAAE;IAEjC,MAAM,CAAC,CAAC,EAAoC,CAAA;AAC9C,CAAC,CAAC,CAAA"}
package/esm/object/ValueOf.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"ValueOf.d.ts","sourceRoot":"","sources":["../../ts/object/ValueOf.ts"],"names":[],"mappings":"AAAA,oBAAY,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA"}
1
+ {"version":3,"file":"ValueOf.d.ts","sourceRoot":"","sources":["../../ts/object/ValueOf.ts"],"names":[],"mappings":"AACA,oBAAY,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA"}
package/esm/predicates/Equal.d.ts CHANGED
@@ -1,11 +1,22 @@
1
+ /**
2
+ * `<T>() => T extends A ? 1 : 2` idea originate from `typepark`
3
+ * But it does not work with union types.
4
+ *
5
+ * `<T>() => T extends A` is a trick to create an inferred type `T`.
6
+ * This is needed for `boolean`, `string`, and `number`,
7
+ * as they supports literal types.
8
+ */
1
9
  /**
2
10
  * Checks if two types are equal.
3
- * Borrow from `typepark`.
4
- * The simple `A extends B ? B extends A ? true : false : false`
5
- * does not work with boolean type.
6
11
  */
7
- 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;
12
+ export declare type Equal<A, B, Then = true, Else = false> = [
13
+ A,
14
+ B
15
+ ] extends [boolean | string | number, boolean | string | number] ? (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Then : Else : ([A] extends [never] ? ([B] extends [never] ? Then : Else) : (A extends B ? B extends A ? Then : Else : Else));
8
16
  export declare type IsEqual<A, B> = Equal<A, B>;
9
- 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;
17
+ export declare type NotEqual<A, B, Then = true, Else = false> = [
18
+ A,
19
+ B
20
+ ] extends [boolean | string | number, boolean | string | number] ? (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Else : Then : ([A] extends [never] ? ([B] extends [never] ? Then : Else) : (A extends B ? B extends A ? Else : Then : Then));
10
21
  export declare type IsNotEqual<A, B> = NotEqual<A, B>;
11
22
  //# sourceMappingURL=Equal.d.ts.map
package/esm/predicates/Equal.d.ts.map CHANGED
@@ -1 +1 @@
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"}
1
+ {"version":3,"file":"Equal.d.ts","sourceRoot":"","sources":["../../ts/predicates/Equal.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;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,OAAO,GAAG,MAAM,GAAG,MAAM,EAAE,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC,GACnE,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,GACnF,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAClB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GACnC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,CAAA;AACvD,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,OAAO,GAAG,MAAM,GAAG,MAAM,EAAE,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC,GACnE,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,GACnF,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAClB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GACnC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,CAAA;AACvD,oBAAY,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}
package/esm/predicates/Equal.js CHANGED
@@ -1,2 +1,10 @@
1
+ /**
2
+ * `<T>() => T extends A ? 1 : 2` idea originate from `typepark`
3
+ * But it does not work with union types.
4
+ *
5
+ * `<T>() => T extends A` is a trick to create an inferred type `T`.
6
+ * This is needed for `boolean`, `string`, and `number`,
7
+ * as they supports literal types.
8
+ */
1
9
  export {};
2
10
  //# sourceMappingURL=Equal.js.map
package/esm/predicates/Equal.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"Equal.js","sourceRoot":"","sources":["../../ts/predicates/Equal.ts"],"names":[],"mappings":""}
1
+ {"version":3,"file":"Equal.js","sourceRoot":"","sources":["../../ts/predicates/Equal.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG"}
package/esm/predicates/Equal.spec.js CHANGED
@@ -1,5 +1,5 @@
1
1
  import { assertType } from '../index.js';
2
- describe('TypeEquals', () => {
2
+ describe('Equal<A, B>', () => {
3
3
  test('match', () => {
4
4
  assertType.isTrue(true);
5
5
  });
@@ -43,8 +43,17 @@ describe('TypeEquals', () => {
43
43
  test('overlap is false', () => {
44
44
  assertType.isFalse(false);
45
45
  });
46
+ it('works with union types', () => {
47
+ assertType.isTrue(true);
48
+ assertType.isTrue(true);
49
+ });
50
+ it('works with never type', () => {
51
+ assertType.isTrue(true);
52
+ assertType.isFalse(false);
53
+ assertType.isFalse(false);
54
+ });
46
55
  });
47
- describe('TypeNotEquals', () => {
56
+ describe('NotEqual<A, B>', () => {
48
57
  test('boolean', () => {
49
58
  assertType.isFalse(false);
50
59
  assertType.isFalse(false);
@@ -56,5 +65,14 @@ describe('TypeNotEquals', () => {
56
65
  assertType.isTrue(true);
57
66
  assertType.isTrue(true);
58
67
  });
68
+ it('works with union types', () => {
69
+ assertType.isFalse(false);
70
+ assertType.isTrue(true);
71
+ });
72
+ it('works with never type', () => {
73
+ assertType.isFalse(false);
74
+ assertType.isTrue(true);
75
+ assertType.isFalse(false);
76
+ });
59
77
  });
60
78
  //# sourceMappingURL=Equal.spec.js.map
package/esm/predicates/Equal.spec.js.map CHANGED
@@ -1 +1 @@
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"}
1
+ {"version":3,"file":"Equal.spec.js","sourceRoot":"","sources":["../../ts/predicates/Equal.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAA4B,MAAM,aAAa,CAAA;AAElE,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,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;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;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;QAC/B,UAAU,CAAC,OAAO,CAAC,KAA+B,CAAC,CAAA;QACnD,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
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "type-plus",
3
- "version": "4.11.2",
3
+ "version": "4.11.3",
4
4
  "description": "Provides additional types for TypeScript.",
5
5
  "homepage": "https://github.com/unional/type-plus",
6
6
  "bugs": {
@@ -80,11 +80,11 @@
80
80
  "satisfier": "^5.2.2",
81
81
  "semantic-release": "^19.0.3",
82
82
  "size-limit": "^8.0.0",
83
- "ts-jest": "^28.0.5",
83
+ "ts-jest": "^29.0.0",
84
84
  "tslib": "^2.4.0",
85
85
  "typedoc": "^0.23.0",
86
86
  "typedoc-plugin-extras": "^2.2.3",
87
- "typescript": "4.8.2"
87
+ "typescript": "4.8.3"
88
88
  },
89
89
  "packageManager": "yarn@3.2.3",
90
90
  "size-limit": [
package/ts/object/ValueOf.ts CHANGED
@@ -1 +1,2 @@
1
+
1
2
  export type ValueOf<T> = T[keyof T]
package/ts/predicates/Equal.ts CHANGED
@@ -1,14 +1,27 @@
1
- /**
2
- * Checks if two types are equal.
3
- * Borrow from `typepark`.
4
- * The simple `A extends B ? B extends A ? true : false : false`
5
- * does not work with boolean type.
6
- */
7
- export type Equal<A, B, Then = true, Else = false> =
8
- (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2)
9
- ? Then : Else
10
- export type IsEqual<A, B> = Equal<A, B>
11
-
12
- export type NotEqual<A, B, Then = true, Else = false> =
13
- (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Else : Then
14
- export type IsNotEqual<A, B> = NotEqual<A, B>
1
+ /**
2
+ * `<T>() => T extends A ? 1 : 2` idea originate from `typepark`
3
+ * But it does not work with union types.
4
+ *
5
+ * `<T>() => T extends A` is a trick to create an inferred type `T`.
6
+ * This is needed for `boolean`, `string`, and `number`,
7
+ * as they supports literal types.
8
+ */
9
+
10
+ /**
11
+ * Checks if two types are equal.
12
+ */
13
+ export type Equal<A, B, Then = true, Else = false> =
14
+ [A, B] extends [boolean | string | number, boolean | string | number]
15
+ ? (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Then : Else
16
+ : ([A] extends [never]
17
+ ? ([B] extends [never] ? Then : Else)
18
+ : (A extends B ? B extends A ? Then : Else : Else))
19
+ export type IsEqual<A, B> = Equal<A, B>
20
+
21
+ export type NotEqual<A, B, Then = true, Else = false> =
22
+ [A, B] extends [boolean | string | number, boolean | string | number]
23
+ ? (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Else : Then
24
+ : ([A] extends [never]
25
+ ? ([B] extends [never] ? Then : Else)
26
+ : (A extends B ? B extends A ? Else : Then : Then))
27
+ export type IsNotEqual<A, B> = NotEqual<A, B>