@deessejs/type-testing 0.3.0 → 0.3.2

package/dist/types/deep.d.ts

@@ -0,0 +1,60 @@
+/**
+ * Deep type manipulation utilities.
+ */
+/**
+ * Makes all properties of a type readonly recursively.
+ * Properly handles arrays by making array elements readonly as well.
+ *
+ * @example
+ * ```typescript
+ * type Test = DeepReadonly<{ a: string; b: { c: number } }>
+ * // { readonly a: string; readonly b: { readonly c: number } }
+ *
+ * type Test2 = DeepReadonly<{ items: { name: string }[] }>
+ * // { readonly items: readonly { readonly name: string }[] }
+ * ```
+ */
+export type DeepReadonly<T> = T extends readonly (infer R)[] ? readonly DeepReadonly<R>[] : T extends (infer R)[] ? readonly DeepReadonly<R>[] : {
+    readonly [K in keyof T]: T[K] extends object ? DeepReadonly<T[K]> : T[K];
+};
+/**
+ * Makes all properties of a type optional recursively.
+ * Properly handles arrays by making array elements optional as well.
+ *
+ * @example
+ * ```typescript
+ * type Test = DeepPartial<{ a: string; b: { c: number } }>
+ * // { a?: string; b?: { c?: number } | undefined }
+ *
+ * type Test2 = DeepPartial<{ items: { name: string }[] }>
+ * // { items?: { name?: string | undefined }[] | undefined }
+ * ```
+ */
+export type DeepPartial<T> = T extends readonly (infer R)[] ? DeepPartial<R>[] : T extends (infer R)[] ? DeepPartial<R>[] : {
+    [K in keyof T]?: T[K] extends object ? DeepPartial<T[K]> : T[K];
+};
+/**
+ * Gets the keys of required properties from a type.
+ *
+ * @example
+ * ```typescript
+ * type Test = RequiredKeys<{ a: string; b?: number }>
+ * // 'a'
+ * ```
+ */
+export type RequiredKeys<T> = {
+    [K in keyof T]: {} extends Pick<T, K> ? never : K;
+}[keyof T];
+/**
+ * Gets the keys of optional properties from a type.
+ *
+ * @example
+ * ```typescript
+ * type Test = OptionalKeys<{ a: string; b?: number }>
+ * // 'b'
+ * ```
+ */
+export type OptionalKeys<T> = {
+    [K in keyof T]: {} extends Pick<T, K> ? K : never;
+}[keyof T];
+//# sourceMappingURL=deep.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"deep.d.ts","sourceRoot":"","sources":["../../src/types/deep.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GACxD,SAAS,YAAY,CAAC,CAAC,CAAC,EAAE,GAC1B,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GACrB,SAAS,YAAY,CAAC,CAAC,CAAC,EAAE,GAC1B;IACE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACzE,CAAA;AAEL;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GACvD,WAAW,CAAC,CAAC,CAAC,EAAE,GAChB,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GACrB,WAAW,CAAC,CAAC,CAAC,EAAE,GAChB;KACG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAChE,CAAA;AAEL;;;;;;;;GAQG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI;KAE3B,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC;CAClD,CAAC,MAAM,CAAC,CAAC,CAAA;AAEV;;;;;;;;GAQG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI;KAE3B,CAAC,IAAI,MAAM,CAAC,GAAG,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAClD,CAAC,MAAM,CAAC,CAAC,CAAA"}

package/dist/types/deep.js

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

package/dist/types/deep.js.map

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

package/dist/types/equality.d.ts

@@ -1,6 +1,7 @@
 /**
  * Type equality utilities.
  */
+import type { IsNever } from './special.js';
 /**
  * Checks if two types are strictly equal.
  * Uses a technique that compares the structure while handling
@@ -27,4 +28,21 @@ export type NotEqual<T, U> = Equal<T, U> extends true ? false : true;
  * Useful for simple type comparisons.
  */
 export type SimpleEqual<T, U> = [T, U] extends [U, T] ? true : false;
+/**
+ * Checks if both T and U are `never`.
+ * This is a special case equality check that differs from Equal<T, U>
+ * because Equal<never, never> returns false in TypeScript.
+ *
+ * Note: `any` is not treated as `never` - this utility specifically
+ * checks for the `never` type. Use IsAny if you need to check for `any`.
+ *
+ * @example
+ * ```typescript
+ * type Test = IsNeverEqual<never, never> // true
+ * type Test2 = IsNeverEqual<string, never> // false
+ * type Test3 = IsNeverEqual<never, string> // false
+ * type Test4 = IsNeverEqual<any, any> // false (any is not never)
+ * ```
+ */
+export type IsNeverEqual<T, U> = IsNever<T> extends true ? IsNever<U> extends true ? true : false : false;
 //# sourceMappingURL=equality.d.ts.map

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

@@ -1 +1 @@
-{"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"}
+{"version":3,"file":"equality.d.ts","sourceRoot":"","sources":["../../src/types/equality.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAE3C;;;;;;;;;;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;AAEpE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACpD,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GACrB,IAAI,GACJ,KAAK,GACP,KAAK,CAAA"}

package/dist/types/function.d.ts

@@ -13,4 +13,26 @@ export type ReturnType<T extends (...args: any[]) => any> = T extends (...args:
  * Gets the parameter type at a specific index.
  */
 export type Parameter<T extends (...args: any[]) => any, N extends number> = Parameters<T>[N];
+/**
+ * Checks if a type is a constructor.
+ *
+ * @example
+ * ```typescript
+ * class Foo {}
+ * type Test = IsConstructor<typeof Foo> // true
+ * type Test2 = IsConstructor<Foo> // false
+ * ```
+ */
+export type IsConstructor<T> = T extends new (...args: any[]) => any ? true : false;
+/**
+ * Checks if a type is abstract.
+ *
+ * @example
+ * ```typescript
+ * abstract class Foo {}
+ * type Test = IsAbstract<typeof Foo> // true
+ * type Test2 = IsAbstract<Foo> // false
+ * ```
+ */
+export type IsAbstract<T> = T extends abstract new (...args: any[]) => any ? true : false;
 //# sourceMappingURL=function.d.ts.map

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

@@ -1 +1 @@
-{"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"}
+{"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;AAE7F;;;;;;;;;GASG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,IAAI,GAAG,KAAK,CAAA;AAEnF;;;;;;;;;GASG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,MAAM,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,IAAI,GAAG,KAAK,CAAA"}

package/dist/types/index.d.ts

@@ -8,4 +8,5 @@ export * from './inhabitation.js';
 export * from './property.js';
 export * from './function.js';
 export * from './length.js';
+export * from './deep.js';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,cAAc,eAAe,CAAA;AAC7B,cAAc,cAAc,CAAA;AAC5B,cAAc,YAAY,CAAA;AAC1B,cAAc,mBAAmB,CAAA;AACjC,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,aAAa,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,cAAc,eAAe,CAAA;AAC7B,cAAc,cAAc,CAAA;AAC5B,cAAc,YAAY,CAAA;AAC1B,cAAc,mBAAmB,CAAA;AACjC,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA"}

package/dist/types/index.js

@@ -9,4 +9,5 @@ export * from './inhabitation.js';
 export * from './property.js';
 export * from './function.js';
 export * from './length.js';
+export * from './deep.js';
 //# sourceMappingURL=index.js.map

package/dist/types/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,sBAAsB;AACtB,cAAc,eAAe,CAAA;AAC7B,cAAc,cAAc,CAAA;AAC5B,cAAc,YAAY,CAAA;AAC1B,cAAc,mBAAmB,CAAA;AACjC,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,aAAa,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,sBAAsB;AACtB,cAAc,eAAe,CAAA;AAC7B,cAAc,cAAc,CAAA;AAC5B,cAAc,YAAY,CAAA;AAC1B,cAAc,mBAAmB,CAAA;AACjC,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA"}

package/dist/types/property.d.ts

@@ -1,6 +1,7 @@
 /**
  * Property testing utilities.
  */
+import type { Equal } from './equality';
 /**
  * Checks if a type has a specific property.
  */
@@ -9,4 +10,68 @@ export type HasProperty<T, K extends PropertyKey> = K extends keyof T ? true : f
  * Gets the type of a specific property from a type.
  */
 export type PropertyType<T, K extends keyof T> = T[K];
+/**
+ * Checks if all properties of a type are readonly.
+ *
+ * @example
+ * ```typescript
+ * type Test = IsReadonly<{ readonly a: string }> // true
+ * type Test2 = IsReadonly<{ a: string }> // false
+ * ```
+ */
+export type IsReadonly<T> = Equal<{
+    [K in keyof T]: T[K];
+}, {
+    readonly [K in keyof T]: T[K];
+}> extends true ? true : false;
+/**
+ * Checks if all properties of a type are required (not optional).
+ *
+ * @example
+ * ```typescript
+ * type Test = IsRequired<{ a: string }> // true
+ * type Test2 = IsRequired<{ a?: string }> // false
+ * ```
+ */
+export type IsRequired<T> = Equal<{
+    [K in keyof T]-?: T[K];
+}, {
+    [K in keyof T]: T[K];
+}> extends true ? true : false;
+/**
+ * Checks if a property is public (not private or protected).
+ *
+ * @example
+ * ```typescript
+ * type Test = IsPublic<{ a: string }, 'a'> // true
+ * ```
+ */
+export type IsPublic<T, K extends PropertyKey> = K extends keyof T ? K extends `__${string}` ? false : true : false;
+/**
+ * Checks if a property is private.
+ *
+ * @example
+ * ```typescript
+ * type Test = IsPrivate<{ __private: string }, '__private'> // true
+ * type Test2 = IsPrivate<{ a: string }, 'a'> // false
+ * ```
+ */
+export type IsPrivate<T, K extends PropertyKey> = K extends keyof T ? K extends `__${string}` ? true : false : false;
+/**
+ * Checks if a property is protected.
+ * Uses the naming convention: properties starting with `_` (but not `__`)
+ * are considered protected.
+ *
+ * Note: TypeScript doesn't have actual `protected` access modifiers for
+ * object properties - this uses the common naming convention where
+ * protected properties are prefixed with `_`.
+ *
+ * @example
+ * ```typescript
+ * type Test = IsProtected<{ _protected: string }, '_protected'> // true
+ * type Test2 = IsProtected<{ a: string }, 'a'> // false
+ * type Test3 = IsProtected<{ __private: string }, '__private'> // false (private)
+ * ```
+ */
+export type IsProtected<T, K extends PropertyKey> = K extends keyof T ? K extends `_${string}` ? K extends `__${string}` ? false : true : false : false;
 //# sourceMappingURL=property.d.ts.map

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

@@ -1 +1 @@
-{"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"}
+{"version":3,"file":"property.d.ts","sourceRoot":"","sources":["../../src/types/property.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAEvC;;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;AAErD;;;;;;;;GAQG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,KAAK,CAAC;KAC/B,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACrB,EAAE;IACD,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAC9B,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAA;AAE9B;;;;;;;;GAQG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,KAAK,CAAC;KAC/B,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACvB,EAAE;KACA,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACrB,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAA;AAE9B;;;;;;;GAOG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,MAAM,CAAC,GAC9D,CAAC,SAAS,KAAK,MAAM,EAAE,GACrB,KAAK,GACL,IAAI,GACN,KAAK,CAAA;AAET;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,MAAM,CAAC,GAC/D,CAAC,SAAS,KAAK,MAAM,EAAE,GACrB,IAAI,GACJ,KAAK,GACP,KAAK,CAAA;AAET;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,MAAM,CAAC,GACjE,CAAC,SAAS,IAAI,MAAM,EAAE,GACpB,CAAC,SAAS,KAAK,MAAM,EAAE,GACrB,KAAK,GACL,IAAI,GACN,KAAK,GACP,KAAK,CAAA"}

package/package.json

@@ -1,9 +1,17 @@
 {
   "name": "@deessejs/type-testing",
-  "version": "0.3.0",
+  "version": "0.3.2",
   "type": "module",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",
+  "homepage": "https://types.deessejs.com",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/nesalia-inc/type-testing.git"
+  },
+  "bugs": {
+    "url": "https://github.com/nesalia-inc/type-testing/issues"
+  },
   "exports": {
     ".": {
       "import": "./dist/index.js",