Version 1.1.18 (#1565)

* Use Static Return Annotation on Value Functions

* ChangeLog

* Version

Author: sinclairzx81

changelog/1.1.0.md

@@ -3,6 +3,8 @@
 ---
 
 ### Version Updates
+- [Revision 1.1.18](https://github.com/sinclairzx81/typebox/pull/1565)
+  - Use Explicit Static Return Type Annotation for Value Functions
 - [Revision 1.1.17](https://github.com/sinclairzx81/typebox/pull/1564)
   - Use Function Cache Optimization for JIT
 - [Revision 1.1.16](https://github.com/sinclairzx81/typebox/pull/1562)

src/value/assert/assert.ts

@@ -26,6 +26,8 @@ THE SOFTWARE.
 
 ---------------------------------------------------------------------------*/
 
+// deno-fmt-ignore-file
+
 import { Arguments } from '../../system/arguments/index.ts'
 import type { TLocalizedValidationError } from '../../error/index.ts'
 import type { Static, TProperties, TSchema } from '../../type/index.ts'
@@ -49,11 +51,9 @@ export class AssertError extends Error {
   }
 }
 /** Asserts the a value matches the given type. This function returns a TypeScript type asserts predicate and will throw AssertError if value does not match. */
-export function Assert<Context extends TProperties, const Type extends TSchema, Result extends unknown = Static<Type, Context>>(context: Context, type: Type, value: unknown): asserts value is Result
-
+export function Assert<const Type extends TSchema>(type: Type, value: unknown): asserts value is Static<Type>
 /** Asserts the a value matches the given type. This function returns a TypeScript type asserts predicate and will throw AssertError if value does not match. */
-export function Assert<const Type extends TSchema, Result extends unknown = Static<Type>>(type: Type, value: unknown): asserts value is Result
-
+export function Assert<Context extends TProperties, const Type extends TSchema>(context: Context, type: Type, value: unknown): asserts value is Static<Type, Context>
 /** Asserts the a value matches the given type. This function returns a TypeScript type asserts predicate and will throw AssertError if value does not match. */
 export function Assert(...args: unknown[]): void {
   const [context, type, value] = Arguments.Match<[TProperties, TSchema, unknown]>(args, {

src/value/check/check.ts

@@ -33,15 +33,9 @@ import type { Static, TProperties, TSchema } from '../../type/index.ts'
 import { Check as SchemaCheck } from '../../schema/index.ts'
 
 /** Checks a value matches the provided type. */
-export function Check<const Type extends TSchema, 
-  Result extends unknown = Static<Type>
->(type: Type, value: unknown): value is Result
-
+export function Check<const Type extends TSchema>(type: Type, value: unknown): value is Static<Type>
 /** Checks a value matches the provided type. */
-export function Check<Context extends TProperties, const Type extends TSchema, 
-  Result extends unknown = Static<Type, Context>
->(context: Context, type: Type, value: unknown): value is Result
-
+export function Check<Context extends TProperties, const Type extends TSchema>(context: Context, type: Type, value: unknown): value is Static<Type, Context>
 /** Checks a value matches the provided type. */
 export function Check(...args: unknown[]): unknown {
   const [context, type, value] = Arguments.Match<[TProperties, TSchema, unknown]>(args, {

src/value/codec/decode.ts

@@ -75,32 +75,11 @@ const Decoder = Pipeline([
 // ------------------------------------------------------------------
 // Decode
 // ------------------------------------------------------------------
-/**
- * Decodes a value against the given type by applying a sequence of Clone,
- * Default, Convert, and Clone operations, then executing any embedded Decode
- * callbacks. If the processing sequence fails to produce a value matching the 
- * provided type, a DecodeError is thrown.
- */
-export function Decode<const Type extends TSchema, 
-  Result extends unknown = StaticDecode<Type>
->(type: Type, value: unknown): Result
-
-/**
- * Decodes a value against the given type by applying a sequence of Clone,
- * Default, Convert, and Clone operations, then executing any embedded Decode
- * callbacks. If the processing sequence fails to produce a value matching the 
- * provided type, a DecodeError is thrown.
- */
-export function Decode<Context extends TProperties, const Type extends TSchema, 
-  Result extends unknown = StaticDecode<Type, Context>
->(context: Context, type: Type, value: unknown): Result
-
-/**
- * Decodes a value against the given type by applying a sequence of Clone,
- * Default, Convert, and Clone operations, then executing any embedded Decode
- * callbacks. If the processing sequence fails to produce a value matching the 
- * provided type, a DecodeError is thrown.
- */
+/** Decodes a value with the given type. */
+export function Decode<const Type extends TSchema>(type: Type, value: unknown): StaticDecode<Type>
+/** Decodes a value with the given type. */
+export function Decode<Context extends TProperties, const Type extends TSchema>(context: Context, type: Type, value: unknown): StaticDecode<Type, Context>
+/** Decodes a value with the given type. */
 export function Decode(...args: unknown[]): never {
   const [context, type, value] = Arguments.Match<[TProperties, TSchema, unknown]>(args, {
     3: (context, type, value) => [context, type, value],

src/value/codec/encode.ts

@@ -75,17 +75,11 @@ const Encoder = Pipeline([
 // ------------------------------------------------------------------
 // Encode
 // ------------------------------------------------------------------
-/** Encodes a value. */
-export function Encode<const Type extends TSchema, 
-  Result extends unknown = StaticEncode<Type>
->(type: Type, value: unknown): Result
-
-/** Encodes a value. */
-export function Encode<Context extends TProperties, const Type extends TSchema, 
-  Result extends unknown = StaticEncode<Type, Context>
-> (context: Context, type: Type, value: unknown): Result
-
-/** Encodes a value. */
+/** Encodes a value with the given type. */
+export function Encode<const Type extends TSchema>(type: Type, value: unknown): StaticEncode<Type>
+/** Encodes a value with the given type. */
+export function Encode<Context extends TProperties, const Type extends TSchema>(context: Context, type: Type, value: unknown): StaticEncode<Type, Context>
+/** Encodes a value with the given type. */
 export function Encode(...args: unknown[]): never {
   const [context, type, value] = Arguments.Match<[TProperties, TSchema, unknown]>(args, {
     3: (context, type, value) => [context, type, value],

src/value/convert/convert.ts

@@ -38,14 +38,12 @@ import { FromType } from './from-type.ts'
  * provided value. If mutation is not wanted, you should Clone the value before passing to this function.
  */
 export function Convert(context: TProperties, type: TSchema, value: unknown): unknown
-
 /** 
  * Converts a value to the given type, coercing interior values if a reasonable conversion is possible. This 
  * function returns unknown so callers should Check the return value before use. This function mutates the 
  * provided value. If mutation is not wanted, you should Clone the value before passing to this function.
  */
 export function Convert(type: TSchema, value: unknown): unknown
-
 /** 
  * Converts a value to the given type, coercing interior values if a reasonable conversion is possible. This 
  * function returns unknown so callers should Check the return value before use. This function mutates the 

src/value/create/create.ts

@@ -33,15 +33,9 @@ import type { TProperties, TSchema, Static } from '../../type/index.ts'
 import { FromType } from './from-type.ts'
 
 /** Creates a value from the provided type. This function will use `default` annotations if present. */
-export function Create<const Type extends TSchema, 
-  Result extends unknown = Static<Type>
->(type: Type): Result
-
+export function Create<const Type extends TSchema>(type: Type): Static<Type>
 /** Creates a value from the provided type. This function will use `default` annotations if present. */
-export function Create<const Context extends TProperties, Type extends TSchema, 
-  Result extends unknown = Static<Type, Context>
->(context: Context, type: Type): Result
-
+export function Create<const Context extends TProperties, Type extends TSchema>(context: Context, type: Type): Static<Type, Context>
 /** Creates a value from the provided type. This function will use `default` annotations if present. */
 export function Create(...args: any[]): unknown {
   const [context, type] = Arguments.Match<[TProperties, TSchema]>(args, {

src/value/default/default.ts

@@ -38,14 +38,12 @@ import { FromType } from './from-type.ts'
  * provided value. If mutation is not wanted, you should Clone the value before passing to this function.
  */
 export function Default(type: TSchema, value: unknown): unknown
-
 /**
  * Patches missing properties on the value using default annotations specified on the provided type. This 
  * function returns unknown so callers should Check the return value before use. This function mutates the 
  * provided value. If mutation is not wanted, you should Clone the value before passing to this function.
  */
 export function Default(context: TProperties, type: TSchema, value: unknown): unknown
-
 /**
  * Patches missing properties on the value using default annotations specified on the provided type. This 
  * function returns unknown so callers should Check the return value before use. This function mutates the 

src/value/parse/parse.ts

@@ -65,15 +65,9 @@ export const Parser = Pipeline([
   (context, type, value) => Assert(context, type, value)
 ])
 /**  Parses a value with the given type. */
-export function Parse<const Type extends TSchema, 
-  Result extends unknown = StaticParse<Type>
->(type: Type, value: unknown): Result
-
+export function Parse<const Type extends TSchema>(type: Type, value: unknown): StaticParse<Type>
 /**  Parses a value with the given type. */
-export function Parse<Context extends TProperties, const Type extends TSchema, 
-  Result extends unknown = StaticParse<Type, Context>
->(context: Context, type: Type, value: unknown): Result
-
+export function Parse<Context extends TProperties, const Type extends TSchema>(context: Context, type: Type, value: unknown): StaticParse<Type, Context>
 /**  Parses a value with the given type. */
 export function Parse(...args: unknown[]): never {
   const [context, type, value] = Arguments.Match<[TProperties, TSchema, unknown]>(args, {

src/value/repair/repair.ts

@@ -40,21 +40,15 @@ import { Assert } from '../assert/index.ts'
  * default structures derived from the type. If the value already conforms to the type, no 
  * action is performed.
  */
-export function Repair<const Type extends TSchema, 
-  Result extends unknown = Static<Type>
->(type: Type, value: unknown): Result
-
+export function Repair<const Type extends TSchema>(type: Type, value: unknown): Static<Type>
 /**
  * Repairs a value to match the provided type. This function is intended for data migration 
  * scenarios where existing values need to be migrating to an updated type. This function will
  * repair partially mismatched values by populating missing sub-properties and elements with 
  * default structures derived from the type. If the value already conforms to the type, no 
  * action is performed.
  */
-export function Repair<Context extends TProperties, const Type extends TSchema, 
-  Result extends unknown = Static<Type, Context>
->(context: Context, type: Type, value: unknown): Result
-
+export function Repair<Context extends TProperties, const Type extends TSchema>(context: Context, type: Type, value: unknown): Static<Type, Context>
 /**
  * Repairs a value to match the provided type. This function is intended for data migration 
  * scenarios where existing values need to be migrating to an updated type. This function will