typebox 1.0.81 → 1.1.0

package/build/compile/validator.mjs

@@ -1,8 +1,9 @@
 // deno-fmt-ignore-file
+import { Settings } from '../system/settings/index.mjs';
 import { Arguments } from '../system/arguments/index.mjs';
 import { Environment } from '../system/environment/index.mjs';
 import { Base } from '../type/index.mjs';
-import { Errors, Clean, Convert, Create, Default, Decode, Encode, HasCodec, Parser } from '../value/index.mjs';
+import { Errors, Clean, Convert, Create, Default, Decode, Encode, HasCodec, Parser, ParseError } from '../value/index.mjs';
 import { Build } from '../schema/index.mjs';
 // ------------------------------------------------------------------
 // Validator<...>
@@ -93,13 +94,14 @@ export class Validator extends Base {
     Clone() {
         return new Validator(this.context, this.type, this.isEvaluated, this.hasCodec, this.code, this.check);
     }
-    // ----------------------------------------------------------------
-    // Parse | Decode | Encode
-    // ----------------------------------------------------------------
     /** Parses a value */
     Parse(value) {
-        const result = this.Check(value) ? value : Parser(this.context, this.type, value);
-        return result;
+        const checked = this.Check(value);
+        if (checked)
+            return value;
+        if (Settings.Get().correctiveParse)
+            return Parser(this.context, this.type, value);
+        throw new ParseError(value, this.Errors(value));
     }
     /** Decodes a value */
     Decode(value) {

package/build/system/settings/settings.d.mts

@@ -38,6 +38,15 @@ export interface TSettings {
      * @default false
      */
     enumerableKind: boolean;
+    /**
+     * Controls whether TypeBox uses corrective Parse. When enabled, TypeBox will attempt to recover invalid
+     * values during Parse by running a sequence of `Value.*` operations to `Convert`, `Default`, and `Clean`
+     * the value, followed by a subsequent `Assert`. Enabling this option may incur significant performance
+     * overhead for invalid values. It is recommended to keep this disabled in performance-sensitive
+     * applications.
+     * @default false
+     */
+    correctiveParse: boolean;
 }
 /** Resets system settings to defaults */
 export declare function Reset(): void;

package/build/system/settings/settings.mjs

@@ -5,7 +5,8 @@ const settings = {
     maxErrors: 8,
     useEval: true,
     exactOptionalPropertyTypes: false,
-    enumerableKind: false
+    enumerableKind: false,
+    correctiveParse: false
 };
 /** Resets system settings to defaults */
 export function Reset() {
@@ -14,6 +15,7 @@ export function Reset() {
     settings.useEval = true;
     settings.exactOptionalPropertyTypes = false;
     settings.enumerableKind = false;
+    settings.correctiveParse = false;
 }
 /** Sets system settings */
 export function Set(options) {

package/build/value/parse/parse.d.mts

@@ -5,17 +5,7 @@ export declare class ParseError extends AssertError {
     constructor(value: unknown, errors: TLocalizedValidationError[]);
 }
 export declare const Parser: import("../pipeline/pipeline.mjs").PipelineInterface;
-/**
- * Parses a value with the given type. The function will Check the value and return
- * early if it matches the provided type. If the value does not match, it is processed
- * through a sequence of Clone, Default, Convert, and Clean operations and checked again.
- * A `ParseError` is thrown if the value fails to match after the processing sequence.
- */
+/**  Parses a value with the given type. */
 export declare function Parse<const Type extends TSchema, Result extends unknown = StaticParse<Type>>(type: Type, value: unknown): Result;
-/**
- * Parses a value with the given type. The function will Check the value and return
- * early if it matches the provided type. If the value does not match, it is processed
- * through a sequence of Clone, Default, Convert, and Clean operations and checked again.
- * A `ParseError` is thrown if the value fails to match after the processing sequence.
- */
+/**  Parses a value with the given type. */
 export declare function Parse<Context extends TProperties, const Type extends TSchema, Result extends unknown = StaticParse<Type, Context>>(context: Context, type: Type, value: unknown): Result;

package/build/value/parse/parse.mjs

@@ -1,4 +1,5 @@
 // deno-fmt-ignore-file
+import { Settings } from '../../system/system.mjs';
 import { Arguments } from '../../system/arguments/index.mjs';
 import { AssertError } from '../assert/index.mjs';
 import { Check } from '../check/index.mjs';
@@ -31,17 +32,16 @@ export const Parser = Pipeline([
     (context, type, value) => Clean(context, type, value),
     (context, type, value) => Assert(context, type, value)
 ]);
-/**
- * Parses a value with the given type. The function will Check the value and return
- * early if it matches the provided type. If the value does not match, it is processed
- * through a sequence of Clone, Default, Convert, and Clean operations and checked again.
- * A `ParseError` is thrown if the value fails to match after the processing sequence.
- */
+/**  Parses a value with the given type. */
 export function Parse(...args) {
     const [context, type, value] = Arguments.Match(args, {
         3: (context, type, value) => [context, type, value],
         2: (type, value) => [{}, type, value],
     });
-    const result = Check(context, type, value) ? value : Parser(context, type, value);
-    return result;
+    const checked = Check(context, type, value);
+    if (checked)
+        return value;
+    if (Settings.Get().correctiveParse)
+        return Parser(context, type, value);
+    throw new ParseError(value, Errors(context, type, value));
 }

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "typebox",
   "description": "Json Schema Type Builder with Static Type Resolution for TypeScript",
-  "version": "1.0.81",
+  "version": "1.1.0",
   "keywords": [
     "typescript",
     "jsonschema"