@deessejs/type-testing 0.1.0 → 0.1.1

package/dist/index.test.js

@@ -1,264 +0,0 @@
-/**
- * Type-testing tests
- *
- * These tests verify that the type-checking utilities compile correctly.
- * If the code compiles, the types are correct.
- */
-/* eslint-disable @typescript-eslint/no-unused-vars */
-import { describe, it } from 'vitest';
-import { 
-// Main exports
-check, assert, expect, expectFalse, } from './index';
-// These tests verify that the types compile correctly.
-// The actual type tests are done at compile time.
-describe('Equal', () => {
-    it('should detect equal types', () => {
-        const _test = true;
-    });
-    it('should detect unequal types', () => {
-        const _test = false;
-    });
-    it('should handle any', () => {
-        const _test = true;
-    });
-    it('should handle never', () => {
-        const _test = true;
-    });
-    it('should handle object types', () => {
-        const _test = true;
-    });
-});
-describe('NotEqual', () => {
-    it('should detect unequal types', () => {
-        const _test = true;
-    });
-    it('should detect equal types', () => {
-        const _test = false;
-    });
-});
-describe('IsAny', () => {
-    it('should detect any', () => {
-        const _test = true;
-    });
-    it('should not detect string as any', () => {
-        const _test = false;
-    });
-    it('should not detect never as any', () => {
-        const _test = false;
-    });
-    it('should not detect unknown as any', () => {
-        const _test = false;
-    });
-});
-describe('IsNever', () => {
-    it('should detect never', () => {
-        const _test = true;
-    });
-    it('should not detect string as never', () => {
-        const _test = false;
-    });
-    it('should not detect any as never', () => {
-        const _test = false;
-    });
-});
-describe('IsUnknown', () => {
-    it('should detect unknown', () => {
-        const _test = true;
-    });
-    it('should not detect string as unknown', () => {
-        const _test = false;
-    });
-});
-describe('IsVoid', () => {
-    it('should detect void', () => {
-        const _test = true;
-    });
-    it('should not detect string as void', () => {
-        const _test = false;
-    });
-});
-describe('IsUndefined', () => {
-    it('should detect undefined', () => {
-        const _test = true;
-    });
-    it('should not detect string as undefined', () => {
-        const _test = false;
-    });
-});
-describe('IsNull', () => {
-    it('should detect null', () => {
-        const _test = true;
-    });
-    it('should not detect string as null', () => {
-        const _test = false;
-    });
-});
-describe('IsNullable', () => {
-    it('should detect nullable types with null', () => {
-        const _test = true;
-    });
-    it('should detect nullable types with undefined', () => {
-        const _test = true;
-    });
-    it('should detect fully nullable', () => {
-        const _test = true;
-    });
-    it('should not detect non-nullable', () => {
-        const _test = false;
-    });
-    it('should detect null as nullable', () => {
-        const _test = true;
-    });
-});
-describe('IsOptional', () => {
-    it('should detect optional types', () => {
-        const _test = true;
-    });
-    it('should detect required types as not optional', () => {
-        const _test = false;
-    });
-});
-describe('IsUnion', () => {
-    it('should detect unions', () => {
-        const _test = true;
-    });
-    it('should detect union with never', () => {
-        const _test = false;
-    });
-    it('should not detect single type as union', () => {
-        const _test = false;
-    });
-    it('should not detect primitives as union', () => {
-        const _test = false;
-    });
-});
-describe('IsTuple', () => {
-    it('should detect tuples', () => {
-        const _test = true;
-    });
-    it('should detect empty tuple', () => {
-        const _test = true;
-    });
-    it('should not detect arrays as tuples', () => {
-        const _test = false;
-    });
-});
-describe('IsArray', () => {
-    it('should detect arrays', () => {
-        const _test = true;
-    });
-    it('should not detect tuples as arrays', () => {
-        const _test = false;
-    });
-});
-describe('IsInhabited', () => {
-    it('should detect inhabited types', () => {
-        const _test = true;
-    });
-    it('should detect object types as inhabited', () => {
-        const _test = true;
-    });
-    it('should not detect never as inhabited', () => {
-        const _test = false;
-    });
-});
-describe('IsUninhabited', () => {
-    it('should detect uninhabited types', () => {
-        const _test = true;
-    });
-    it('should not detect string as uninhabited', () => {
-        const _test = false;
-    });
-    it('should not detect any as uninhabited', () => {
-        const _test = false;
-    });
-});
-describe('HasProperty', () => {
-    it('should detect existing property', () => {
-        const _test = true;
-    });
-    it('should detect multiple properties', () => {
-        const _test = true;
-    });
-    it('should not detect missing property', () => {
-        const _test = false;
-    });
-    it('should work with optional properties', () => {
-        const _test = true;
-    });
-});
-describe('PropertyType', () => {
-    it('should get property type', () => {
-        const _test = 'hello';
-    });
-});
-describe('Parameters', () => {
-    it('should get function parameters', () => {
-        const _test = ['hello', 42];
-    });
-});
-describe('ReturnType', () => {
-    it('should get function return type', () => {
-        const _test = 42;
-    });
-});
-describe('Parameter', () => {
-    it('should get parameter at index 0', () => {
-        const _test = 'hello';
-    });
-    it('should get parameter at index 1', () => {
-        const _test = 42;
-    });
-});
-describe('Length', () => {
-    it('should get array length', () => {
-        const _test = 3;
-    });
-    it('should get empty array length', () => {
-        const _test = 0;
-    });
-});
-describe('check() API', () => {
-    it('should create check interface', () => {
-        const c = check();
-        // Just verify it returns something (even undefined)
-        void c;
-    });
-});
-describe('assert() API', () => {
-    it('should create assert interface', () => {
-        const a = assert();
-        void a;
-    });
-});
-describe('expect() API', () => {
-    it('should create expect interface', () => {
-        const e = expect();
-        void e;
-    });
-});
-describe('SimpleEqual', () => {
-    it('should detect equal types', () => {
-        const _test = true;
-    });
-    it('should detect unequal types', () => {
-        const _test = false;
-    });
-});
-describe('ExpectTrue', () => {
-    it('should pass for true', () => {
-        const _test = true;
-    });
-});
-describe('ExpectEqual', () => {
-    it('should work with equal types', () => {
-        const _test = {};
-    });
-});
-describe('expectFalse', () => {
-    it('should compile for false', () => {
-        // If this compiles, expectFalse works
-        expectFalse();
-    });
-});
-//# sourceMappingURL=index.test.js.map

package/dist/index.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.test.js","sourceRoot":"","sources":["../src/index.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,sDAAsD;AAEtD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAA;AACrC,OAAO;AACL,eAAe;AACf,KAAK,EACL,MAAM,EACN,MAAM,EACN,WAAW,GAuCZ,MAAM,SAAS,CAAA;AAEhB,uDAAuD;AACvD,kDAAkD;AAElD,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;IACrB,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QAGnC,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAErC,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAE3B,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAE7B,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QAEpC,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAErC,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QAEnC,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;IACrB,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAE3B,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAEzC,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAExC,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAE1C,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAE7B,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAE3C,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAExC,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;IACzB,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAE/B,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAE7C,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAE5B,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAE1C,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QAEjC,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAE/C,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAE5B,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAE1C,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAEhD,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QAErD,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QAEtC,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAExC,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAExC,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QAEtC,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QAEtD,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAE9B,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAGxC,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAEhD,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAE/C,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAE9B,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QAEnC,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAE5C,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAE9B,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAE5C,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAEvC,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QAEjD,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAE9C,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAEzC,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QAEjD,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAE9C,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAEzC,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAE3C,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAE5C,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAE9C,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAElC,MAAM,KAAK,GAAS,OAAO,CAAA;IAC7B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAExC,MAAM,KAAK,GAAS,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;IACnC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAEzC,MAAM,KAAK,GAAS,EAAE,CAAA;IACxB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;IACzB,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAEzC,MAAM,KAAK,GAAS,OAAO,CAAA;IAC7B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAEzC,MAAM,KAAK,GAAS,EAAE,CAAA;IACxB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QAEjC,MAAM,KAAK,GAAS,CAAC,CAAA;IACvB,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAEvC,MAAM,KAAK,GAAS,CAAC,CAAA;IACvB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,KAAK,EAAU,CAAA;QACzB,oDAAoD;QACpD,KAAK,CAAC,CAAA;IACR,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,MAAM,EAAU,CAAA;QAC1B,KAAK,CAAC,CAAA;IACR,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,MAAM,EAAkB,CAAA;QAClC,KAAK,CAAC,CAAA;IACR,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QAEnC,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAErC,MAAM,KAAK,GAAS,KAAK,CAAA;IAC3B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAE9B,MAAM,KAAK,GAAS,IAAI,CAAA;IAC1B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QAEtC,MAAM,KAAK,GAAW,EAAU,CAAA;IAClC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,sCAAsC;QACtC,WAAW,EAAS,CAAA;IACtB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/dist/types/equality.d.ts

@@ -1,30 +0,0 @@
-/**
- * Type equality utilities.
- */
-/**
- * Checks if two types are strictly equal.
- * Uses a technique that compares the structure while handling
- * special types like any, never, and unknown.
- *
- * @example
- * ```typescript
- * check<string>().equals<string>() // passes
- * check<string>().equals<number>() // fails at compile time
- * ```
- */
-export type Equal<T, U> = (<G>() => G extends T ? 1 : 2) extends (<G>() => G extends U ? 1 : 2) ? true : false;
-/**
- * Checks if two types are not equal.
- *
- * @example
- * ```typescript
- * check<string>().notEquals<number>() // passes
- * ```
- */
-export type NotEqual<T, U> = Equal<T, U> extends true ? false : true;
-/**
- * Simple equality check that works in more contexts.
- * Useful for simple type comparisons.
- */
-export type SimpleEqual<T, U> = [T, U] extends [U, T] ? true : false;
-//# sourceMappingURL=equality.d.ts.map

package/dist/types/equality.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"equality.d.ts","sourceRoot":"","sources":["../../src/types/equality.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;;;;;;;GAUG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IACpB,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,GACjE,IAAI,GACJ,KAAK,CAAA;AAEX;;;;;;;GAOG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,IAAI,CAAA;AAEpE;;;GAGG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA"}

package/dist/types/equality.js

@@ -1,5 +0,0 @@
-/**
- * Type equality utilities.
- */
-export {};
-//# sourceMappingURL=equality.js.map

package/dist/types/equality.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"equality.js","sourceRoot":"","sources":["../../src/types/equality.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/types/function.d.ts

@@ -1,16 +0,0 @@
-/**
- * Function type utilities.
- */
-/**
- * Gets the parameters of a function type as a tuple.
- */
-export type Parameters<T extends (...args: any[]) => any> = T extends (...args: infer P) => any ? P : never;
-/**
- * Gets the return type of a function type.
- */
-export type ReturnType<T extends (...args: any[]) => any> = T extends (...args: any[]) => infer R ? R : never;
-/**
- * Gets the parameter type at a specific index.
- */
-export type Parameter<T extends (...args: any[]) => any, N extends number> = Parameters<T>[N];
-//# sourceMappingURL=function.d.ts.map

package/dist/types/function.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"function.d.ts","sourceRoot":"","sources":["../../src/types/function.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,KAAK,CAAA;AAE3G;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAE7G;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,EAAE,CAAC,SAAS,MAAM,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/dist/types/function.js

@@ -1,5 +0,0 @@
-/**
- * Function type utilities.
- */
-export {};
-//# sourceMappingURL=function.js.map

package/dist/types/function.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"function.js","sourceRoot":"","sources":["../../src/types/function.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/types/index.d.ts

@@ -1,11 +0,0 @@
-/**
- * Type testing utilities.
- */
-export * from './equality';
-export * from './special';
-export * from './union';
-export * from './inhabitation';
-export * from './property';
-export * from './function';
-export * from './length';
-//# sourceMappingURL=index.d.ts.map

package/dist/types/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AACzB,cAAc,SAAS,CAAA;AACvB,cAAc,gBAAgB,CAAA;AAC9B,cAAc,YAAY,CAAA;AAC1B,cAAc,YAAY,CAAA;AAC1B,cAAc,UAAU,CAAA"}

package/dist/types/index.js

@@ -1,12 +0,0 @@
-/**
- * Type testing utilities.
- */
-// Re-export all types
-export * from './equality';
-export * from './special';
-export * from './union';
-export * from './inhabitation';
-export * from './property';
-export * from './function';
-export * from './length';
-//# sourceMappingURL=index.js.map

package/dist/types/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,sBAAsB;AACtB,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AACzB,cAAc,SAAS,CAAA;AACvB,cAAc,gBAAgB,CAAA;AAC9B,cAAc,YAAY,CAAA;AAC1B,cAAc,YAAY,CAAA;AAC1B,cAAc,UAAU,CAAA"}

package/dist/types/inhabitation.d.ts

@@ -1,24 +0,0 @@
-/**
- * Type inhabitation utilities.
- */
-/**
- * Checks if a type is inhabited (has at least one value).
- *
- * @example
- * ```typescript
- * check<string>().isInhabited() // passes
- * check<never>().isInhabited() // fails
- * ```
- */
-export type IsInhabited<T> = [T] extends [never] ? false : true;
-/**
- * Checks if a type is uninhabited (has no values).
- *
- * @example
- * ```typescript
- * check<never>().isUninhabited() // passes
- * check<string>().isUninhabited() // fails
- * ```
- */
-export type IsUninhabited<T> = [T] extends [never] ? true : false;
-//# sourceMappingURL=inhabitation.d.ts.map

package/dist/types/inhabitation.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"inhabitation.d.ts","sourceRoot":"","sources":["../../src/types/inhabitation.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,IAAI,CAAA;AAE/D;;;;;;;;GAQG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA"}

package/dist/types/inhabitation.js

@@ -1,5 +0,0 @@
-/**
- * Type inhabitation utilities.
- */
-export {};
-//# sourceMappingURL=inhabitation.js.map

package/dist/types/inhabitation.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"inhabitation.js","sourceRoot":"","sources":["../../src/types/inhabitation.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/types/length.d.ts

@@ -1,8 +0,0 @@
-/**
- * Length utility.
- */
-/**
- * Gets the length of an array or tuple type.
- */
-export type Length<T extends readonly any[]> = T['length'];
-//# sourceMappingURL=length.d.ts.map

package/dist/types/length.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"length.d.ts","sourceRoot":"","sources":["../../src/types/length.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,SAAS,GAAG,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAA"}

package/dist/types/length.js

@@ -1,5 +0,0 @@
-/**
- * Length utility.
- */
-export {};
-//# sourceMappingURL=length.js.map

package/dist/types/length.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"length.js","sourceRoot":"","sources":["../../src/types/length.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/types/property.d.ts

@@ -1,12 +0,0 @@
-/**
- * Property testing utilities.
- */
-/**
- * Checks if a type has a specific property.
- */
-export type HasProperty<T, K extends PropertyKey> = K extends keyof T ? true : false;
-/**
- * Gets the type of a specific property from a type.
- */
-export type PropertyType<T, K extends keyof T> = T[K];
-//# sourceMappingURL=property.d.ts.map

package/dist/types/property.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"property.d.ts","sourceRoot":"","sources":["../../src/types/property.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA;AAEpF;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/dist/types/property.js

@@ -1,5 +0,0 @@
-/**
- * Property testing utilities.
- */
-export {};
-//# sourceMappingURL=property.js.map

package/dist/types/property.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"property.js","sourceRoot":"","sources":["../../src/types/property.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/types/special.d.ts

@@ -1,55 +0,0 @@
-/**
- * Special type detection utilities.
- */
-import type { Equal } from './equality';
-/**
- * Checks if a type is `any`.
- * Uses the technique: 0 extends (1 & T) ? true : false
- *
- * @example
- * ```typescript
- * check<any>().isAny() // passes
- * check<string>().isAny() // fails
- * ```
- */
-export type IsAny<T> = 0 extends (1 & T) ? true : false;
-/**
- * Checks if a type is `never`.
- *
- * @example
- * ```typescript
- * check<never>().isNever() // passes
- * check<string>().isNever() // fails
- * ```
- */
-export type IsNever<T> = [T] extends [never] ? true : false;
-/**
- * Checks if a type is `unknown`.
- *
- * @example
- * ```typescript
- * check<unknown>().isUnknown() // passes
- * ```
- */
-export type IsUnknown<T> = [unknown] extends [T] ? ([T] extends [unknown] ? true : false) : false;
-/**
- * Checks if a type is `void`.
- */
-export type IsVoid<T> = Equal<T, void>;
-/**
- * Checks if a type is `undefined`.
- */
-export type IsUndefined<T> = Equal<T, undefined>;
-/**
- * Checks if a type is `null`.
- */
-export type IsNull<T> = Equal<T, null>;
-/**
- * Checks if a type is `null` or `undefined`.
- */
-export type IsNullable<T> = [null] extends [T] ? true : ([undefined] extends [T] ? true : false);
-/**
- * Checks if a type is optional (may be undefined).
- */
-export type IsOptional<T> = [undefined] extends [T] ? true : false;
-//# sourceMappingURL=special.d.ts.map

package/dist/types/special.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"special.d.ts","sourceRoot":"","sources":["../../src/types/special.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC;;;;;;;;;GASG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA;AAEvD;;;;;;;;GAQG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA;AAE3D;;;;;;;GAOG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAA;AAEjG;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAEtC;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAA;AAEhD;;GAEG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;AAEtC;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,CAAA;AAEhG;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA"}

package/dist/types/special.js

@@ -1,5 +0,0 @@
-/**
- * Special type detection utilities.
- */
-export {};
-//# sourceMappingURL=special.js.map

package/dist/types/special.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"special.js","sourceRoot":"","sources":["../../src/types/special.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/types/union.d.ts

@@ -1,34 +0,0 @@
-/**
- * Union and tuple detection utilities.
- */
-/**
- * Checks if a type is a union.
- *
- * @example
- * ```typescript
- * check<'a' | 'b'>().isUnion() // passes
- * check<'a'>().isUnion() // fails
- * ```
- */
-export type IsUnion<T, U = T> = [U] extends [never] ? false : T extends U ? [Exclude<U, never>] extends [T] ? false : true : false;
-/**
- * Checks if a type is a tuple.
- *
- * @example
- * ```typescript
- * check<[string, number]>().isTuple() // passes
- * check<string[]>().isTuple() // fails
- * ```
- */
-export type IsTuple<T> = T extends readonly any[] ? (number extends T['length'] ? false : true) : false;
-/**
- * Checks if a type is an array.
- *
- * @example
- * ```typescript
- * check<string[]>().isArray() // passes
- * check<[string]>().isArray() // fails
- * ```
- */
-export type IsArray<T> = T extends readonly any[] ? (IsTuple<T> extends true ? false : true) : false;
-//# sourceMappingURL=union.d.ts.map

package/dist/types/union.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"union.d.ts","sourceRoot":"","sources":["../../src/types/union.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;;;;;GAQG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAA;AAElI;;;;;;;;GAQG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,GAAG,EAAE,GAAG,CAAC,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,KAAK,CAAA;AAEvG;;;;;;;;GAQG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,KAAK,CAAA"}

package/dist/types/union.js

@@ -1,5 +0,0 @@
-/**
- * Union and tuple detection utilities.
- */
-export {};
-//# sourceMappingURL=union.js.map

package/dist/types/union.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"union.js","sourceRoot":"","sources":["../../src/types/union.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/dist/utils.d.ts

@@ -1,14 +0,0 @@
-/**
- * Additional utilities.
- */
-import type { Equal } from './types/equality';
-/**
- * Type that always resolves to true.
- * Useful for making compile-time assertions.
- */
-export type ExpectTrue<_T extends true> = true;
-/**
- * Type that validates equality and throws if not equal.
- */
-export type ExpectEqual<T, U> = Equal<T, U> extends true ? T : never;
-//# sourceMappingURL=utils.d.ts.map

package/dist/utils.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAE7C;;;GAGG;AAEH,MAAM,MAAM,UAAU,CAAC,EAAE,SAAS,IAAI,IAAI,IAAI,CAAA;AAE9C;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK,CAAA"}

package/dist/utils.js

@@ -1,5 +0,0 @@
-/**
- * Additional utilities.
- */
-export {};
-//# sourceMappingURL=utils.js.map

package/dist/utils.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"utils.js","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA;;GAEG"}