@deessejs/type-testing 0.1.0

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 (119) hide show
  1. package/.eslintrc.json +7 -0
  2. package/.turbo/turbo-lint.log +24 -0
  3. package/.turbo/turbo-test.log +23 -0
  4. package/.turbo/turbo-typecheck.log +4 -0
  5. package/CHANGELOG.md +7 -0
  6. package/README.md +303 -0
  7. package/coverage/base.css +224 -0
  8. package/coverage/block-navigation.js +87 -0
  9. package/coverage/coverage-final.json +15 -0
  10. package/coverage/favicon.png +0 -0
  11. package/coverage/index.html +146 -0
  12. package/coverage/prettify.css +1 -0
  13. package/coverage/prettify.js +2 -0
  14. package/coverage/sort-arrow-sprite.png +0 -0
  15. package/coverage/sorter.js +210 -0
  16. package/coverage/src/api/assert.ts.html +229 -0
  17. package/coverage/src/api/check.ts.html +586 -0
  18. package/coverage/src/api/expect.ts.html +220 -0
  19. package/coverage/src/api/index.html +161 -0
  20. package/coverage/src/api/index.ts.html +106 -0
  21. package/coverage/src/index.html +131 -0
  22. package/coverage/src/index.ts.html +127 -0
  23. package/coverage/src/types/equality.ts.html +190 -0
  24. package/coverage/src/types/function.ts.html +139 -0
  25. package/coverage/src/types/index.html +221 -0
  26. package/coverage/src/types/index.ts.html +121 -0
  27. package/coverage/src/types/inhabitation.ts.html +160 -0
  28. package/coverage/src/types/length.ts.html +109 -0
  29. package/coverage/src/types/property.ts.html +124 -0
  30. package/coverage/src/types/special.ts.html +274 -0
  31. package/coverage/src/types/union.ts.html +193 -0
  32. package/coverage/src/utils.ts.html +136 -0
  33. package/dist/api/assert.d.ts +43 -0
  34. package/dist/api/assert.d.ts.map +1 -0
  35. package/dist/api/assert.js +7 -0
  36. package/dist/api/assert.js.map +1 -0
  37. package/dist/api/check.d.ts +138 -0
  38. package/dist/api/check.d.ts.map +1 -0
  39. package/dist/api/check.js +17 -0
  40. package/dist/api/check.js.map +1 -0
  41. package/dist/api/expect.d.ts +35 -0
  42. package/dist/api/expect.d.ts.map +1 -0
  43. package/dist/api/expect.js +21 -0
  44. package/dist/api/expect.js.map +1 -0
  45. package/dist/api/index.d.ts +7 -0
  46. package/dist/api/index.d.ts.map +1 -0
  47. package/dist/api/index.js +7 -0
  48. package/dist/api/index.js.map +1 -0
  49. package/dist/index.d.ts +9 -0
  50. package/dist/index.d.ts.map +1 -0
  51. package/dist/index.js +12 -0
  52. package/dist/index.js.map +1 -0
  53. package/dist/index.test.d.ts +8 -0
  54. package/dist/index.test.d.ts.map +1 -0
  55. package/dist/index.test.js +264 -0
  56. package/dist/index.test.js.map +1 -0
  57. package/dist/types/equality.d.ts +30 -0
  58. package/dist/types/equality.d.ts.map +1 -0
  59. package/dist/types/equality.js +5 -0
  60. package/dist/types/equality.js.map +1 -0
  61. package/dist/types/function.d.ts +16 -0
  62. package/dist/types/function.d.ts.map +1 -0
  63. package/dist/types/function.js +5 -0
  64. package/dist/types/function.js.map +1 -0
  65. package/dist/types/index.d.ts +11 -0
  66. package/dist/types/index.d.ts.map +1 -0
  67. package/dist/types/index.js +12 -0
  68. package/dist/types/index.js.map +1 -0
  69. package/dist/types/inhabitation.d.ts +24 -0
  70. package/dist/types/inhabitation.d.ts.map +1 -0
  71. package/dist/types/inhabitation.js +5 -0
  72. package/dist/types/inhabitation.js.map +1 -0
  73. package/dist/types/length.d.ts +8 -0
  74. package/dist/types/length.d.ts.map +1 -0
  75. package/dist/types/length.js +5 -0
  76. package/dist/types/length.js.map +1 -0
  77. package/dist/types/property.d.ts +12 -0
  78. package/dist/types/property.d.ts.map +1 -0
  79. package/dist/types/property.js +5 -0
  80. package/dist/types/property.js.map +1 -0
  81. package/dist/types/special.d.ts +55 -0
  82. package/dist/types/special.d.ts.map +1 -0
  83. package/dist/types/special.js +5 -0
  84. package/dist/types/special.js.map +1 -0
  85. package/dist/types/union.d.ts +34 -0
  86. package/dist/types/union.d.ts.map +1 -0
  87. package/dist/types/union.js +5 -0
  88. package/dist/types/union.js.map +1 -0
  89. package/dist/utils.d.ts +14 -0
  90. package/dist/utils.d.ts.map +1 -0
  91. package/dist/utils.js +5 -0
  92. package/dist/utils.js.map +1 -0
  93. package/package.json +27 -0
  94. package/public/icon.png +0 -0
  95. package/src/api/assert.ts +48 -0
  96. package/src/api/check.ts +167 -0
  97. package/src/api/expect.ts +45 -0
  98. package/src/api/index.ts +7 -0
  99. package/src/index.ts +14 -0
  100. package/src/types/equality.ts +35 -0
  101. package/src/types/function.ts +18 -0
  102. package/src/types/index.ts +12 -0
  103. package/src/types/inhabitation.ts +25 -0
  104. package/src/types/length.ts +8 -0
  105. package/src/types/property.ts +13 -0
  106. package/src/types/special.ts +63 -0
  107. package/src/types/union.ts +36 -0
  108. package/src/utils.ts +17 -0
  109. package/tests/api.test.ts +40 -0
  110. package/tests/equality.test.ts +57 -0
  111. package/tests/function.test.ts +32 -0
  112. package/tests/inhabitation.test.ts +40 -0
  113. package/tests/length.test.ts +18 -0
  114. package/tests/property.test.ts +35 -0
  115. package/tests/special.test.ts +132 -0
  116. package/tests/union.test.ts +58 -0
  117. package/tests/utils.test.ts +20 -0
  118. package/tsconfig.json +9 -0
  119. package/tsconfig.tsbuildinfo +1 -0
package/coverage/src/api/assert.ts.html ADDED
@@ -0,0 +1,229 @@
1
+
2
+ <!doctype html>
3
+ <html lang="en">
4
+
5
+ <head>
6
+ <title>Code coverage report for src/api/assert.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/api</a> assert.ts</h1>
23
+ <div class='clearfix'>
24
+
25
+ <div class='fl pad1y space-right2'>
26
+ <span class="strong">100% </span>
27
+ <span class="quiet">Statements</span>
28
+ <span class='fraction'>3/3</span>
29
+ </div>
30
+
31
+
32
+ <div class='fl pad1y space-right2'>
33
+ <span class="strong">100% </span>
34
+ <span class="quiet">Branches</span>
35
+ <span class='fraction'>1/1</span>
36
+ </div>
37
+
38
+
39
+ <div class='fl pad1y space-right2'>
40
+ <span class="strong">100% </span>
41
+ <span class="quiet">Functions</span>
42
+ <span class='fraction'>1/1</span>
43
+ </div>
44
+
45
+
46
+ <div class='fl pad1y space-right2'>
47
+ <span class="strong">100% </span>
48
+ <span class="quiet">Lines</span>
49
+ <span class='fraction'>3/3</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 high'></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>
84
+ <a name='L19'></a><a href='#L19'>19</a>
85
+ <a name='L20'></a><a href='#L20'>20</a>
86
+ <a name='L21'></a><a href='#L21'>21</a>
87
+ <a name='L22'></a><a href='#L22'>22</a>
88
+ <a name='L23'></a><a href='#L23'>23</a>
89
+ <a name='L24'></a><a href='#L24'>24</a>
90
+ <a name='L25'></a><a href='#L25'>25</a>
91
+ <a name='L26'></a><a href='#L26'>26</a>
92
+ <a name='L27'></a><a href='#L27'>27</a>
93
+ <a name='L28'></a><a href='#L28'>28</a>
94
+ <a name='L29'></a><a href='#L29'>29</a>
95
+ <a name='L30'></a><a href='#L30'>30</a>
96
+ <a name='L31'></a><a href='#L31'>31</a>
97
+ <a name='L32'></a><a href='#L32'>32</a>
98
+ <a name='L33'></a><a href='#L33'>33</a>
99
+ <a name='L34'></a><a href='#L34'>34</a>
100
+ <a name='L35'></a><a href='#L35'>35</a>
101
+ <a name='L36'></a><a href='#L36'>36</a>
102
+ <a name='L37'></a><a href='#L37'>37</a>
103
+ <a name='L38'></a><a href='#L38'>38</a>
104
+ <a name='L39'></a><a href='#L39'>39</a>
105
+ <a name='L40'></a><a href='#L40'>40</a>
106
+ <a name='L41'></a><a href='#L41'>41</a>
107
+ <a name='L42'></a><a href='#L42'>42</a>
108
+ <a name='L43'></a><a href='#L43'>43</a>
109
+ <a name='L44'></a><a href='#L44'>44</a>
110
+ <a name='L45'></a><a href='#L45'>45</a>
111
+ <a name='L46'></a><a href='#L46'>46</a>
112
+ <a name='L47'></a><a href='#L47'>47</a>
113
+ <a name='L48'></a><a href='#L48'>48</a>
114
+ <a name='L49'></a><a href='#L49'>49</a></td><td class="line-coverage quiet"><span class="cline-any cline-neutral">&nbsp;</span>
115
+ <span class="cline-any cline-neutral">&nbsp;</span>
116
+ <span class="cline-any cline-neutral">&nbsp;</span>
117
+ <span class="cline-any cline-neutral">&nbsp;</span>
118
+ <span class="cline-any cline-neutral">&nbsp;</span>
119
+ <span class="cline-any cline-neutral">&nbsp;</span>
120
+ <span class="cline-any cline-neutral">&nbsp;</span>
121
+ <span class="cline-any cline-neutral">&nbsp;</span>
122
+ <span class="cline-any cline-neutral">&nbsp;</span>
123
+ <span class="cline-any cline-neutral">&nbsp;</span>
124
+ <span class="cline-any cline-neutral">&nbsp;</span>
125
+ <span class="cline-any cline-neutral">&nbsp;</span>
126
+ <span class="cline-any cline-neutral">&nbsp;</span>
127
+ <span class="cline-any cline-neutral">&nbsp;</span>
128
+ <span class="cline-any cline-neutral">&nbsp;</span>
129
+ <span class="cline-any cline-neutral">&nbsp;</span>
130
+ <span class="cline-any cline-neutral">&nbsp;</span>
131
+ <span class="cline-any cline-neutral">&nbsp;</span>
132
+ <span class="cline-any cline-neutral">&nbsp;</span>
133
+ <span class="cline-any cline-neutral">&nbsp;</span>
134
+ <span class="cline-any cline-neutral">&nbsp;</span>
135
+ <span class="cline-any cline-neutral">&nbsp;</span>
136
+ <span class="cline-any cline-neutral">&nbsp;</span>
137
+ <span class="cline-any cline-neutral">&nbsp;</span>
138
+ <span class="cline-any cline-neutral">&nbsp;</span>
139
+ <span class="cline-any cline-neutral">&nbsp;</span>
140
+ <span class="cline-any cline-neutral">&nbsp;</span>
141
+ <span class="cline-any cline-neutral">&nbsp;</span>
142
+ <span class="cline-any cline-neutral">&nbsp;</span>
143
+ <span class="cline-any cline-neutral">&nbsp;</span>
144
+ <span class="cline-any cline-neutral">&nbsp;</span>
145
+ <span class="cline-any cline-neutral">&nbsp;</span>
146
+ <span class="cline-any cline-neutral">&nbsp;</span>
147
+ <span class="cline-any cline-neutral">&nbsp;</span>
148
+ <span class="cline-any cline-neutral">&nbsp;</span>
149
+ <span class="cline-any cline-neutral">&nbsp;</span>
150
+ <span class="cline-any cline-neutral">&nbsp;</span>
151
+ <span class="cline-any cline-neutral">&nbsp;</span>
152
+ <span class="cline-any cline-neutral">&nbsp;</span>
153
+ <span class="cline-any cline-neutral">&nbsp;</span>
154
+ <span class="cline-any cline-neutral">&nbsp;</span>
155
+ <span class="cline-any cline-neutral">&nbsp;</span>
156
+ <span class="cline-any cline-neutral">&nbsp;</span>
157
+ <span class="cline-any cline-neutral">&nbsp;</span>
158
+ <span class="cline-any cline-neutral">&nbsp;</span>
159
+ <span class="cline-any cline-yes">1x</span>
160
+ <span class="cline-any cline-yes">1x</span>
161
+ <span class="cline-any cline-yes">1x</span>
162
+ <span class="cline-any cline-neutral">&nbsp;</span></td><td class="text"><pre class="prettyprint lang-js">/**
163
+ * Assert API - Alternative API that throws at compile time on failure.
164
+ */
165
+ &nbsp;
166
+ import type { Equal, NotEqual } from '../types/equality'
167
+ import type { IsAny, IsNever, IsUnknown, IsVoid, IsUndefined, IsNull, IsNullable, IsOptional } from '../types/special'
168
+ import type { IsUnion, IsTuple, IsArray } from '../types/union'
169
+ import type { IsInhabited, IsUninhabited } from '../types/inhabitation'
170
+ import type { HasProperty } from '../types/property'
171
+ import type { Check } from './check'
172
+ &nbsp;
173
+ /**
174
+ * Assert type - alternative API that throws at compile time on failure.
175
+ *
176
+ * @example
177
+ * ```typescript
178
+ * assert&lt;string&gt;().equals&lt;string&gt;()
179
+ * ```
180
+ */
181
+ export interface Assert&lt;T&gt; {
182
+ equals&lt;U&gt;(): Equal&lt;T, U&gt; extends true ? AssertPass : AssertFail&lt;T, U&gt;
183
+ notEquals&lt;U&gt;(): NotEqual&lt;T, U&gt; extends true ? AssertPass : AssertFail&lt;T, U&gt;
184
+ extends&lt;U&gt;(): T extends U ? AssertPass : AssertFail&lt;T, U&gt;
185
+ hasProperty&lt;K extends keyof T&gt;(): HasProperty&lt;T, K&gt; extends true ? AssertPass : AssertFail&lt;T, { missingProperty: K }&gt;
186
+ property&lt;K extends keyof T&gt;(): Check&lt;T[K]&gt;
187
+ isAny(): IsAny&lt;T&gt; extends true ? AssertPass : AssertFail&lt;T, 'any'&gt;
188
+ isNever(): IsNever&lt;T&gt; extends true ? AssertPass : AssertFail&lt;T, 'never'&gt;
189
+ isUnknown(): IsUnknown&lt;T&gt; extends true ? AssertPass : AssertFail&lt;T, 'unknown'&gt;
190
+ isVoid(): IsVoid&lt;T&gt; extends true ? AssertPass : AssertFail&lt;T, 'void'&gt;
191
+ isUndefined(): IsUndefined&lt;T&gt; extends true ? AssertPass : AssertFail&lt;T, 'undefined'&gt;
192
+ isNull(): IsNull&lt;T&gt; extends true ? AssertPass : AssertFail&lt;T, 'null'&gt;
193
+ isNullable(): IsNullable&lt;T&gt; extends true ? AssertPass : AssertFail&lt;T, 'not nullable'&gt;
194
+ isOptional(): IsOptional&lt;T&gt; extends true ? AssertPass : AssertFail&lt;T, 'not optional'&gt;
195
+ isUnion(): IsUnion&lt;T&gt; extends true ? AssertPass : AssertFail&lt;T, 'not a union'&gt;
196
+ isTuple(): IsTuple&lt;T&gt; extends true ? AssertPass : AssertFail&lt;T, 'not a tuple'&gt;
197
+ isArray(): IsArray&lt;T&gt; extends true ? AssertPass : AssertFail&lt;T, 'not an array'&gt;
198
+ isInhabited(): IsInhabited&lt;T&gt; extends true ? AssertPass : AssertFail&lt;T, 'uninhabited'&gt;
199
+ isUninhabited(): IsUninhabited&lt;T&gt; extends true ? AssertPass : AssertFail&lt;T, 'inhabited'&gt;
200
+ }
201
+ &nbsp;
202
+ export type AssertPass = true
203
+ &nbsp;
204
+ // eslint-disable-next-line @typescript-eslint/no-unused-vars
205
+ export type AssertFail&lt;_T, _Expected&gt; = never
206
+ &nbsp;
207
+ export function assert&lt;T&gt;(): Assert&lt;T&gt; {
208
+ return undefined as any
209
+ }
210
+ &nbsp;</pre></td></tr></table></pre>
211
+
212
+ <div class='push'></div><!-- for sticky footer -->
213
+ </div><!-- /wrapper -->
214
+ <div class='footer quiet pad2 space-top1 center small'>
215
+ Code coverage generated by
216
+ <a href="https://istanbul.js.org/" target="_blank" rel="noopener noreferrer">istanbul</a>
217
+ at 2026-02-27T13:37:42.407Z
218
+ </div>
219
+ <script src="../../prettify.js"></script>
220
+ <script>
221
+ window.onload = function () {
222
+ prettyPrint();
223
+ };
224
+ </script>
225
+ <script src="../../sorter.js"></script>
226
+ <script src="../../block-navigation.js"></script>
227
+ </body>
228
+ </html>
229
+