typebox 1.0.1 → 1.0.3

package/build/type/types/constructor.d.mts

@@ -1,8 +1,8 @@
 import { type StaticType, type StaticDirection } from './static.mjs';
 import { type TSchema, type TSchemaOptions } from './schema.mjs';
+import { type StaticInstantiatedParameters } from './function.mjs';
 import { type TProperties } from './properties.mjs';
-import { type StaticTuple } from './tuple.mjs';
-export type StaticConstructor<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Parameters extends TSchema[], InstanceType extends TSchema, StaticParameters extends unknown[] = StaticTuple<Direction, Context, This, Parameters>, StaticReturnType extends unknown = StaticType<Direction, Context, This, InstanceType>, Result = new (...args: StaticParameters) => StaticReturnType> = Result;
+export type StaticConstructor<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Parameters extends TSchema[], InstanceType extends TSchema, StaticParameters extends unknown[] = StaticInstantiatedParameters<Direction, Context, This, Parameters>, StaticReturnType extends unknown = StaticType<Direction, Context, This, InstanceType>, Result = new (...args: StaticParameters) => StaticReturnType> = Result;
 /** Represents a Constructor type. */
 export interface TConstructor<Parameters extends TSchema[] = TSchema[], InstanceType extends TSchema = TSchema> extends TSchema {
     '~kind': 'Constructor';

package/build/type/types/function.d.mts

@@ -1,8 +1,10 @@
 import { type StaticType, type StaticDirection } from './static.mjs';
 import { type TSchema, type TSchemaOptions } from './schema.mjs';
 import { type TProperties } from './properties.mjs';
-import { type StaticTuple } from './tuple.mjs';
-export type StaticFunction<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Parameters extends TSchema[], ReturnType extends TSchema, StaticParameters extends unknown[] = StaticTuple<Direction, Context, This, Parameters>, StaticReturnType extends unknown = StaticType<Direction, Context, This, ReturnType>, Result = (...args: StaticParameters) => StaticReturnType> = Result;
+import { type TTuple } from './tuple.mjs';
+import { type TInstantiate } from '../engine/instantiate.mjs';
+export type StaticInstantiatedParameters<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Parameters extends TSchema[], Evaluated extends TSchema = TInstantiate<Context, TTuple<Parameters>>, Static extends unknown = StaticType<Direction, Context, This, Evaluated>, Result extends unknown[] = Static extends unknown[] ? Static : []> = Result;
+export type StaticFunction<Direction extends StaticDirection, Context extends TProperties, This extends TProperties, Parameters extends TSchema[], ReturnType extends TSchema, StaticParameters extends unknown[] = StaticInstantiatedParameters<Direction, Context, This, Parameters>, StaticReturnType extends unknown = StaticType<Direction, Context, This, ReturnType>, Result = (...args: StaticParameters) => StaticReturnType> = Result;
 /** Represents a Function type. */
 export interface TFunction<Parameters extends TSchema[] = TSchema[], ReturnType extends TSchema = TSchema> extends TSchema {
     '~kind': 'Function';

package/build/value/codec/from-object.mjs

@@ -12,10 +12,8 @@ function Decode(direction, context, type, value) {
         return Unreachable();
     // deno-coverage-ignore-stop
     for (const key of Guard.Keys(type.properties)) {
-        // deno-coverage-ignore-start - unreachable | checked
         if (!Guard.HasPropertyKey(value, key))
-            Unreachable();
-        // deno-coverage-ignore-stop
+            continue;
         value[key] = FromType(direction, context, type.properties[key], value[key]);
     }
     return Callback(direction, context, type, value);

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "typebox",
   "description": "A Runtime Type System for JavaScript",
-  "version": "1.0.1",
+  "version": "1.0.3",
   "keywords": [
     "typescript",
     "jsonschema"

package/readme.md

@@ -49,11 +49,15 @@ type T = Static<typeof T>                           // type T = {
 
 ## Overview
 
+[Documentation](https://sinclairzx81.github.io/typebox/)
+
 TypeBox is a runtime type system that creates in-memory Json Schema objects that infer as TypeScript types. The schematics produced by this library are designed to match the static type checking rules of the TypeScript compiler. TypeBox offers a unified type system that can be statically checked by TypeScript and validated at runtime using standard Json Schema.
 
 This library is designed to allow Json Schema to compose similar to how types compose within TypeScript's type system. It can be used as a simple tool to build up complex schematics or integrated into REST and RPC services to help validate data received over the wire.
 
-License MIT
+
+
+License: MIT
 
 ## Contents