@webergency-utils/typechecker 0.1.4 → 0.1.6

package/dist/index.d.ts

@@ -1,3 +1,4 @@
+import { ResolveDefaults } from './runtime/tags.js';
 export interface IValidation<T> {
     success: boolean;
     data?: T;
@@ -11,10 +12,10 @@ export interface ValidationOptions {
     schema?: any;
     errorFactory?: (errors: any[]) => Error;
 }
-export declare function is<T>(input: unknown, options?: ValidationMode | ValidationOptions): input is T;
-export declare function assert<T>(input: unknown, options?: ValidationMode | ValidationOptions): T;
-export declare function assertGuard<T>(input: unknown, options?: ValidationMode | ValidationOptions): asserts input is T;
-export declare function validate<T>(input: unknown, options?: ValidationMode | ValidationOptions): IValidation<T>;
+export declare function is<T>(input: unknown, options?: ValidationMode | ValidationOptions): input is ResolveDefaults<T>;
+export declare function assert<T>(input: unknown, options?: ValidationMode | ValidationOptions): ResolveDefaults<T>;
+export declare function assertGuard<T>(input: unknown, options?: ValidationMode | ValidationOptions): asserts input is ResolveDefaults<T>;
+export declare function validate<T>(input: unknown, options?: ValidationMode | ValidationOptions): IValidation<ResolveDefaults<T>>;
 export declare function jsonSchema<T>(): any;
 export * from './runtime/validators.js';
 export * from './runtime/tags.js';

package/dist/runtime/tags.d.ts

@@ -42,3 +42,18 @@ type ApplyModifiers<T, EntriesList extends any[]> = EntriesList extends [[infer
  * Utility type to decorate nested properties of a type with validation/transform modifiers without retyping the structure.
  */
 export type WithModifiers<T, M> = ApplyModifiers<T, TuplifyUnion<Entries<M>>>;
+/**
+ * Recursively resolves object properties, removing the optional `?` modifier
+ * from any properties that have a `tag.Default` applied.
+ */
+export type ResolveDefaults<T> = T extends Date | symbol | string | number | boolean | bigint | null | undefined | Function ? T : T extends Array<infer U> ? Array<ResolveDefaults<U>> : T extends object ? {
+    [K in keyof T as NonNullable<T[K]> extends {
+        readonly __default: any;
+    } ? K : never]-?: ResolveDefaults<Exclude<T[K], undefined>>;
+} & {
+    [K in keyof T as NonNullable<T[K]> extends {
+        readonly __default: any;
+    } ? never : K]: ResolveDefaults<T[K]>;
+} extends infer O ? {
+    [K in keyof O]: O[K];
+} : never : T;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@webergency-utils/typechecker",
-  "version": "0.1.4",
+  "version": "0.1.6",
   "type": "module",
   "description": "TypeScript compiler plugin for runtime validation",
   "author": "radixxko",