@sinclair/typebox 0.34.27 → 0.34.29

package/build/cjs/syntax/static.d.ts

@@ -16,42 +16,23 @@ type SemiColon = ';';
 type SingleQuote = "'";
 type DoubleQuote = '"';
 type Tilde = '`';
-interface DelimitTailMapping<_ = unknown> extends Static.IMapping {
-    output: (this['input'] extends [_, infer A, _, infer B, _, infer C, _, infer D, _, infer E, _, infer F, _, infer G, _, infer H, _, infer I, _, infer Rest extends unknown[]] ? [A, B, C, D, E, F, G, H, I, ...Rest] : this['input'] extends [_, infer A, _, infer B, _, infer C, _, infer D, _, infer E, _, infer F, _, infer G, _, infer H, _, infer Rest extends unknown[]] ? [A, B, C, D, E, F, G, H, ...Rest] : this['input'] extends [_, infer A, _, infer B, _, infer C, _, infer D, _, infer E, _, infer F, _, infer G, _, infer Rest extends unknown[]] ? [A, B, C, D, E, F, G, ...Rest] : this['input'] extends [_, infer A, _, infer B, _, infer C, _, infer D, _, infer E, _, infer F, _, infer Rest extends unknown[]] ? [A, B, C, D, E, F, ...Rest] : this['input'] extends [_, infer A, _, infer B, _, infer C, _, infer D, _, infer E, _, infer Rest extends unknown[]] ? [A, B, C, D, E, ...Rest] : this['input'] extends [_, infer A, _, infer B, _, infer C, _, infer D, _, infer Rest extends unknown[]] ? [A, B, C, D, ...Rest] : this['input'] extends [_, infer A, _, infer B, _, infer C, _, infer Rest extends unknown[]] ? [A, B, C, ...Rest] : this['input'] extends [_, infer A, _, infer B, _, infer Rest extends unknown[]] ? [A, B, ...Rest] : this['input'] extends [_, infer A, _, infer Rest extends unknown[]] ? [A, ...Rest] : this['input'] extends [_, infer Rest extends unknown[]] ? [...Rest] : this['input'] extends [_] ? [] : [
-    ]);
+type DelimitHeadReduce<Elements extends unknown[], Result extends unknown[] = []> = (Elements extends [infer Left extends unknown, ...infer Right extends unknown[]] ? Left extends [infer Element, infer _Delimiter] ? DelimitHeadReduce<Right, [...Result, Element]> : DelimitHeadReduce<Right, Result> : Result);
+interface DelimitHeadMapping extends Static.IMapping {
+    output: this['input'] extends unknown[] ? DelimitHeadReduce<this['input']> : [];
 }
-type DelimitTail<T extends Static.IParser, _ extends Static.IParser> = Static.Union<[
-    Static.Tuple<[_, T, _, T, _, T, _, T, _, T, _, T, _, T, _, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, T, _, T, _, T, _, T, _, T, _, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, T, _, T, _, T, _, T, _, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, T, _, T, _, T, _, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, T, _, T, _, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, T, _, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, Delimit<T, _>]>,
-    Static.Tuple<[_]>,
+type DelimitHead<Element extends Static.IParser, Delimiter extends Static.IParser> = (Static.Array<Static.Tuple<[Element, Delimiter]>, DelimitHeadMapping>);
+type DelimitTail<Element extends Static.IParser> = Static.Union<[
+    Static.Tuple<[Element]>,
     Static.Tuple<[]>
-], DelimitTailMapping>;
+]>;
 interface DelimitMapping extends Static.IMapping {
-    output: (this['input'] extends [infer Element extends unknown, infer Rest extends unknown[]] ? [Element, ...Rest] : []);
+    output: this['input'] extends [infer Left extends unknown[], infer Right extends unknown[]] ? [...Left, ...Right] : [];
 }
-type Delimit<Parser extends Static.IParser, Delimiter extends Static.IParser> = (Static.Union<[
-    Static.Tuple<[Parser, DelimitTail<Parser, Delimiter>]>,
-    Static.Tuple<[]>
-], DelimitMapping>);
+type Delimit<Element extends Static.IParser, Delimiter extends Static.IParser> = Static.Tuple<[
+    DelimitHead<Element, Delimiter>,
+    DelimitTail<Element>
+], DelimitMapping>;
 type Dereference<Context extends t.TProperties, Ref extends string> = (Ref extends keyof Context ? Context[Ref] : t.TRef<Ref>);
-interface GenericArgumentListMapping extends Static.IMapping {
-    output: (this['input'] extends [infer Ident extends string, Comma, infer Rest extends unknown[]] ? [Ident, ...Rest] : this['input'] extends [infer Ident extends string, Comma] ? [Ident] : this['input'] extends [infer Ident extends string] ? [Ident] : [
-    ]);
-}
-type GenericArgumentList = Static.Union<[
-    Static.Tuple<[Static.Ident, Static.Const<Comma>, GenericArgumentList]>,
-    Static.Tuple<[Static.Ident, Static.Const<Comma>]>,
-    Static.Tuple<[Static.Ident]>,
-    Static.Tuple<[]>
-], GenericArgumentListMapping>;
 type GenericArgumentsContext<Args extends string[], Context extends t.TProperties, Result extends t.TProperties = {}> = (Args extends [...infer Left extends string[], infer Right extends string] ? GenericArgumentsContext<Left, Context, Result & {
     [_ in Right]: t.TArgument<Left['length']>;
 }> : t.Evaluate<Result & Context>);
@@ -60,7 +41,7 @@ interface GenericArgumentsMapping extends Static.IMapping {
 }
 type GenericArguments = Static.Tuple<[
     Static.Const<LAngle>,
-    GenericArgumentList,
+    Delimit<Static.Ident, Static.Const<Comma>>,
     Static.Const<RAngle>
 ], GenericArgumentsMapping>;
 interface GenericReferenceMapping extends Static.IMapping {
@@ -243,7 +224,7 @@ type PropertyDelimiter = Static.Union<[
     Static.Tuple<[Static.Const<SemiColon>]>,
     Static.Tuple<[Static.Const<Newline>]>
 ]>;
-type PropertiesReduce<PropertiesArray extends t.TProperties[], Result extends t.TProperties = {}> = (PropertiesArray extends [infer Left extends t.TProperties, ...infer Right extends t.TProperties[]] ? PropertiesReduce<Right, t.Evaluate<Result & Left>> : Result);
+type PropertiesReduce<PropertiesArray extends t.TProperties[], Result extends t.TProperties = {}> = (PropertiesArray extends [infer Left extends t.TProperties, ...infer Right extends t.TProperties[]] ? PropertiesReduce<Right, Result & Left> : t.Evaluate<Result>);
 interface PropertiesMapping extends Static.IMapping {
     output: this['input'] extends t.TProperties[] ? PropertiesReduce<this['input']> : never;
 }

package/build/cjs/value/parse/parse.d.ts

@@ -4,7 +4,7 @@ import { StaticDecode } from '../../type/static/index';
 export declare class ParseError extends TypeBoxError {
     constructor(message: string);
 }
-export type TParseOperation = 'Clone' | 'Clean' | 'Default' | 'Convert' | 'Assert' | 'Decode' | 'Encode' | ({} & string);
+export type TParseOperation = 'Assert' | 'Cast' | 'Clean' | 'Clone' | 'Convert' | 'Decode' | 'Default' | 'Encode' | ({} & string);
 export type TParseFunction = (type: TSchema, references: TSchema[], value: unknown) => unknown;
 export declare namespace ParseRegistry {
     function Delete(key: string): void;

package/build/cjs/value/parse/parse.js

@@ -6,14 +6,15 @@ exports.Parse = Parse;
 const index_1 = require("../../type/error/index");
 const index_2 = require("../transform/index");
 const index_3 = require("../assert/index");
-const index_4 = require("../default/index");
-const index_5 = require("../convert/index");
-const index_6 = require("../clean/index");
-const index_7 = require("../clone/index");
+const index_4 = require("../cast/index");
+const index_5 = require("../clean/index");
+const index_6 = require("../clone/index");
+const index_7 = require("../convert/index");
+const index_8 = require("../default/index");
 // ------------------------------------------------------------------
 // Guards
 // ------------------------------------------------------------------
-const index_8 = require("../guard/index");
+const index_9 = require("../guard/index");
 // ------------------------------------------------------------------
 // Error
 // ------------------------------------------------------------------
@@ -27,12 +28,13 @@ exports.ParseError = ParseError;
 var ParseRegistry;
 (function (ParseRegistry) {
     const registry = new Map([
-        ['Clone', (_type, _references, value) => (0, index_7.Clone)(value)],
-        ['Clean', (type, references, value) => (0, index_6.Clean)(type, references, value)],
-        ['Default', (type, references, value) => (0, index_4.Default)(type, references, value)],
-        ['Convert', (type, references, value) => (0, index_5.Convert)(type, references, value)],
         ['Assert', (type, references, value) => { (0, index_3.Assert)(type, references, value); return value; }],
+        ['Cast', (type, references, value) => (0, index_4.Cast)(type, references, value)],
+        ['Clean', (type, references, value) => (0, index_5.Clean)(type, references, value)],
+        ['Clone', (_type, _references, value) => (0, index_6.Clone)(value)],
+        ['Convert', (type, references, value) => (0, index_7.Convert)(type, references, value)],
         ['Decode', (type, references, value) => ((0, index_2.HasTransform)(type, references) ? (0, index_2.TransformDecode)(type, references, value) : value)],
+        ['Default', (type, references, value) => (0, index_8.Default)(type, references, value)],
         ['Encode', (type, references, value) => ((0, index_2.HasTransform)(type, references) ? (0, index_2.TransformEncode)(type, references, value) : value)],
     ]);
     // Deletes an entry from the registry
@@ -52,7 +54,7 @@ var ParseRegistry;
     ParseRegistry.Get = Get;
 })(ParseRegistry || (exports.ParseRegistry = ParseRegistry = {}));
 // ------------------------------------------------------------------
-// Default Parse Sequence
+// Default Parse Pipeline
 // ------------------------------------------------------------------
 // prettier-ignore
 exports.ParseDefault = [
@@ -69,7 +71,7 @@ exports.ParseDefault = [
 function ParseValue(operations, type, references, value) {
     return operations.reduce((value, operationKey) => {
         const operation = ParseRegistry.Get(operationKey);
-        if ((0, index_8.IsUndefined)(operation))
+        if ((0, index_9.IsUndefined)(operation))
             throw new ParseError(`Unable to find Parse operation '${operationKey}'`);
         return operation(type, references, value);
     }, value);
@@ -78,7 +80,7 @@ function ParseValue(operations, type, references, value) {
 function Parse(...args) {
     // prettier-ignore
     const [operations, schema, references, value] = (args.length === 4 ? [args[0], args[1], args[2], args[3]] :
-        args.length === 3 ? (0, index_8.IsArray)(args[0]) ? [args[0], args[1], [], args[2]] : [exports.ParseDefault, args[0], args[1], args[2]] :
+        args.length === 3 ? (0, index_9.IsArray)(args[0]) ? [args[0], args[1], [], args[2]] : [exports.ParseDefault, args[0], args[1], args[2]] :
             args.length === 2 ? [exports.ParseDefault, args[0], [], args[1]] :
                 (() => { throw new ParseError('Invalid Arguments'); })());
     return ParseValue(operations, schema, references, value);

package/build/esm/syntax/static.d.mts

@@ -16,42 +16,23 @@ type SemiColon = ';';
 type SingleQuote = "'";
 type DoubleQuote = '"';
 type Tilde = '`';
-interface DelimitTailMapping<_ = unknown> extends Static.IMapping {
-    output: (this['input'] extends [_, infer A, _, infer B, _, infer C, _, infer D, _, infer E, _, infer F, _, infer G, _, infer H, _, infer I, _, infer Rest extends unknown[]] ? [A, B, C, D, E, F, G, H, I, ...Rest] : this['input'] extends [_, infer A, _, infer B, _, infer C, _, infer D, _, infer E, _, infer F, _, infer G, _, infer H, _, infer Rest extends unknown[]] ? [A, B, C, D, E, F, G, H, ...Rest] : this['input'] extends [_, infer A, _, infer B, _, infer C, _, infer D, _, infer E, _, infer F, _, infer G, _, infer Rest extends unknown[]] ? [A, B, C, D, E, F, G, ...Rest] : this['input'] extends [_, infer A, _, infer B, _, infer C, _, infer D, _, infer E, _, infer F, _, infer Rest extends unknown[]] ? [A, B, C, D, E, F, ...Rest] : this['input'] extends [_, infer A, _, infer B, _, infer C, _, infer D, _, infer E, _, infer Rest extends unknown[]] ? [A, B, C, D, E, ...Rest] : this['input'] extends [_, infer A, _, infer B, _, infer C, _, infer D, _, infer Rest extends unknown[]] ? [A, B, C, D, ...Rest] : this['input'] extends [_, infer A, _, infer B, _, infer C, _, infer Rest extends unknown[]] ? [A, B, C, ...Rest] : this['input'] extends [_, infer A, _, infer B, _, infer Rest extends unknown[]] ? [A, B, ...Rest] : this['input'] extends [_, infer A, _, infer Rest extends unknown[]] ? [A, ...Rest] : this['input'] extends [_, infer Rest extends unknown[]] ? [...Rest] : this['input'] extends [_] ? [] : [
-    ]);
+type DelimitHeadReduce<Elements extends unknown[], Result extends unknown[] = []> = (Elements extends [infer Left extends unknown, ...infer Right extends unknown[]] ? Left extends [infer Element, infer _Delimiter] ? DelimitHeadReduce<Right, [...Result, Element]> : DelimitHeadReduce<Right, Result> : Result);
+interface DelimitHeadMapping extends Static.IMapping {
+    output: this['input'] extends unknown[] ? DelimitHeadReduce<this['input']> : [];
 }
-type DelimitTail<T extends Static.IParser, _ extends Static.IParser> = Static.Union<[
-    Static.Tuple<[_, T, _, T, _, T, _, T, _, T, _, T, _, T, _, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, T, _, T, _, T, _, T, _, T, _, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, T, _, T, _, T, _, T, _, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, T, _, T, _, T, _, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, T, _, T, _, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, T, _, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, T, _, Delimit<T, _>]>,
-    Static.Tuple<[_, Delimit<T, _>]>,
-    Static.Tuple<[_]>,
+type DelimitHead<Element extends Static.IParser, Delimiter extends Static.IParser> = (Static.Array<Static.Tuple<[Element, Delimiter]>, DelimitHeadMapping>);
+type DelimitTail<Element extends Static.IParser> = Static.Union<[
+    Static.Tuple<[Element]>,
     Static.Tuple<[]>
-], DelimitTailMapping>;
+]>;
 interface DelimitMapping extends Static.IMapping {
-    output: (this['input'] extends [infer Element extends unknown, infer Rest extends unknown[]] ? [Element, ...Rest] : []);
+    output: this['input'] extends [infer Left extends unknown[], infer Right extends unknown[]] ? [...Left, ...Right] : [];
 }
-type Delimit<Parser extends Static.IParser, Delimiter extends Static.IParser> = (Static.Union<[
-    Static.Tuple<[Parser, DelimitTail<Parser, Delimiter>]>,
-    Static.Tuple<[]>
-], DelimitMapping>);
+type Delimit<Element extends Static.IParser, Delimiter extends Static.IParser> = Static.Tuple<[
+    DelimitHead<Element, Delimiter>,
+    DelimitTail<Element>
+], DelimitMapping>;
 type Dereference<Context extends t.TProperties, Ref extends string> = (Ref extends keyof Context ? Context[Ref] : t.TRef<Ref>);
-interface GenericArgumentListMapping extends Static.IMapping {
-    output: (this['input'] extends [infer Ident extends string, Comma, infer Rest extends unknown[]] ? [Ident, ...Rest] : this['input'] extends [infer Ident extends string, Comma] ? [Ident] : this['input'] extends [infer Ident extends string] ? [Ident] : [
-    ]);
-}
-type GenericArgumentList = Static.Union<[
-    Static.Tuple<[Static.Ident, Static.Const<Comma>, GenericArgumentList]>,
-    Static.Tuple<[Static.Ident, Static.Const<Comma>]>,
-    Static.Tuple<[Static.Ident]>,
-    Static.Tuple<[]>
-], GenericArgumentListMapping>;
 type GenericArgumentsContext<Args extends string[], Context extends t.TProperties, Result extends t.TProperties = {}> = (Args extends [...infer Left extends string[], infer Right extends string] ? GenericArgumentsContext<Left, Context, Result & {
     [_ in Right]: t.TArgument<Left['length']>;
 }> : t.Evaluate<Result & Context>);
@@ -60,7 +41,7 @@ interface GenericArgumentsMapping extends Static.IMapping {
 }
 type GenericArguments = Static.Tuple<[
     Static.Const<LAngle>,
-    GenericArgumentList,
+    Delimit<Static.Ident, Static.Const<Comma>>,
     Static.Const<RAngle>
 ], GenericArgumentsMapping>;
 interface GenericReferenceMapping extends Static.IMapping {
@@ -243,7 +224,7 @@ type PropertyDelimiter = Static.Union<[
     Static.Tuple<[Static.Const<SemiColon>]>,
     Static.Tuple<[Static.Const<Newline>]>
 ]>;
-type PropertiesReduce<PropertiesArray extends t.TProperties[], Result extends t.TProperties = {}> = (PropertiesArray extends [infer Left extends t.TProperties, ...infer Right extends t.TProperties[]] ? PropertiesReduce<Right, t.Evaluate<Result & Left>> : Result);
+type PropertiesReduce<PropertiesArray extends t.TProperties[], Result extends t.TProperties = {}> = (PropertiesArray extends [infer Left extends t.TProperties, ...infer Right extends t.TProperties[]] ? PropertiesReduce<Right, Result & Left> : t.Evaluate<Result>);
 interface PropertiesMapping extends Static.IMapping {
     output: this['input'] extends t.TProperties[] ? PropertiesReduce<this['input']> : never;
 }

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

@@ -4,7 +4,7 @@ import { StaticDecode } from '../../type/static/index.mjs';
 export declare class ParseError extends TypeBoxError {
     constructor(message: string);
 }
-export type TParseOperation = 'Clone' | 'Clean' | 'Default' | 'Convert' | 'Assert' | 'Decode' | 'Encode' | ({} & string);
+export type TParseOperation = 'Assert' | 'Cast' | 'Clean' | 'Clone' | 'Convert' | 'Decode' | 'Default' | 'Encode' | ({} & string);
 export type TParseFunction = (type: TSchema, references: TSchema[], value: unknown) => unknown;
 export declare namespace ParseRegistry {
     function Delete(key: string): void;

package/build/esm/value/parse/parse.mjs

@@ -1,10 +1,11 @@
 import { TypeBoxError } from '../../type/error/index.mjs';
 import { TransformDecode, TransformEncode, HasTransform } from '../transform/index.mjs';
 import { Assert } from '../assert/index.mjs';
-import { Default } from '../default/index.mjs';
-import { Convert } from '../convert/index.mjs';
+import { Cast } from '../cast/index.mjs';
 import { Clean } from '../clean/index.mjs';
 import { Clone } from '../clone/index.mjs';
+import { Convert } from '../convert/index.mjs';
+import { Default } from '../default/index.mjs';
 // ------------------------------------------------------------------
 // Guards
 // ------------------------------------------------------------------
@@ -21,12 +22,13 @@ export class ParseError extends TypeBoxError {
 export var ParseRegistry;
 (function (ParseRegistry) {
     const registry = new Map([
-        ['Clone', (_type, _references, value) => Clone(value)],
+        ['Assert', (type, references, value) => { Assert(type, references, value); return value; }],
+        ['Cast', (type, references, value) => Cast(type, references, value)],
         ['Clean', (type, references, value) => Clean(type, references, value)],
-        ['Default', (type, references, value) => Default(type, references, value)],
+        ['Clone', (_type, _references, value) => Clone(value)],
         ['Convert', (type, references, value) => Convert(type, references, value)],
-        ['Assert', (type, references, value) => { Assert(type, references, value); return value; }],
         ['Decode', (type, references, value) => (HasTransform(type, references) ? TransformDecode(type, references, value) : value)],
+        ['Default', (type, references, value) => Default(type, references, value)],
         ['Encode', (type, references, value) => (HasTransform(type, references) ? TransformEncode(type, references, value) : value)],
     ]);
     // Deletes an entry from the registry
@@ -46,7 +48,7 @@ export var ParseRegistry;
     ParseRegistry.Get = Get;
 })(ParseRegistry || (ParseRegistry = {}));
 // ------------------------------------------------------------------
-// Default Parse Sequence
+// Default Parse Pipeline
 // ------------------------------------------------------------------
 // prettier-ignore
 export const ParseDefault = [

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sinclair/typebox",
-  "version": "0.34.27",
+  "version": "0.34.29",
   "description": "Json Schema Type Builder with Static Type Resolution for TypeScript",
   "keywords": [
     "typescript",

package/readme.md

@@ -544,7 +544,7 @@ The following table lists the supported Json types. These types are fully compat
 
 ### JavaScript Types
 
-TypeBox provides an extended type set that can be used to create schematics for common JavaScript constructs. These types can not be used with any standard Json Schema validator; but can be used to frame schematics for interfaces that may receive Json validated data. JavaScript types are prefixed with the `[JavaScript]` jsdoc comment for convenience. The following table lists the supported types.
+TypeBox provides an extended type set that can be used to create schematics for common JavaScript constructs. These types can not be used with any standard Json Schema validator; but can be used to frame schematics for interfaces that may receive Json validated data. JavaScript types are prefixed with the `[JavaScript]` JSDoc comment for convenience. The following table lists the supported types.
 
 ```typescript
 ┌────────────────────────────────┬─────────────────────────────┬────────────────────────────────┐
@@ -717,11 +717,11 @@ Object properties can be modified with Readonly and Optional. The following tabl
 
 ### Generic Types
 
-Generic types can be created with generic functions
+Generic types can be created with generic functions.
 
 ```typescript
 const Nullable = <T extends TSchema>(T: T) => {     // type Nullable<T> = T | null
-  return Type.Union([T, Type.Null())
+  return Type.Union([T, Type.Null()])
 }
 
 const T = Nullable(Type.String())                  // type T = Nullable<string>
@@ -731,7 +731,7 @@ const T = Nullable(Type.String())                  // type T = Nullable<string>
 
 ### Recursive Types
 
-Use the Recursive function to create recursive types
+Use the Recursive function to create recursive types.
 
 ```typescript
 const Node = Type.Recursive(This => Type.Object({    // const Node = {
@@ -875,7 +875,7 @@ const C = Type.Index(T, Type.KeyOf(T))               // type C = T[keyof T]
 
 ### Mapped Types
 
-TypeBox supports mapped types with the Mapped function. This function accepts two arguments, the first is a union type typically derived from KeyOf, the second is a mapping function that receives a mapping key `K` that can be used to index properties of a type. The following implements a mapped type that remaps each property to be `T | null`
+TypeBox supports mapped types with the Mapped function. This function accepts two arguments, the first is a union type typically derived from KeyOf, the second is a mapping function that receives a mapping key `K` that can be used to index properties of a type. The following implements a mapped type that remaps each property to be `T | null`.
 
 ```typescript
 const T = Type.Object({                              // type T = {
@@ -1123,7 +1123,7 @@ const Z = Value.Default(T, { x: 1 })                    // const 'Z = { x: 1, y:
 
 ### Cast
 
-Use the Cast function to upcast a value into a target type. This function will retain as much infomation as possible from the original value. The Cast function is intended to be used in data migration scenarios where existing values need to be upgraded to match a modified type.
+Use the Cast function to upcast a value into a target type. This function will retain as much information as possible from the original value. The Cast function is intended to be used in data migration scenarios where existing values need to be upgraded to match a modified type.
 
 ```typescript
 const T = Type.Object({ x: Type.Number(), y: Type.Number() }, { additionalProperties: false })
@@ -1203,7 +1203,7 @@ const R = Value.Equal(                               // const R = true
 
 ### Hash
 
-Use the Hash function to create a [FNV1A-64](https://en.wikipedia.org/wiki/Fowler%E2%80%93Noll%E2%80%93Vo_hash_function) non cryptographic hash of a value.
+Use the Hash function to create a [FNV1A-64](https://en.wikipedia.org/wiki/Fowler%E2%80%93Noll%E2%80%93Vo_hash_function) non-cryptographic hash of a value.
 
 ```typescript
 const A = Value.Hash({ x: 1, y: 2, z: 3 })           // const A = 2910466848807138541n
@@ -1383,7 +1383,7 @@ type BasisVectors = Static<typeof BasisVectors>     // type BasisVectors = {
 
 ### Options
 
-Options can be passed via the last parameter
+Options can be passed via the last parameter.
 
 ```typescript
 const T = Syntax(`number`, { minimum: 42 })       // const T = {
@@ -1455,7 +1455,7 @@ const B = Value.Check(T, 'bar')                      // const B = false
 
 ## TypeCheck
 
-TypeBox types target Json Schema Draft 7 and are compatible with any validator that supports this specification. TypeBox also provides a built in type checking compiler designed specifically for TypeBox types that offers high performance compilation and value checking.
+TypeBox types target Json Schema Draft 7 and are compatible with any validator that supports this specification. TypeBox also provides a built-in type checking compiler designed specifically for TypeBox types that offers high performance compilation and value checking.
 
 The following sections detail using Ajv and the TypeBox compiler infrastructure.
 
@@ -1574,7 +1574,7 @@ const C = TypeCompiler.Code(Type.String())           // const C = `return functi
 
 ## TypeMap
 
-TypeBox offers an external package for bi-directional mapping between TypeBox, Valibot, and Zod type libraries. It also includes syntax parsing support for Valibot and Zod and supports the Standard Schema specification. For more details on TypeMap, refer to the project repository.
+TypeBox offers an external package for bidirectional mapping between TypeBox, Valibot, and Zod type libraries. It also includes syntax parsing support for Valibot and Zod and supports the Standard Schema specification. For more details on TypeMap, refer to the project repository.
 
 [TypeMap Repository](https://github.com/sinclairzx81/typemap)
 
@@ -1582,7 +1582,7 @@ TypeBox offers an external package for bi-directional mapping between TypeBox, V
 
 ### Usage
 
-TypeMap needs to be installed seperately
+TypeMap needs to be installed separately
 
 ```bash
 $ npm install @sinclair/typemap
@@ -1731,11 +1731,11 @@ The following is a list of community packages that offer general tooling, extend
 | [json2typebox](https://github.com/hacxy/json2typebox) | Creating TypeBox code from Json Data |
 | [nominal-typebox](https://github.com/Coder-Spirit/nominal/tree/main/%40coderspirit/nominal-typebox) | Allows devs to integrate nominal types into TypeBox schemas |
 | [openapi-box](https://github.com/geut/openapi-box) | Generate TypeBox types from OpenApi IDL + Http client library |
-| [prismabox](https://github.com/m1212e/prismabox) | Converts a prisma.schema to typebox schema matching the database models |
+| [prismabox](https://github.com/m1212e/prismabox) | Converts a prisma.schema to TypeBox schema matching the database models |
 | [schema2typebox](https://github.com/xddq/schema2typebox)  | Creating TypeBox code from Json Schemas |
 | [sveltekit-superforms](https://github.com/ciscoheat/sveltekit-superforms)  | A comprehensive SvelteKit form library for server and client validation |
 | [ts2typebox](https://github.com/xddq/ts2typebox) | Creating TypeBox code from Typescript types |
-| [typebox-cli](https://github.com/gsuess/typebox-cli) | Generate Schema with typebox from the CLI |
+| [typebox-cli](https://github.com/gsuess/typebox-cli) | Generate Schema with TypeBox from the CLI |
 | [typebox-form-parser](https://github.com/jtlapp/typebox-form-parser) | Parses form and query data based on TypeBox schemas |