@formdef/core 0.1.1 → 0.1.2

package/dist/index.d.cts

@@ -338,15 +338,16 @@ type ConfigParts = {
   formComponents: object;
   handle: unknown;
 };
-type NamesIn<TEntry> = TEntry extends string ? TEntry : TEntry extends {
+type NamesInEntries<TEntries, TSeen> = [TEntries] extends [TSeen] ? never : NamesIn<TEntries, TSeen | TEntries>;
+type NamesIn<TEntry, TSeen> = TEntry extends string ? TEntry : TEntry extends {
   layout: readonly (infer TNested)[];
-} ? NamesIn<TNested> : TEntry extends {
+} ? NamesInEntries<TNested, TSeen> : TEntry extends {
   row: readonly (infer TNested)[];
-} ? NamesIn<TNested> : never;
+} ? NamesInEntries<TNested, TSeen> : never;
 type UndescribedNames<TConfig> = TConfig extends {
   layout: readonly (infer TEntry)[];
   fields: infer TFields;
-} ? Exclude<NamesIn<TEntry>, keyof TFields> : never;
+} ? Exclude<NamesInEntries<TEntry, never>, keyof TFields> : never;
 type UndescribedName<TName extends string> = `formdef: the layout names "${TName}", which fields does not describe`;
 /**
  * Checks the root `layout` of a config written as `TConfig`, sections and rows included: a name
@@ -636,7 +637,7 @@ type FieldsForm = {
 };
 type ValuesOf<TForm extends FieldsForm> = TForm["state"]["values"];
 type FieldsParts<TWidgets, TFormComponents, TStructure, TForm> = OwnParts<TWidgets, TFormComponents, TStructure> & {
-  handle: TForm;
+  handle: NoInfer<TForm>;
 };
 /**
  * What {@link createRegistry} returns: TanStack's form hook for the registered widgets and form

package/dist/index.d.ts

@@ -338,15 +338,16 @@ type ConfigParts = {
   formComponents: object;
   handle: unknown;
 };
-type NamesIn<TEntry> = TEntry extends string ? TEntry : TEntry extends {
+type NamesInEntries<TEntries, TSeen> = [TEntries] extends [TSeen] ? never : NamesIn<TEntries, TSeen | TEntries>;
+type NamesIn<TEntry, TSeen> = TEntry extends string ? TEntry : TEntry extends {
   layout: readonly (infer TNested)[];
-} ? NamesIn<TNested> : TEntry extends {
+} ? NamesInEntries<TNested, TSeen> : TEntry extends {
   row: readonly (infer TNested)[];
-} ? NamesIn<TNested> : never;
+} ? NamesInEntries<TNested, TSeen> : never;
 type UndescribedNames<TConfig> = TConfig extends {
   layout: readonly (infer TEntry)[];
   fields: infer TFields;
-} ? Exclude<NamesIn<TEntry>, keyof TFields> : never;
+} ? Exclude<NamesInEntries<TEntry, never>, keyof TFields> : never;
 type UndescribedName<TName extends string> = `formdef: the layout names "${TName}", which fields does not describe`;
 /**
  * Checks the root `layout` of a config written as `TConfig`, sections and rows included: a name
@@ -636,7 +637,7 @@ type FieldsForm = {
 };
 type ValuesOf<TForm extends FieldsForm> = TForm["state"]["values"];
 type FieldsParts<TWidgets, TFormComponents, TStructure, TForm> = OwnParts<TWidgets, TFormComponents, TStructure> & {
-  handle: TForm;
+  handle: NoInfer<TForm>;
 };
 /**
  * What {@link createRegistry} returns: TanStack's form hook for the registered widgets and form

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@formdef/core",
-  "version": "0.1.1",
+  "version": "0.1.2",
   "description": "Describe a form once as a typed object, render it as a React component, with the compiler checking that every widget fits its value. Built on TanStack Form.",
   "keywords": [
     "react",