justus 0.5.104 → 0.5.105

package/dist/types.d.ts

@@ -145,10 +145,14 @@ export interface Schema {
 export interface AdditionalProperties<V extends Validator | false> {
     [Symbol.justusAdditionalValidator]: V;
 }
+/** Utility type to "prettify" a type */
+type Prettify<T extends object> = {
+    [K in keyof T]: T[K];
+} & {};
 /** Infer the type validated by a `Schema` */
-export type InferSchema<S> = S extends AdditionalProperties<Validator<infer V>> ? {
+export type InferSchema<S> = S extends AdditionalProperties<Validator<infer V>> ? Prettify<{
     [key in string]: V;
-} & InferSchema2<S> : InferSchema2<S>;
+} & InferSchema2<S>> : Prettify<InferSchema2<S>>;
 /** Infer the property types described by a `Schema` */
 export type InferSchema2<S> = {
     -readonly [key in keyof S as key extends string ? key : never]?: InferValidation<S[key]>;
@@ -156,9 +160,9 @@ export type InferSchema2<S> = {
     -readonly [key in keyof S as key extends string ? undefined extends InferValidation<S[key]> ? never : key : never]-?: InferValidation<S[key]>;
 };
 /** Infer the input type compatible with a `Schema` */
-export type InferInputSchema<S> = S extends AdditionalProperties<Validator<any, infer X>> ? {
+export type InferInputSchema<S> = S extends AdditionalProperties<Validator<any, infer X>> ? Prettify<{
     [key in string]: X;
-} & InferInputSchema2<S> : InferInputSchema2<S>;
+} & InferInputSchema2<S>> : Prettify<InferInputSchema2<S>>;
 /** Infer the input type of the properties described by a `Schema` */
 export type InferInputSchema2<S> = {
     -readonly [key in keyof S as key extends string ? key : never]?: InferInput<S[key]>;
@@ -169,3 +173,4 @@ export type InferInputSchema2<S> = {
 export type Branding<S extends string> = {
     [brand in `__brand_${S}`]: never;
 };
+export {};

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "justus",
-  "version": "0.5.104",
+  "version": "0.5.105",
   "description": "A JavaScript validation library, with types!",
   "main": "./dist/index.cjs",
   "module": "./dist/index.mjs",
@@ -89,7 +89,7 @@
   "license": "Apache-2.0",
   "devDependencies": {
     "@plugjs/build": "^0.6.70",
-    "@plugjs/tsd": "^0.6.78",
+    "@plugjs/tsd": "^0.6.79",
     "typescript": "^5.9.3"
   },
   "directories": {

package/src/types.ts

@@ -263,11 +263,14 @@ export interface AdditionalProperties<V extends Validator | false> {
  * INFER OBJECT TYPE FROM SCHEMA                                              *
  * ========================================================================== */
 
+/** Utility type to "prettify" a type */
+type Prettify<T extends object> = { [ K in keyof T ]: T[K] } & {}
+
 /** Infer the type validated by a `Schema` */
 export type InferSchema<S> =
   S extends AdditionalProperties<Validator<infer V>> ?
-    { [ key in string ] : V } & InferSchema2<S> :
-    InferSchema2<S>
+    Prettify<{ [ key in string ] : V } & InferSchema2<S>> :
+    Prettify<InferSchema2<S>>
 
 /** Infer the property types described by a `Schema` */
 export type InferSchema2<S> = {
@@ -290,8 +293,8 @@ export type InferSchema2<S> = {
 /** Infer the input type compatible with a `Schema` */
 export type InferInputSchema<S> =
   S extends AdditionalProperties<Validator<any, infer X>> ?
-    { [ key in string ] : X } & InferInputSchema2<S> :
-    InferInputSchema2<S>
+    Prettify<{ [ key in string ] : X } & InferInputSchema2<S>> :
+    Prettify<InferInputSchema2<S>>
 
 /** Infer the input type of the properties described by a `Schema` */
 export type InferInputSchema2<S> = {