Release 0.13.27

Author: caseywebdev

package.json

@@ -1,7 +1,7 @@
 {
   "name": "pave",
   "type": "module",
-  "version": "0.13.26",
+  "version": "0.13.27",
   "author": "Casey Foster <c@sey.me>",
   "license": "MIT",
   "repository": {

src/index.js

@@ -9,12 +9,15 @@
  */
 
 /**
- * @template {{
+ * @typedef {{
  *   context?: any;
  *   extensions?: { [K: string]: any };
  *   typeName?: string;
- * }} [A={}]
- *   Default is `{}`
+ * }} SchemaOptions
+ */
+
+/**
+ * @template {SchemaOptions} [A={}] Default is `{}`
  * @template [_Context=A['context'] extends undefined ? unknown: A['context']]
  *   Default is `A['context'] extends undefined ? unknown: A['context']`
  * @template [_Extensions=A['extensions'] extends undefined ? {} : A['extensions']]
@@ -43,10 +46,11 @@
  *     : never} SchemaTypeName
  */
 
+/** @typedef {{ input?: any; object?: any; resolvedValue?: {}; value?: any }} TypeOptions */
+
 /**
  * @template {Schema<any>} [S=Schema] Default is `Schema`
- * @template {{ input?: any; object?: any; resolvedValue?: {}; value?: any }} [A={}]
- *   Default is `{}`
+ * @template {TypeOptions} [A={}] Default is `{}`
  * @template [Input=A['input'] extends undefined ? unknown : A['input']]
  *   Default is `A['input'] extends undefined ? unknown : A['input']`
  * @template [Object=A['object'] extends undefined ? unknown : A['object']]

types/index.d.ts

@@ -11,22 +11,24 @@ export { validateSchema } from "#types/validate-schema.js";
 export { validateValue } from "#types/validate-value.js";
 export type Recursive<T> = T | RecursiveArray<T>;
 export type RecursiveArray<T> = Recursive<T>[];
-export type Schema<A extends {
+export type SchemaOptions = {
     context?: any;
     extensions?: {
         [K: string]: any;
     };
     typeName?: string;
-} = {}, _Context = A["context"] extends undefined ? unknown : A["context"], _Extensions = A["extensions"] extends undefined ? {} : A["extensions"], TypeName = A["typeName"] extends undefined ? never : A["typeName"]> = { [K in TypeName extends string ? TypeName : never]: Type<Schema<A>, any>; };
+};
+export type Schema<A extends SchemaOptions = {}, _Context = A["context"] extends undefined ? unknown : A["context"], _Extensions = A["extensions"] extends undefined ? {} : A["extensions"], TypeName = A["typeName"] extends undefined ? never : A["typeName"]> = { [K in TypeName extends string ? TypeName : never]: Type<Schema<A>, any>; };
 export type SchemaContext<S extends Schema<any>> = S extends Schema<infer _, infer Context> ? Context : never;
 export type SchemaExtensions<S extends Schema<any>> = S extends Schema<infer _, infer __, infer Extensions> ? Extensions : never;
 export type SchemaTypeName<S extends Schema<any>> = S extends Schema<infer _, infer __, infer ___, infer TypeName> ? TypeName : never;
-export type Type<S extends Schema<any> = Schema<{}, unknown, unknown, unknown>, A extends {
+export type TypeOptions = {
     input?: any;
     object?: any;
     resolvedValue?: {};
     value?: any;
-} = {}, Input = A["input"] extends undefined ? unknown : A["input"], Object = A["object"] extends undefined ? unknown : A["object"], ResolvedValue = A["resolvedValue"] extends undefined ? {} : A["resolvedValue"], Value = A["value"] extends undefined ? undefined : A["value"]> = Recursive<SchemaTypeName<S> | (({
+};
+export type Type<S extends Schema<any> = Schema<{}, unknown, unknown, unknown>, A extends TypeOptions = {}, Input = A["input"] extends undefined ? unknown : A["input"], Object = A["object"] extends undefined ? unknown : A["object"], ResolvedValue = A["resolvedValue"] extends undefined ? {} : A["resolvedValue"], Value = A["value"] extends undefined ? undefined : A["value"]> = Recursive<SchemaTypeName<S> | (({
     optional: Type<S, any>;
 } | {
     nullable: Type<S, any>;