Release 0.13.28

Author: caseywebdev

package.json

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

src/index.js

@@ -22,8 +22,8 @@
  *   Default is `O['context'] extends undefined ? unknown: O['context']`
  * @template [_Extensions=O['extensions'] extends undefined ? {} : O['extensions']]
  *   Default is `O['extensions'] extends undefined ? {} : O['extensions']`
- * @template [TypeName=O['typeName'] extends undefined ? never : O['typeName']]
- *   Default is `O['typeName'] extends undefined ? never : O['typeName']`
+ * @template [TypeName=O['typeName'] extends string ? O['typeName'] : never]
+ *   Default is `O['typeName'] extends string ? O['typeName'] : never`
  * @typedef {{
  *   [K in TypeName extends string ? TypeName : never]: Type<Schema<O>, any>;
  * }} Schema

types/index.d.ts

@@ -18,7 +18,7 @@ export type SchemaOptions = {
     };
     typeName?: string;
 };
-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 Schema<O extends SchemaOptions = {}, _Context = O["context"] extends undefined ? unknown : O["context"], _Extensions = O["extensions"] extends undefined ? {} : O["extensions"], TypeName = O["typeName"] extends string ? O["typeName"] : never> = { [K in TypeName extends string ? TypeName : never]: Type<Schema<O>, 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;
@@ -28,7 +28,7 @@ export type TypeOptions = {
     resolvedValue?: {};
     value?: any;
 };
-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> | (({
+export type Type<S extends Schema<any> = Schema<{}, unknown, unknown, never>, O extends TypeOptions = {}, Input = O["input"] extends undefined ? unknown : O["input"], Object = O["object"] extends undefined ? unknown : O["object"], ResolvedValue = O["resolvedValue"] extends undefined ? {} : O["resolvedValue"], Value = O["value"] extends undefined ? undefined : O["value"]> = Recursive<SchemaTypeName<S> | (({
     optional: Type<S, any>;
 } | {
     nullable: Type<S, any>;