@deessejs/type-testing 0.1.0 → 0.1.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.
Files changed (116) hide show
  1. package/CHANGELOG.md +6 -0
  2. package/package.json +1 -1
  3. package/.eslintrc.json +0 -7
  4. package/.turbo/turbo-lint.log +0 -24
  5. package/.turbo/turbo-test.log +0 -23
  6. package/.turbo/turbo-typecheck.log +0 -4
  7. package/coverage/base.css +0 -224
  8. package/coverage/block-navigation.js +0 -87
  9. package/coverage/coverage-final.json +0 -15
  10. package/coverage/favicon.png +0 -0
  11. package/coverage/index.html +0 -146
  12. package/coverage/prettify.css +0 -1
  13. package/coverage/prettify.js +0 -2
  14. package/coverage/sort-arrow-sprite.png +0 -0
  15. package/coverage/sorter.js +0 -210
  16. package/coverage/src/api/assert.ts.html +0 -229
  17. package/coverage/src/api/check.ts.html +0 -586
  18. package/coverage/src/api/expect.ts.html +0 -220
  19. package/coverage/src/api/index.html +0 -161
  20. package/coverage/src/api/index.ts.html +0 -106
  21. package/coverage/src/index.html +0 -131
  22. package/coverage/src/index.ts.html +0 -127
  23. package/coverage/src/types/equality.ts.html +0 -190
  24. package/coverage/src/types/function.ts.html +0 -139
  25. package/coverage/src/types/index.html +0 -221
  26. package/coverage/src/types/index.ts.html +0 -121
  27. package/coverage/src/types/inhabitation.ts.html +0 -160
  28. package/coverage/src/types/length.ts.html +0 -109
  29. package/coverage/src/types/property.ts.html +0 -124
  30. package/coverage/src/types/special.ts.html +0 -274
  31. package/coverage/src/types/union.ts.html +0 -193
  32. package/coverage/src/utils.ts.html +0 -136
  33. package/dist/api/assert.d.ts +0 -43
  34. package/dist/api/assert.d.ts.map +0 -1
  35. package/dist/api/assert.js +0 -7
  36. package/dist/api/assert.js.map +0 -1
  37. package/dist/api/check.d.ts +0 -138
  38. package/dist/api/check.d.ts.map +0 -1
  39. package/dist/api/check.js +0 -17
  40. package/dist/api/check.js.map +0 -1
  41. package/dist/api/expect.d.ts +0 -35
  42. package/dist/api/expect.d.ts.map +0 -1
  43. package/dist/api/expect.js +0 -21
  44. package/dist/api/expect.js.map +0 -1
  45. package/dist/api/index.d.ts +0 -7
  46. package/dist/api/index.d.ts.map +0 -1
  47. package/dist/api/index.js +0 -7
  48. package/dist/api/index.js.map +0 -1
  49. package/dist/index.d.ts +0 -9
  50. package/dist/index.d.ts.map +0 -1
  51. package/dist/index.js +0 -12
  52. package/dist/index.js.map +0 -1
  53. package/dist/index.test.d.ts +0 -8
  54. package/dist/index.test.d.ts.map +0 -1
  55. package/dist/index.test.js +0 -264
  56. package/dist/index.test.js.map +0 -1
  57. package/dist/types/equality.d.ts +0 -30
  58. package/dist/types/equality.d.ts.map +0 -1
  59. package/dist/types/equality.js +0 -5
  60. package/dist/types/equality.js.map +0 -1
  61. package/dist/types/function.d.ts +0 -16
  62. package/dist/types/function.d.ts.map +0 -1
  63. package/dist/types/function.js +0 -5
  64. package/dist/types/function.js.map +0 -1
  65. package/dist/types/index.d.ts +0 -11
  66. package/dist/types/index.d.ts.map +0 -1
  67. package/dist/types/index.js +0 -12
  68. package/dist/types/index.js.map +0 -1
  69. package/dist/types/inhabitation.d.ts +0 -24
  70. package/dist/types/inhabitation.d.ts.map +0 -1
  71. package/dist/types/inhabitation.js +0 -5
  72. package/dist/types/inhabitation.js.map +0 -1
  73. package/dist/types/length.d.ts +0 -8
  74. package/dist/types/length.d.ts.map +0 -1
  75. package/dist/types/length.js +0 -5
  76. package/dist/types/length.js.map +0 -1
  77. package/dist/types/property.d.ts +0 -12
  78. package/dist/types/property.d.ts.map +0 -1
  79. package/dist/types/property.js +0 -5
  80. package/dist/types/property.js.map +0 -1
  81. package/dist/types/special.d.ts +0 -55
  82. package/dist/types/special.d.ts.map +0 -1
  83. package/dist/types/special.js +0 -5
  84. package/dist/types/special.js.map +0 -1
  85. package/dist/types/union.d.ts +0 -34
  86. package/dist/types/union.d.ts.map +0 -1
  87. package/dist/types/union.js +0 -5
  88. package/dist/types/union.js.map +0 -1
  89. package/dist/utils.d.ts +0 -14
  90. package/dist/utils.d.ts.map +0 -1
  91. package/dist/utils.js +0 -5
  92. package/dist/utils.js.map +0 -1
  93. package/src/api/assert.ts +0 -48
  94. package/src/api/check.ts +0 -167
  95. package/src/api/expect.ts +0 -45
  96. package/src/api/index.ts +0 -7
  97. package/src/index.ts +0 -14
  98. package/src/types/equality.ts +0 -35
  99. package/src/types/function.ts +0 -18
  100. package/src/types/index.ts +0 -12
  101. package/src/types/inhabitation.ts +0 -25
  102. package/src/types/length.ts +0 -8
  103. package/src/types/property.ts +0 -13
  104. package/src/types/special.ts +0 -63
  105. package/src/types/union.ts +0 -36
  106. package/src/utils.ts +0 -17
  107. package/tests/api.test.ts +0 -40
  108. package/tests/equality.test.ts +0 -57
  109. package/tests/function.test.ts +0 -32
  110. package/tests/inhabitation.test.ts +0 -40
  111. package/tests/length.test.ts +0 -18
  112. package/tests/property.test.ts +0 -35
  113. package/tests/special.test.ts +0 -132
  114. package/tests/union.test.ts +0 -58
  115. package/tests/utils.test.ts +0 -20
  116. package/tsconfig.tsbuildinfo +0 -1
package/coverage/src/utils.ts.html DELETED
@@ -1,136 +0,0 @@
1
-
2
- <!doctype html>
3
- <html lang="en">
4
-
5
- <head>
6
- <title>Code coverage report for src/utils.ts</title>
7
- <meta charset="utf-8" />
8
- <link rel="stylesheet" href="../prettify.css" />
9
- <link rel="stylesheet" href="../base.css" />
10
- <link rel="shortcut icon" type="image/x-icon" href="../favicon.png" />
11
- <meta name="viewport" content="width=device-width, initial-scale=1" />
12
- <style type='text/css'>
13
- .coverage-summary .sorter {
14
- background-image: url(../sort-arrow-sprite.png);
15
- }
16
- </style>
17
- </head>
18
-
19
- <body>
20
- <div class='wrapper'>
21
- <div class='pad1'>
22
- <h1><a href="../index.html">All files</a> / <a href="index.html">src</a> utils.ts</h1>
23
- <div class='clearfix'>
24
-
25
- <div class='fl pad1y space-right2'>
26
- <span class="strong">0% </span>
27
- <span class="quiet">Statements</span>
28
- <span class='fraction'>0/0</span>
29
- </div>
30
-
31
-
32
- <div class='fl pad1y space-right2'>
33
- <span class="strong">0% </span>
34
- <span class="quiet">Branches</span>
35
- <span class='fraction'>0/0</span>
36
- </div>
37
-
38
-
39
- <div class='fl pad1y space-right2'>
40
- <span class="strong">0% </span>
41
- <span class="quiet">Functions</span>
42
- <span class='fraction'>0/0</span>
43
- </div>
44
-
45
-
46
- <div class='fl pad1y space-right2'>
47
- <span class="strong">0% </span>
48
- <span class="quiet">Lines</span>
49
- <span class='fraction'>0/0</span>
50
- </div>
51
-
52
-
53
- </div>
54
- <p class="quiet">
55
- Press <em>n</em> or <em>j</em> to go to the next uncovered block, <em>b</em>, <em>p</em> or <em>k</em> for the previous block.
56
- </p>
57
- <template id="filterTemplate">
58
- <div class="quiet">
59
- Filter:
60
- <input type="search" id="fileSearch">
61
- </div>
62
- </template>
63
- </div>
64
- <div class='status-line low'></div>
65
- <pre><table class="coverage">
66
- <tr><td class="line-count quiet"><a name='L1'></a><a href='#L1'>1</a>
67
- <a name='L2'></a><a href='#L2'>2</a>
68
- <a name='L3'></a><a href='#L3'>3</a>
69
- <a name='L4'></a><a href='#L4'>4</a>
70
- <a name='L5'></a><a href='#L5'>5</a>
71
- <a name='L6'></a><a href='#L6'>6</a>
72
- <a name='L7'></a><a href='#L7'>7</a>
73
- <a name='L8'></a><a href='#L8'>8</a>
74
- <a name='L9'></a><a href='#L9'>9</a>
75
- <a name='L10'></a><a href='#L10'>10</a>
76
- <a name='L11'></a><a href='#L11'>11</a>
77
- <a name='L12'></a><a href='#L12'>12</a>
78
- <a name='L13'></a><a href='#L13'>13</a>
79
- <a name='L14'></a><a href='#L14'>14</a>
80
- <a name='L15'></a><a href='#L15'>15</a>
81
- <a name='L16'></a><a href='#L16'>16</a>
82
- <a name='L17'></a><a href='#L17'>17</a>
83
- <a name='L18'></a><a href='#L18'>18</a></td><td class="line-coverage quiet"><span class="cline-any cline-neutral">&nbsp;</span>
84
- <span class="cline-any cline-neutral">&nbsp;</span>
85
- <span class="cline-any cline-neutral">&nbsp;</span>
86
- <span class="cline-any cline-neutral">&nbsp;</span>
87
- <span class="cline-any cline-neutral">&nbsp;</span>
88
- <span class="cline-any cline-neutral">&nbsp;</span>
89
- <span class="cline-any cline-neutral">&nbsp;</span>
90
- <span class="cline-any cline-neutral">&nbsp;</span>
91
- <span class="cline-any cline-neutral">&nbsp;</span>
92
- <span class="cline-any cline-neutral">&nbsp;</span>
93
- <span class="cline-any cline-neutral">&nbsp;</span>
94
- <span class="cline-any cline-neutral">&nbsp;</span>
95
- <span class="cline-any cline-neutral">&nbsp;</span>
96
- <span class="cline-any cline-neutral">&nbsp;</span>
97
- <span class="cline-any cline-neutral">&nbsp;</span>
98
- <span class="cline-any cline-neutral">&nbsp;</span>
99
- <span class="cline-any cline-neutral">&nbsp;</span>
100
- <span class="cline-any cline-neutral">&nbsp;</span></td><td class="text"><pre class="prettyprint lang-js">/**
101
- * Additional utilities.
102
- */
103
- &nbsp;
104
- import type { Equal } from './types/equality'
105
- &nbsp;
106
- /**
107
- * Type that always resolves to true.
108
- * Useful for making compile-time assertions.
109
- */
110
- // eslint-disable-next-line @typescript-eslint/no-unused-vars
111
- export type ExpectTrue&lt;_T extends true&gt; = true
112
- &nbsp;
113
- /**
114
- * Type that validates equality and throws if not equal.
115
- */
116
- export type ExpectEqual&lt;T, U&gt; = Equal&lt;T, U&gt; extends true ? T : never
117
- &nbsp;</pre></td></tr></table></pre>
118
-
119
- <div class='push'></div><!-- for sticky footer -->
120
- </div><!-- /wrapper -->
121
- <div class='footer quiet pad2 space-top1 center small'>
122
- Code coverage generated by
123
- <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
124
- at 2026-02-27T13:37:42.407Z
125
- </div>
126
- <script src="../prettify.js"></script>
127
- <script>
128
- window.onload = function () {
129
- prettyPrint();
130
- };
131
- </script>
132
- <script src="../sorter.js"></script>
133
- <script src="../block-navigation.js"></script>
134
- </body>
135
- </html>
136
-
package/dist/api/assert.d.ts DELETED
@@ -1,43 +0,0 @@
1
- /**
2
- * Assert API - Alternative API that throws at compile time on failure.
3
- */
4
- import type { Equal, NotEqual } from '../types/equality';
5
- import type { IsAny, IsNever, IsUnknown, IsVoid, IsUndefined, IsNull, IsNullable, IsOptional } from '../types/special';
6
- import type { IsUnion, IsTuple, IsArray } from '../types/union';
7
- import type { IsInhabited, IsUninhabited } from '../types/inhabitation';
8
- import type { HasProperty } from '../types/property';
9
- import type { Check } from './check';
10
- /**
11
- * Assert type - alternative API that throws at compile time on failure.
12
- *
13
- * @example
14
- * ```typescript
15
- * assert<string>().equals<string>()
16
- * ```
17
- */
18
- export interface Assert<T> {
19
- equals<U>(): Equal<T, U> extends true ? AssertPass : AssertFail<T, U>;
20
- notEquals<U>(): NotEqual<T, U> extends true ? AssertPass : AssertFail<T, U>;
21
- extends<U>(): T extends U ? AssertPass : AssertFail<T, U>;
22
- hasProperty<K extends keyof T>(): HasProperty<T, K> extends true ? AssertPass : AssertFail<T, {
23
- missingProperty: K;
24
- }>;
25
- property<K extends keyof T>(): Check<T[K]>;
26
- isAny(): IsAny<T> extends true ? AssertPass : AssertFail<T, 'any'>;
27
- isNever(): IsNever<T> extends true ? AssertPass : AssertFail<T, 'never'>;
28
- isUnknown(): IsUnknown<T> extends true ? AssertPass : AssertFail<T, 'unknown'>;
29
- isVoid(): IsVoid<T> extends true ? AssertPass : AssertFail<T, 'void'>;
30
- isUndefined(): IsUndefined<T> extends true ? AssertPass : AssertFail<T, 'undefined'>;
31
- isNull(): IsNull<T> extends true ? AssertPass : AssertFail<T, 'null'>;
32
- isNullable(): IsNullable<T> extends true ? AssertPass : AssertFail<T, 'not nullable'>;
33
- isOptional(): IsOptional<T> extends true ? AssertPass : AssertFail<T, 'not optional'>;
34
- isUnion(): IsUnion<T> extends true ? AssertPass : AssertFail<T, 'not a union'>;
35
- isTuple(): IsTuple<T> extends true ? AssertPass : AssertFail<T, 'not a tuple'>;
36
- isArray(): IsArray<T> extends true ? AssertPass : AssertFail<T, 'not an array'>;
37
- isInhabited(): IsInhabited<T> extends true ? AssertPass : AssertFail<T, 'uninhabited'>;
38
- isUninhabited(): IsUninhabited<T> extends true ? AssertPass : AssertFail<T, 'inhabited'>;
39
- }
40
- export type AssertPass = true;
41
- export type AssertFail<_T, _Expected> = never;
42
- export declare function assert<T>(): Assert<T>;
43
- //# sourceMappingURL=assert.d.ts.map
package/dist/api/assert.d.ts.map DELETED
@@ -1 +0,0 @@
1
- {"version":3,"file":"assert.d.ts","sourceRoot":"","sources":["../../src/api/assert.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AACxD,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AACtH,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAC/D,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AACpD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAEpC;;;;;;;GAOG;AACH,MAAM,WAAW,MAAM,CAAC,CAAC;IACvB,MAAM,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACrE,SAAS,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3E,OAAO,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACzD,WAAW,CAAC,CAAC,SAAS,MAAM,CAAC,KAAK,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE;QAAE,eAAe,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;IACrH,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC1C,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;IAClE,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;IACxE,SAAS,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;IAC9E,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IACrE,WAAW,IAAI,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;IACpF,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IACrE,UAAU,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;IACrF,UAAU,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;IACrF,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,aAAa,CAAC,CAAA;IAC9E,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,aAAa,CAAC,CAAA;IAC9E,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;IAC/E,WAAW,IAAI,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,aAAa,CAAC,CAAA;IACtF,aAAa,IAAI,aAAa,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;CACzF;AAED,MAAM,MAAM,UAAU,GAAG,IAAI,CAAA;AAG7B,MAAM,MAAM,UAAU,CAAC,EAAE,EAAE,SAAS,IAAI,KAAK,CAAA;AAE7C,wBAAgB,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAErC"}
package/dist/api/assert.js DELETED
@@ -1,7 +0,0 @@
1
- /**
2
- * Assert API - Alternative API that throws at compile time on failure.
3
- */
4
- export function assert() {
5
- return undefined;
6
- }
7
- //# sourceMappingURL=assert.js.map
package/dist/api/assert.js.map DELETED
@@ -1 +0,0 @@
1
- {"version":3,"file":"assert.js","sourceRoot":"","sources":["../../src/api/assert.ts"],"names":[],"mappings":"AAAA;;GAEG;AA2CH,MAAM,UAAU,MAAM;IACpB,OAAO,SAAgB,CAAA;AACzB,CAAC"}
package/dist/api/check.d.ts DELETED
@@ -1,138 +0,0 @@
1
- /**
2
- * Check API - Chainable type checker.
3
- */
4
- import type { Equal, NotEqual } from '../types/equality';
5
- import type { IsAny, IsNever, IsUnknown, IsVoid, IsUndefined, IsNull, IsNullable, IsOptional } from '../types/special';
6
- import type { IsUnion, IsTuple, IsArray } from '../types/union';
7
- import type { IsInhabited, IsUninhabited } from '../types/inhabitation';
8
- import type { HasProperty } from '../types/property';
9
- import type { Parameters, ReturnType, Parameter } from '../types/function';
10
- import type { Length } from '../types/length';
11
- /**
12
- * Type representing a passing check.
13
- */
14
- export type CheckPass = true;
15
- /**
16
- * Type representing a failing check.
17
- */
18
- export type CheckFail<_T, _Expected> = never;
19
- /**
20
- * Helper to create a Check type.
21
- */
22
- export type CheckBuilder<T> = Check<T>;
23
- /**
24
- * Chainable type checker for testing TypeScript types.
25
- *
26
- * @example
27
- * ```typescript
28
- * check<string>().equals<string>()
29
- * check<{ a: string }>().hasProperty('a')
30
- * ```
31
- */
32
- export interface Check<T> {
33
- /**
34
- * Tests if this type equals another type.
35
- */
36
- equals<U>(): Equal<T, U> extends true ? CheckPass : CheckFail<T, U>;
37
- /**
38
- * Tests if this type does not equal another type.
39
- */
40
- notEquals<U>(): NotEqual<T, U> extends true ? CheckPass : CheckFail<T, U>;
41
- /**
42
- * Tests if this type extends another type (is assignable to).
43
- */
44
- extends<U>(): T extends U ? CheckPass : CheckFail<T, U>;
45
- /**
46
- * Tests if this type is assignable from another type.
47
- */
48
- assignableTo<U>(): U extends T ? CheckPass : CheckFail<T, U>;
49
- /**
50
- * Tests if this type has a specific property.
51
- */
52
- hasProperty<K extends keyof T>(): HasProperty<T, K> extends true ? CheckPass : CheckFail<T, {
53
- missingProperty: K;
54
- }>;
55
- /**
56
- * Gets the type of a specific property for further testing.
57
- */
58
- property<K extends keyof T>(): Check<T[K]>;
59
- /**
60
- * Tests if this type is `any`.
61
- */
62
- isAny(): IsAny<T> extends true ? CheckPass : CheckFail<T, 'any'>;
63
- /**
64
- * Tests if this type is `never`.
65
- */
66
- isNever(): IsNever<T> extends true ? CheckPass : CheckFail<T, 'never'>;
67
- /**
68
- * Tests if this type is `unknown`.
69
- */
70
- isUnknown(): IsUnknown<T> extends true ? CheckPass : CheckFail<T, 'unknown'>;
71
- /**
72
- * Tests if this type is `void`.
73
- */
74
- isVoid(): IsVoid<T> extends true ? CheckPass : CheckFail<T, 'void'>;
75
- /**
76
- * Tests if this type is `undefined`.
77
- */
78
- isUndefined(): IsUndefined<T> extends true ? CheckPass : CheckFail<T, 'undefined'>;
79
- /**
80
- * Tests if this type is `null`.
81
- */
82
- isNull(): IsNull<T> extends true ? CheckPass : CheckFail<T, 'null'>;
83
- /**
84
- * Tests if this type is nullable (null or undefined).
85
- */
86
- isNullable(): IsNullable<T> extends true ? CheckPass : CheckFail<T, 'not nullable'>;
87
- /**
88
- * Tests if this type is optional (may be undefined).
89
- */
90
- isOptional(): IsOptional<T> extends true ? CheckPass : CheckFail<T, 'not optional'>;
91
- /**
92
- * Tests if this type is a union.
93
- */
94
- isUnion(): IsUnion<T> extends true ? CheckPass : CheckFail<T, 'not a union'>;
95
- /**
96
- * Tests if this type is a tuple.
97
- */
98
- isTuple(): IsTuple<T> extends true ? CheckPass : CheckFail<T, 'not a tuple'>;
99
- /**
100
- * Tests if this type is an array.
101
- */
102
- isArray(): IsArray<T> extends true ? CheckPass : CheckFail<T, 'not an array'>;
103
- /**
104
- * Tests if this type is inhabited (has values).
105
- */
106
- isInhabited(): IsInhabited<T> extends true ? CheckPass : CheckFail<T, 'uninhabited'>;
107
- /**
108
- * Tests if this type is uninhabited (has no values).
109
- */
110
- isUninhabited(): IsUninhabited<T> extends true ? CheckPass : CheckFail<T, 'inhabited'>;
111
- /**
112
- * Gets the parameters of this function type.
113
- */
114
- parameters(): T extends (...args: any[]) => any ? Check<Parameters<T>> : Check<never>;
115
- /**
116
- * Gets the return type of this function type.
117
- */
118
- returnType(): T extends (...args: any[]) => any ? Check<ReturnType<T>> : Check<never>;
119
- /**
120
- * Gets the length of this array/tuple type.
121
- */
122
- length(): T extends readonly any[] ? Check<Length<T>> : Check<never>;
123
- /**
124
- * Gets the parameter at a specific index.
125
- */
126
- parameter<N extends number>(): T extends (...args: any[]) => any ? Check<Parameter<T, N>> : Check<never>;
127
- }
128
- /**
129
- * Creates a check for a specific type.
130
- *
131
- * @example
132
- * ```typescript
133
- * check<string>().equals<string>()
134
- * check<{ a: string }>().hasProperty('a')
135
- * ```
136
- */
137
- export declare function check<T>(): CheckBuilder<T>;
138
- //# sourceMappingURL=check.d.ts.map
package/dist/api/check.d.ts.map DELETED
@@ -1 +0,0 @@
1
- {"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/api/check.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AACxD,OAAO,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AACtH,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAC/D,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAA;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAA;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAA;AAC1E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAA;AAE7C;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,IAAI,CAAA;AAE5B;;GAEG;AAEH,MAAM,MAAM,SAAS,CAAC,EAAE,EAAE,SAAS,IAAI,KAAK,CAAA;AAE5C;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAA;AAEtC;;;;;;;;GAQG;AACH,MAAM,WAAW,KAAK,CAAC,CAAC;IACtB;;OAEG;IACH,MAAM,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAEnE;;OAEG;IACH,SAAS,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAEzE;;OAEG;IACH,OAAO,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAEvD;;OAEG;IACH,YAAY,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAE5D;;OAEG;IACH,WAAW,CAAC,CAAC,SAAS,MAAM,CAAC,KAAK,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE;QAAE,eAAe,EAAE,CAAC,CAAA;KAAE,CAAC,CAAA;IAEnH;;OAEG;IACH,QAAQ,CAAC,CAAC,SAAS,MAAM,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAE1C;;OAEG;IACH,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;IAEhE;;OAEG;IACH,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;IAEtE;;OAEG;IACH,SAAS,IAAI,SAAS,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;IAE5E;;OAEG;IACH,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IAEnE;;OAEG;IACH,WAAW,IAAI,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;IAElF;;OAEG;IACH,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IAEnE;;OAEG;IACH,UAAU,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;IAEnF;;OAEG;IACH,UAAU,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;IAEnF;;OAEG;IACH,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,aAAa,CAAC,CAAA;IAE5E;;OAEG;IACH,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,aAAa,CAAC,CAAA;IAE5E;;OAEG;IACH,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,cAAc,CAAC,CAAA;IAE7E;;OAEG;IACH,WAAW,IAAI,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,aAAa,CAAC,CAAA;IAEpF;;OAEG;IACH,aAAa,IAAI,aAAa,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;IAEtF;;OAEG;IACH,UAAU,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;IAErF;;OAEG;IACH,UAAU,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;IAErF;;OAEG;IACH,MAAM,IAAI,CAAC,SAAS,SAAS,GAAG,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;IAEpE;;OAEG;IACH,SAAS,CAAC,CAAC,SAAS,MAAM,KAAK,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;CACzG;AAED;;;;;;;;GAQG;AACH,wBAAgB,KAAK,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,CAG1C"}
package/dist/api/check.js DELETED
@@ -1,17 +0,0 @@
1
- /**
2
- * Check API - Chainable type checker.
3
- */
4
- /**
5
- * Creates a check for a specific type.
6
- *
7
- * @example
8
- * ```typescript
9
- * check<string>().equals<string>()
10
- * check<{ a: string }>().hasProperty('a')
11
- * ```
12
- */
13
- export function check() {
14
- // This function exists only at runtime - the types are all compile-time
15
- return undefined;
16
- }
17
- //# sourceMappingURL=check.js.map
package/dist/api/check.js.map DELETED
@@ -1 +0,0 @@
1
- {"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/api/check.ts"],"names":[],"mappings":"AAAA;;GAEG;AAwJH;;;;;;;;GAQG;AACH,MAAM,UAAU,KAAK;IACnB,wEAAwE;IACxE,OAAO,SAAgB,CAAA;AACzB,CAAC"}
package/dist/api/expect.d.ts DELETED
@@ -1,35 +0,0 @@
1
- /**
2
- * Expect API - Familiar API similar to testing libraries.
3
- */
4
- import type { Equal, NotEqual } from '../types/equality';
5
- /**
6
- * Expect type - familiar API similar to testing libraries.
7
- *
8
- * @example
9
- * ```typescript
10
- * expect<string, string>().toBeEqual()
11
- * expect<string>().toBeAny()
12
- * ```
13
- */
14
- export interface Expect<T, U = unknown> {
15
- toBeEqual(): Equal<T, U> extends true ? ExpectPass : ExpectFail<T, U>;
16
- toBeNotEqual(): NotEqual<T, U> extends true ? ExpectPass : ExpectFail<T, U>;
17
- toExtend(): T extends U ? ExpectPass : ExpectFail<T, U>;
18
- toBeAssignableTo(): U extends T ? ExpectPass : ExpectFail<T, U>;
19
- }
20
- export type ExpectPass = true;
21
- export type ExpectFail<_T, _U> = never;
22
- /**
23
- * Creates an expectation for a type.
24
- */
25
- export declare function expect<T, U = unknown>(): Expect<T, U>;
26
- /**
27
- * ExpectFalse - for checking types resolve to false.
28
- *
29
- * @example
30
- * ```typescript
31
- * expectFalse<IsNever<string>>()
32
- * ```
33
- */
34
- export declare function expectFalse<_T extends false>(): void;
35
- //# sourceMappingURL=expect.d.ts.map
package/dist/api/expect.d.ts.map DELETED
@@ -1 +0,0 @@
1
- {"version":3,"file":"expect.d.ts","sourceRoot":"","sources":["../../src/api/expect.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AAExD;;;;;;;;GAQG;AACH,MAAM,WAAW,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO;IACpC,SAAS,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACrE,YAAY,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3E,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvD,gBAAgB,IAAI,CAAC,SAAS,CAAC,GAAG,UAAU,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAChE;AAED,MAAM,MAAM,UAAU,GAAG,IAAI,CAAA;AAG7B,MAAM,MAAM,UAAU,CAAC,EAAE,EAAE,EAAE,IAAI,KAAK,CAAA;AAEtC;;GAEG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAErD;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,EAAE,SAAS,KAAK,KAAK,IAAI,CAEpD"}
package/dist/api/expect.js DELETED
@@ -1,21 +0,0 @@
1
- /**
2
- * Expect API - Familiar API similar to testing libraries.
3
- */
4
- /**
5
- * Creates an expectation for a type.
6
- */
7
- export function expect() {
8
- return undefined;
9
- }
10
- /**
11
- * ExpectFalse - for checking types resolve to false.
12
- *
13
- * @example
14
- * ```typescript
15
- * expectFalse<IsNever<string>>()
16
- * ```
17
- */
18
- export function expectFalse() {
19
- // Compile-time only
20
- }
21
- //# sourceMappingURL=expect.js.map
package/dist/api/expect.js.map DELETED
@@ -1 +0,0 @@
1
- {"version":3,"file":"expect.js","sourceRoot":"","sources":["../../src/api/expect.ts"],"names":[],"mappings":"AAAA;;GAEG;AAyBH;;GAEG;AACH,MAAM,UAAU,MAAM;IACpB,OAAO,SAAgB,CAAA;AACzB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW;IACzB,oBAAoB;AACtB,CAAC"}
package/dist/api/index.d.ts DELETED
@@ -1,7 +0,0 @@
1
- /**
2
- * API exports.
3
- */
4
- export * from './check';
5
- export * from './assert';
6
- export * from './expect';
7
- //# sourceMappingURL=index.d.ts.map
package/dist/api/index.d.ts.map DELETED
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/api/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,SAAS,CAAA;AACvB,cAAc,UAAU,CAAA;AACxB,cAAc,UAAU,CAAA"}
package/dist/api/index.js DELETED
@@ -1,7 +0,0 @@
1
- /**
2
- * API exports.
3
- */
4
- export * from './check';
5
- export * from './assert';
6
- export * from './expect';
7
- //# sourceMappingURL=index.js.map
package/dist/api/index.js.map DELETED
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/api/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,cAAc,SAAS,CAAA;AACvB,cAAc,UAAU,CAAA;AACxB,cAAc,UAAU,CAAA"}
package/dist/index.d.ts DELETED
@@ -1,9 +0,0 @@
1
- /**
2
- * Type-testing: A micro library for testing your TypeScript types.
3
- *
4
- * @packageDocumentation
5
- */
6
- export * from './types';
7
- export * from './api';
8
- export * from './utils';
9
- //# sourceMappingURL=index.d.ts.map
package/dist/index.d.ts.map DELETED
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,cAAc,SAAS,CAAA;AAGvB,cAAc,OAAO,CAAA;AAGrB,cAAc,SAAS,CAAA"}
package/dist/index.js DELETED
@@ -1,12 +0,0 @@
1
- /**
2
- * Type-testing: A micro library for testing your TypeScript types.
3
- *
4
- * @packageDocumentation
5
- */
6
- // Re-export all type utilities
7
- export * from './types';
8
- // Re-export API
9
- export * from './api';
10
- // Re-export utilities
11
- export * from './utils';
12
- //# sourceMappingURL=index.js.map
package/dist/index.js.map DELETED
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,+BAA+B;AAC/B,cAAc,SAAS,CAAA;AAEvB,gBAAgB;AAChB,cAAc,OAAO,CAAA;AAErB,sBAAsB;AACtB,cAAc,SAAS,CAAA"}
package/dist/index.test.d.ts DELETED
@@ -1,8 +0,0 @@
1
- /**
2
- * Type-testing tests
3
- *
4
- * These tests verify that the type-checking utilities compile correctly.
5
- * If the code compiles, the types are correct.
6
- */
7
- export {};
8
- //# sourceMappingURL=index.test.d.ts.map
package/dist/index.test.d.ts.map DELETED
@@ -1 +0,0 @@
1
- {"version":3,"file":"index.test.d.ts","sourceRoot":"","sources":["../src/index.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}