@deessejs/type-testing 0.1.0

package/.eslintrc.json

@@ -0,0 +1,7 @@
+{
+  "extends": "../../eslint.config.js",
+  "rules": {
+    "@typescript-eslint/no-unused-vars": ["error", { "argsIgnorePattern": "^_", "varsIgnorePattern": "^_", "typeParamsIgnorePattern": "^_" }],
+    "@typescript-eslint/no-explicit-any": "off"
+  }
+}

package/.turbo/turbo-lint.log

@@ -0,0 +1,24 @@
+
+> @deessejs/type-testing@0.1.0 lint C:\Users\dpereira\Documents\github\type-testing\packages\type-testing
+> eslint src --ext .ts,.tsx
+
+(node:10876) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///C:/Users/dpereira/Documents/github/type-testing/eslint.config.js?mtime=1772199688344 is not specified and it doesn't parse as CommonJS.
+Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
+To eliminate this warning, add "type": "module" to C:\Users\dpereira\Documents\github\type-testing\package.json.
+(Use `node --trace-warnings ...` to show where the warning was created)
+
+C:\Users\dpereira\Documents\github\type-testing\packages\type-testing\src\api\assert.ts
+  43:1  warning  Unused eslint-disable directive (no problems were reported from '@typescript-eslint/no-unused-vars')
+
+C:\Users\dpereira\Documents\github\type-testing\packages\type-testing\src\api\check.ts
+  21:1  warning  Unused eslint-disable directive (no problems were reported from '@typescript-eslint/no-unused-vars')
+
+C:\Users\dpereira\Documents\github\type-testing\packages\type-testing\src\api\expect.ts
+  25:1  warning  Unused eslint-disable directive (no problems were reported from '@typescript-eslint/no-unused-vars')
+
+C:\Users\dpereira\Documents\github\type-testing\packages\type-testing\src\utils.ts
+  11:1  warning  Unused eslint-disable directive (no problems were reported from '@typescript-eslint/no-unused-vars')
+
+✖ 4 problems (0 errors, 4 warnings)
+  0 errors and 4 warnings potentially fixable with the `--fix` option.
+

package/.turbo/turbo-test.log

@@ -0,0 +1,23 @@
+
+> @deessejs/type-testing@0.1.0 test C:\Users\dpereira\Documents\github\type-testing\packages\type-testing
+> vitest run
+
+The CJS build of Vite's Node API is deprecated. See https://vite.dev/guide/troubleshooting.html#vite-cjs-node-api-deprecated for more details.
+
+ RUN  v2.1.9 C:/Users/dpereira/Documents/github/type-testing/packages/type-testing
+
+ ✓ tests/inhabitation.test.ts (6 tests) 4ms
+ ✓ tests/property.test.ts (5 tests) 4ms
+ ✓ tests/equality.test.ts (9 tests) 5ms
+ ✓ tests/special.test.ts (22 tests) 7ms
+ ✓ tests/function.test.ts (4 tests) 4ms
+ ✓ tests/union.test.ts (9 tests) 5ms
+ ✓ tests/length.test.ts (2 tests) 3ms
+ ✓ tests/utils.test.ts (2 tests) 4ms
+ ✓ tests/api.test.ts (4 tests) 5ms
+
+ Test Files  9 passed (9)
+      Tests  63 passed (63)
+   Start at  15:29:08
+   Duration  1.15s (transform 557ms, setup 0ms, collect 1.04s, tests 40ms, environment 3ms, prepare 2.60s)
+

package/.turbo/turbo-typecheck.log

@@ -0,0 +1,4 @@
+
+> @deessejs/type-testing@0.1.0 typecheck C:\Users\dpereira\Documents\github\type-testing\packages\type-testing
+> tsc --noEmit
+

package/CHANGELOG.md

@@ -0,0 +1,7 @@
+# @deessejs/type-testing
+
+## 0.1.0
+
+### Minor Changes
+
+- Initial release of @deessejs/type-testing - A micro library for compile-time type testing in TypeScript

package/README.md

@@ -0,0 +1,303 @@
+# @deessejs/type-testing
+
+![Type Testing](./public/icon.png)
+
+A micro library for compile-time type testing in TypeScript.
+
+[![npm version](https://img.shields.io/npm/v/@deessejs/type-testing.svg)](https://www.npmjs.com/package/@deessejs/type-testing)
+[![npm bundle size](https://img.shields.io/bundlejs/size/@deessejs/type-testing)](https://www.npmjs.com/package/@deessejs/type-testing)
+[![TypeScript](https://img.shields.io/badge/TypeScript-5.0+-blue.svg)](https://www.typescriptlang.org/)
+[![License: MIT](https://img.shields.io/badge/License-MIT-green.svg)](https://opensource.org/licenses/MIT)
+
+## Installation
+
+```bash
+npm install @deessejs/type-testing
+```
+
+Or with pnpm:
+
+```bash
+pnpm add @deessejs/type-testing
+```
+
+Or with yarn:
+
+```bash
+yarn add @deessejs/type-testing
+```
+
+## Quick Start
+
+```typescript
+import { Equal, check, assert, expect } from '@deessejs/type-testing'
+
+// Simple type equality
+type Test = Equal<string, string>  // true
+
+// Chainable API
+check<string>().equals<string>()   // passes
+
+// Assert with clear errors
+assert<{ a: string }>().hasProperty('a')
+
+// Expect syntax
+expect<string, string>().toBeEqual()
+```
+
+## Core Types
+
+### Type Equality
+
+```typescript
+import { Equal, NotEqual, SimpleEqual } from '@deessejs/type-testing'
+
+// Strict equality (handles any, never, etc.)
+Equal<string, string>           // true
+Equal<string, number>           // false
+
+// Inequality check
+NotEqual<string, number>        // true
+
+// Simple equality (for plain objects)
+SimpleEqual<{ a: string }, { a: string }>  // true
+```
+
+### Special Type Detection
+
+```typescript
+import {
+  IsAny,
+  IsNever,
+  IsUnknown,
+  IsVoid,
+  IsUndefined,
+  IsNull,
+  IsNullable,
+  IsOptional
+} from '@deessejs/type-testing'
+
+IsAny<any>                      // true
+IsNever<never>                  // true
+IsUnknown<unknown>             // true
+IsVoid<void>                    // true
+IsUndefined<undefined>          // true
+IsNull<null>                    // true
+
+// Nullable = null | undefined
+IsNullable<string | null>       // true
+IsNullable<string | undefined>  // true
+
+// Optional = may include undefined
+IsOptional<string | undefined> // true
+```
+
+### Union, Tuple & Array
+
+```typescript
+import { IsUnion, IsTuple, IsArray } from '@deessejs/type-testing'
+
+// Unions
+IsUnion<'a' | 'b'>               // true
+IsUnion<'a'>                     // false
+
+// Tuples (fixed-length arrays)
+IsTuple<[string, number]>        // true
+IsTuple<[]>                      // true
+IsTuple<string[]>                // false
+
+// Arrays (dynamic-length)
+IsArray<string[]>                // true
+IsArray<[string]>                // false
+```
+
+### Type Inhabitation
+
+```typescript
+import { IsInhabited, IsUninhabited } from '@deessejs/type-testing'
+
+// Has at least one value
+IsInhabited<string>              // true
+IsInhabited<never>               // false
+
+// Has no values (never)
+IsUninhabited<never>             // true
+IsUninhabited<string>            // false
+```
+
+### Property Testing
+
+```typescript
+import { HasProperty, PropertyType } from '@deessejs/type-testing'
+
+// Check if type has a property
+HasProperty<{ a: string }, 'a'>  // true
+HasProperty<{ a: string }, 'b'>  // false
+
+// Get property type
+PropertyType<{ a: string }, 'a'> // string
+```
+
+### Function Types
+
+```typescript
+import { Parameters, ReturnType, Parameter } from '@deessejs/type-testing'
+
+// Get parameters as tuple
+Parameters<(a: string, b: number) => void>  // [string, number]
+
+// Get return type
+ReturnType<(a: string) => number>           // number
+
+// Get parameter at index
+Parameter<(a: string, b: number), 0>        // string
+Parameter<(a: string, b: number), 1>         // number
+```
+
+### Length
+
+```typescript
+import { Length } from '@deessejs/type-testing'
+
+Length<['a', 'b', 'c']>            // 3
+Length<[]>                          // 0
+```
+
+## Chainable API
+
+### check() - Soft type checking
+
+```typescript
+import { check } from '@deessejs/type-testing'
+
+// Type equality
+check<string>().equals<string>()           // passes
+check<string>().equals<number>()            // fails at compile time
+
+// Type extends
+check<string>().extends<string>()          // passes
+check<string>().extends<any>()              // passes
+
+// Property check
+check<{ a: string }>().hasProperty('a')    // passes
+check<{ a: string }>().hasProperty('b')     // fails
+
+// Special types
+check<any>().isAny()                        // passes
+check<never>().isNever()                    // passes
+check<unknown>().isUnknown()                // passes
+
+// Nullable/Optional
+check<string | null>().isNullable()         // passes
+check<string | undefined>().isOptional()     // passes
+
+// Union/Tuple/Array
+check<'a' | 'b'>().isUnion()                // passes
+check<[string, number]>().isTuple()         // passes
+check<string[]>().isArray()                  // passes
+```
+
+### assert() - Strict type checking
+
+Similar to `check()` but throws at compile time on failure with a clearer error message.
+
+```typescript
+import { assert } from '@deessejs/type-testing'
+
+// Fails with a clear error message
+assert<string>().equals<number>()           // compile error
+assert<{ a: string }>().hasProperty('b')    // compile error
+```
+
+### expect() - BDD-style API
+
+```typescript
+import { expect } from '@deessejs/type-testing'
+
+// Compare two types
+expect<string, string>().toBeEqual()         // passes
+expect<string, number>().toBeNotEqual()     // passes
+
+// Type extends
+expect<string>().toExtend<string>()          // passes
+
+// Special types
+expect<any>().toBeAny()                      // passes
+expect<never>().toBeNever()                  // passes
+
+// Nullable/Optional
+expect<string | null>().toBeNullable()       // passes
+expect<string | undefined>().toBeOptional()  // passes
+```
+
+## Compile-time Assertions
+
+### ExpectTrue & ExpectEqual
+
+```typescript
+import { ExpectTrue, ExpectEqual } from '@deessejs/type-testing'
+
+// Assert a type is true
+type Test1 = ExpectTrue<true>                // true
+
+// Assert equality - throws if not equal
+type Test2 = ExpectEqual<string, string>    // string
+
+// Using with type tests
+type IsString<T> = ExpectEqual<T, string>
+type Result = IsString<string>              // string (passes)
+```
+
+### expectFalse
+
+```typescript
+import { expectFalse } from '@deessejs/type-testing'
+
+// Assert T is false at compile time
+expectFalse<false>()                        // passes
+expectFalse<true>()                         // compile error
+```
+
+## API Reference
+
+### Types
+
+| Type | Description |
+|------|-------------|
+| `Equal<T, U>` | Strict equality check |
+| `NotEqual<T, U>` | Inequality check |
+| `SimpleEqual<T, U>` | Simple equality for plain types |
+| `IsAny<T>` | Check if type is `any` |
+| `IsNever<T>` | Check if type is `never` |
+| `IsUnknown<T>` | Check if type is `unknown` |
+| `IsVoid<T>` | Check if type is `void` |
+| `IsUndefined<T>` | Check if type is `undefined` |
+| `IsNull<T>` | Check if type is `null` |
+| `IsNullable<T>` | Check if type is `null \| undefined` |
+| `IsOptional<T>` | Check if type may be `undefined` |
+| `IsUnion<T>` | Check if type is a union |
+| `IsTuple<T>` | Check if type is a tuple |
+| `IsArray<T>` | Check if type is an array |
+| `IsInhabited<T>` | Check if type has at least one value |
+| `IsUninhabited<T>` | Check if type has no values |
+| `HasProperty<T, K>` | Check if type has property K |
+| `PropertyType<T, K>` | Get type of property K |
+| `Parameters<T>` | Get function parameters as tuple |
+| `ReturnType<T>` | Get function return type |
+| `Parameter<T, N>` | Get parameter at index N |
+| `Length<T>` | Get tuple/array length |
+| `ExpectTrue<T>` | Assert T is true |
+| `ExpectEqual<T, U>` | Assert T equals U |
+
+### Functions
+
+| Function | Description |
+|----------|-------------|
+| `check<T>()` | Create a chainable type checker |
+| `assert<T>()` | Create an assert type checker (throws on failure) |
+| `expect<T, U>()` | Create an expect-style type checker |
+| `expectFalse<T>()` | Assert T is false at compile time |
+
+## License
+
+MIT

package/coverage/base.css

@@ -0,0 +1,224 @@
+body, html {
+  margin:0; padding: 0;
+  height: 100%;
+}
+body {
+    font-family: Helvetica Neue, Helvetica, Arial;
+    font-size: 14px;
+    color:#333;
+}
+.small { font-size: 12px; }
+*, *:after, *:before {
+  -webkit-box-sizing:border-box;
+     -moz-box-sizing:border-box;
+          box-sizing:border-box;
+  }
+h1 { font-size: 20px; margin: 0;}
+h2 { font-size: 14px; }
+pre {
+    font: 12px/1.4 Consolas, "Liberation Mono", Menlo, Courier, monospace;
+    margin: 0;
+    padding: 0;
+    -moz-tab-size: 2;
+    -o-tab-size:  2;
+    tab-size: 2;
+}
+a { color:#0074D9; text-decoration:none; }
+a:hover { text-decoration:underline; }
+.strong { font-weight: bold; }
+.space-top1 { padding: 10px 0 0 0; }
+.pad2y { padding: 20px 0; }
+.pad1y { padding: 10px 0; }
+.pad2x { padding: 0 20px; }
+.pad2 { padding: 20px; }
+.pad1 { padding: 10px; }
+.space-left2 { padding-left:55px; }
+.space-right2 { padding-right:20px; }
+.center { text-align:center; }
+.clearfix { display:block; }
+.clearfix:after {
+  content:'';
+  display:block;
+  height:0;
+  clear:both;
+  visibility:hidden;
+  }
+.fl { float: left; }
+@media only screen and (max-width:640px) {
+  .col3 { width:100%; max-width:100%; }
+  .hide-mobile { display:none!important; }
+}
+
+.quiet {
+  color: #7f7f7f;
+  color: rgba(0,0,0,0.5);
+}
+.quiet a { opacity: 0.7; }
+
+.fraction {
+  font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace;
+  font-size: 10px;
+  color: #555;
+  background: #E8E8E8;
+  padding: 4px 5px;
+  border-radius: 3px;
+  vertical-align: middle;
+}
+
+div.path a:link, div.path a:visited { color: #333; }
+table.coverage {
+  border-collapse: collapse;
+  margin: 10px 0 0 0;
+  padding: 0;
+}
+
+table.coverage td {
+  margin: 0;
+  padding: 0;
+  vertical-align: top;
+}
+table.coverage td.line-count {
+    text-align: right;
+    padding: 0 5px 0 20px;
+}
+table.coverage td.line-coverage {
+    text-align: right;
+    padding-right: 10px;
+    min-width:20px;
+}
+
+table.coverage td span.cline-any {
+    display: inline-block;
+    padding: 0 5px;
+    width: 100%;
+}
+.missing-if-branch {
+    display: inline-block;
+    margin-right: 5px;
+    border-radius: 3px;
+    position: relative;
+    padding: 0 4px;
+    background: #333;
+    color: yellow;
+}
+
+.skip-if-branch {
+    display: none;
+    margin-right: 10px;
+    position: relative;
+    padding: 0 4px;
+    background: #ccc;
+    color: white;
+}
+.missing-if-branch .typ, .skip-if-branch .typ {
+    color: inherit !important;
+}
+.coverage-summary {
+  border-collapse: collapse;
+  width: 100%;
+}
+.coverage-summary tr { border-bottom: 1px solid #bbb; }
+.keyline-all { border: 1px solid #ddd; }
+.coverage-summary td, .coverage-summary th { padding: 10px; }
+.coverage-summary tbody { border: 1px solid #bbb; }
+.coverage-summary td { border-right: 1px solid #bbb; }
+.coverage-summary td:last-child { border-right: none; }
+.coverage-summary th {
+  text-align: left;
+  font-weight: normal;
+  white-space: nowrap;
+}
+.coverage-summary th.file { border-right: none !important; }
+.coverage-summary th.pct { }
+.coverage-summary th.pic,
+.coverage-summary th.abs,
+.coverage-summary td.pct,
+.coverage-summary td.abs { text-align: right; }
+.coverage-summary td.file { white-space: nowrap;  }
+.coverage-summary td.pic { min-width: 120px !important;  }
+.coverage-summary tfoot td { }
+
+.coverage-summary .sorter {
+    height: 10px;
+    width: 7px;
+    display: inline-block;
+    margin-left: 0.5em;
+    background: url(sort-arrow-sprite.png) no-repeat scroll 0 0 transparent;
+}
+.coverage-summary .sorted .sorter {
+    background-position: 0 -20px;
+}
+.coverage-summary .sorted-desc .sorter {
+    background-position: 0 -10px;
+}
+.status-line {  height: 10px; }
+/* yellow */
+.cbranch-no { background: yellow !important; color: #111; }
+/* dark red */
+.red.solid, .status-line.low, .low .cover-fill { background:#C21F39 }
+.low .chart { border:1px solid #C21F39 }
+.highlighted,
+.highlighted .cstat-no, .highlighted .fstat-no, .highlighted .cbranch-no{
+  background: #C21F39 !important;
+}
+/* medium red */
+.cstat-no, .fstat-no, .cbranch-no, .cbranch-no { background:#F6C6CE }
+/* light red */
+.low, .cline-no { background:#FCE1E5 }
+/* light green */
+.high, .cline-yes { background:rgb(230,245,208) }
+/* medium green */
+.cstat-yes { background:rgb(161,215,106) }
+/* dark green */
+.status-line.high, .high .cover-fill { background:rgb(77,146,33) }
+.high .chart { border:1px solid rgb(77,146,33) }
+/* dark yellow (gold) */
+.status-line.medium, .medium .cover-fill { background: #f9cd0b; }
+.medium .chart { border:1px solid #f9cd0b; }
+/* light yellow */
+.medium { background: #fff4c2; }
+
+.cstat-skip { background: #ddd; color: #111; }
+.fstat-skip { background: #ddd; color: #111 !important; }
+.cbranch-skip { background: #ddd !important; color: #111; }
+
+span.cline-neutral { background: #eaeaea; }
+
+.coverage-summary td.empty {
+    opacity: .5;
+    padding-top: 4px;
+    padding-bottom: 4px;
+    line-height: 1;
+    color: #888;
+}
+
+.cover-fill, .cover-empty {
+  display:inline-block;
+  height: 12px;
+}
+.chart {
+  line-height: 0;
+}
+.cover-empty {
+    background: white;
+}
+.cover-full {
+    border-right: none !important;
+}
+pre.prettyprint {
+    border: none !important;
+    padding: 0 !important;
+    margin: 0 !important;
+}
+.com { color: #999 !important; }
+.ignore-none { color: #999; font-weight: normal; }
+
+.wrapper {
+  min-height: 100%;
+  height: auto !important;
+  height: 100%;
+  margin: 0 auto -48px;
+}
+.footer, .push {
+  height: 48px;
+}

package/coverage/block-navigation.js

@@ -0,0 +1,87 @@
+/* eslint-disable */
+var jumpToCode = (function init() {
+    // Classes of code we would like to highlight in the file view
+    var missingCoverageClasses = ['.cbranch-no', '.cstat-no', '.fstat-no'];
+
+    // Elements to highlight in the file listing view
+    var fileListingElements = ['td.pct.low'];
+
+    // We don't want to select elements that are direct descendants of another match
+    var notSelector = ':not(' + missingCoverageClasses.join('):not(') + ') > '; // becomes `:not(a):not(b) > `
+
+    // Selector that finds elements on the page to which we can jump
+    var selector =
+        fileListingElements.join(', ') +
+        ', ' +
+        notSelector +
+        missingCoverageClasses.join(', ' + notSelector); // becomes `:not(a):not(b) > a, :not(a):not(b) > b`
+
+    // The NodeList of matching elements
+    var missingCoverageElements = document.querySelectorAll(selector);
+
+    var currentIndex;
+
+    function toggleClass(index) {
+        missingCoverageElements
+            .item(currentIndex)
+            .classList.remove('highlighted');
+        missingCoverageElements.item(index).classList.add('highlighted');
+    }
+
+    function makeCurrent(index) {
+        toggleClass(index);
+        currentIndex = index;
+        missingCoverageElements.item(index).scrollIntoView({
+            behavior: 'smooth',
+            block: 'center',
+            inline: 'center'
+        });
+    }
+
+    function goToPrevious() {
+        var nextIndex = 0;
+        if (typeof currentIndex !== 'number' || currentIndex === 0) {
+            nextIndex = missingCoverageElements.length - 1;
+        } else if (missingCoverageElements.length > 1) {
+            nextIndex = currentIndex - 1;
+        }
+
+        makeCurrent(nextIndex);
+    }
+
+    function goToNext() {
+        var nextIndex = 0;
+
+        if (
+            typeof currentIndex === 'number' &&
+            currentIndex < missingCoverageElements.length - 1
+        ) {
+            nextIndex = currentIndex + 1;
+        }
+
+        makeCurrent(nextIndex);
+    }
+
+    return function jump(event) {
+        if (
+            document.getElementById('fileSearch') === document.activeElement &&
+            document.activeElement != null
+        ) {
+            // if we're currently focused on the search input, we don't want to navigate
+            return;
+        }
+
+        switch (event.which) {
+            case 78: // n
+            case 74: // j
+                goToNext();
+                break;
+            case 66: // b
+            case 75: // k
+            case 80: // p
+                goToPrevious();
+                break;
+        }
+    };
+})();
+window.addEventListener('keydown', jumpToCode);