typebox 1.0.80 → 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/clean/from-intersect.mjs

@@ -1,16 +1,17 @@
 // deno-fmt-ignore-file
-import { Evaluate, IsObject, Options } from '../../type/index.mjs';
+import { Evaluate, Instantiate, IsObject, Options } from '../../type/index.mjs';
 import { Guard } from '../../guard/index.mjs';
 import { FromType } from './from-type.mjs';
 // ------------------------------------------------------------------
 // EvaluateIntersection
 // ------------------------------------------------------------------
-function EvaluateIntersection(type) {
+function EvaluateIntersection(context, type) {
     // Note: reinterpret unevaluatedProperties as additionalProperties
     const additionalProperties = Guard.HasPropertyKey(type, 'unevaluatedProperties')
         ? { additionalProperties: type.unevaluatedProperties }
         : {};
-    const evaluated = Evaluate(type);
+    const instantiated = Instantiate(context, type);
+    const evaluated = Evaluate(instantiated);
     return IsObject(evaluated)
         ? Options(evaluated, additionalProperties)
         : evaluated;
@@ -20,6 +21,6 @@ function EvaluateIntersection(type) {
 // ------------------------------------------------------------------
 export function FromIntersect(context, type, value) {
     // Note: Evaluate and route back to FromType in evaluated form (likely an Object)
-    const evaluated = EvaluateIntersection(type);
+    const evaluated = EvaluateIntersection(context, type);
     return FromType(context, evaluated, value);
 }

package/build/value/convert/from-intersect.mjs

@@ -1,7 +1,8 @@
 // deno-fmt-ignore-file
-import { Evaluate } from '../../type/index.mjs';
+import { Evaluate, Instantiate } from '../../type/index.mjs';
 import { FromType } from './from-type.mjs';
 export function FromIntersect(context, type, value) {
-    const evaluatedType = Evaluate(type);
-    return FromType(context, evaluatedType, value);
+    const instantiated = Instantiate(context, type);
+    const evaluated = Evaluate(instantiated);
+    return FromType(context, evaluated, value);
 }

package/build/value/create/from-intersect.mjs

@@ -1,6 +1,8 @@
 // deno-fmt-ignore-file
-import { Evaluate } from '../../type/index.mjs';
+import { Evaluate, Instantiate } from '../../type/index.mjs';
 import { FromType } from './from-type.mjs';
 export function FromIntersect(context, type) {
-    return FromType(context, Evaluate(type));
+    const instantiated = Instantiate(context, type);
+    const evaluated = Evaluate(instantiated);
+    return FromType(context, evaluated);
 }

package/build/value/default/from-intersect.mjs

@@ -1,8 +1,9 @@
 // deno-fmt-ignore-file
 // deno-lint-ignore-file
-import { Evaluate } from '../../type/index.mjs';
+import { Evaluate, Instantiate } from '../../type/index.mjs';
 import { FromType } from './from-type.mjs';
 export function FromIntersect(context, type, value) {
-    const evaluted = Evaluate(type);
-    return FromType(context, evaluted, value);
+    const instantiated = Instantiate(context, type);
+    const evaluated = Evaluate(instantiated);
+    return FromType(context, evaluated, value);
 }

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/build/value/repair/from-intersect.mjs

@@ -1,7 +1,8 @@
 // deno-fmt-ignore-file
-import { Evaluate } from '../../type/index.mjs';
+import { Instantiate, Evaluate } from '../../type/index.mjs';
 import { FromType } from './from-type.mjs';
 export function FromIntersect(context, type, value) {
-    const evaluated = Evaluate(type);
+    const instantiated = Instantiate(context, type);
+    const evaluated = Evaluate(instantiated);
     return FromType(context, evaluated, value);
 }

package/package.json

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