@beignet/react-hook-form 0.0.49 → 0.0.51

package/CHANGELOG.md

@@ -1,5 +1,15 @@
 # @beignet/react-hook-form
 
+## 0.0.51
+
+## 0.0.50
+
+### Patch Changes
+
+- cede255: Keep JSON body nulls distinct in React Query keys, expose scoped service work
+  through Fetch servers, preserve streamed responses, and reject non-object form
+  body inputs at compile time.
+
 ## 0.0.49
 
 ### Patch Changes

package/README.md

@@ -9,7 +9,10 @@
 > Beignet is experimental alpha software. The `0.0.x` package line is for early
 > evaluation, and APIs may change between releases while the framework settles.
 
-This package provides automatic form validation using your contract's body schema. Works with any [Standard Schema](https://github.com/standard-schema/standard-schema) library (Zod, Valibot, ArkType, etc.).
+This package provides automatic form validation using a contract body schema
+whose input is object-shaped. It works with any
+[Standard Schema](https://github.com/standard-schema/standard-schema) library
+(Zod, Valibot, ArkType, etc.).
 
 ## Installation
 
@@ -176,7 +179,10 @@ const rhf = createReactHookForm();
 
 ### `rhf(contract)`
 
-Creates a React Hook Form adapter for a contract.
+Creates a React Hook Form adapter for a contract whose body schema input is an
+object. TypeScript rejects contracts with scalar or array body inputs because
+they do not define named form fields. The schema output may still transform to
+any submit value.
 
 ```ts
 const adapter = rhf(createTodo);
@@ -222,6 +228,20 @@ input/output split:
 - `handleSubmit` callbacks receive the schema **output**: the parsed values
   after coercion, transforms, and defaults run.
 
+The schema input must be object-shaped. Keep lists and scalar values inside
+named fields rather than making the request body itself an array or scalar:
+
+```ts
+const replaceTags = todos
+  .put("/api/todos/:id/tags")
+  .body(z.object({ tags: z.array(z.string()) }))
+  .responses({ 200: TodoSchema });
+
+const form = rhf(replaceTags).useForm({
+  defaultValues: { tags: [] },
+});
+```
+
 ```ts
 // Contract definition
 const createTodo = todos

package/dist/index.d.ts

@@ -2,10 +2,11 @@ import { type ErrorMessageOverrides } from "@beignet/core/client";
 import { type ContractLike, type HttpContractConfig, type InferInput, type InferOutput, type ResolveContract, type StandardSchemaV1 } from "@beignet/core/contracts";
 import { type FieldValues, type UseFormProps, type UseFormReturn } from "react-hook-form";
 /**
- * Constrain a schema input type to React Hook Form field values without
- * widening field name inference for object inputs.
+ * Keep only object-shaped React Hook Form field values. Arrays are objects in
+ * JavaScript, but they do not define the named field-value record expected by
+ * this adapter.
  */
-type AsFieldValues<T> = T extends FieldValues ? T : T & FieldValues;
+type ObjectFieldValues<T> = [T] extends [FieldValues] ? Extract<T, readonly unknown[]> extends never ? T : never : never;
 /**
  * Live form field values inferred from the contract body schema input.
  *
@@ -13,13 +14,19 @@ type AsFieldValues<T> = T extends FieldValues ? T : T & FieldValues;
  * `defaultValues`) hold pre-validation input, so coercing or transforming body
  * schemas type fields as what the user edits, not what the schema produces.
  */
-type FormInput<TContract extends HttpContractConfig> = TContract["body"] extends StandardSchemaV1 ? AsFieldValues<InferInput<TContract["body"]>> : FieldValues;
+type FormInput<TContract extends HttpContractConfig> = TContract["body"] extends StandardSchemaV1 ? ObjectFieldValues<InferInput<TContract["body"]>> : never;
 /**
  * Validated submit values inferred from the contract body schema output.
  *
  * `handleSubmit` callbacks receive the resolver-parsed output.
  */
-type FormOutput<TContract extends HttpContractConfig> = TContract["body"] extends StandardSchemaV1 ? InferOutput<TContract["body"]> : FieldValues;
+type FormOutput<TContract extends HttpContractConfig> = TContract["body"] extends StandardSchemaV1 ? InferOutput<TContract["body"]> : never;
+/**
+ * Contract input accepted by the React Hook Form adapter.
+ */
+type ReactHookFormContract<TContractLike extends ContractLike> = [
+    FormInput<ResolveContract<TContractLike>>
+] extends [never] ? never : TContractLike;
 /**
  * React Hook Form options accepted by the Beignet adapter.
  */
@@ -36,9 +43,9 @@ type RhfFormOptions<TContract extends HttpContractConfig> = Omit<UseFormProps<Fo
     resolverEnabled?: boolean;
 };
 /**
- * React Hook Form adapter for one contract.
+ * React Hook Form adapter methods for one compatible contract.
  */
-export type ReactHookFormContractAdapter<TContract extends HttpContractConfig> = {
+type ReactHookFormContractAdapterShape<TContract extends HttpContractConfig> = {
     /**
      * Generate `UseFormProps` for any React Hook Form usage.
      */
@@ -48,15 +55,23 @@ export type ReactHookFormContractAdapter<TContract extends HttpContractConfig> =
      */
     useForm: (props?: RhfFormOptions<TContract>) => UseFormReturn<FormInput<TContract>, unknown, FormOutput<TContract>>;
 };
+/**
+ * React Hook Form adapter for one contract whose body schema input is
+ * object-shaped.
+ */
+export type ReactHookFormContractAdapter<TContract extends HttpContractConfig> = [
+    FormInput<TContract>
+] extends [never] ? never : ReactHookFormContractAdapterShape<TContract>;
 /**
  * Create a React Hook Form adapter factory.
  *
  * Mirrors the React integration pattern used by `createReactQuery()` and `createNuqs()`:
  * create the adapter once, then bind individual contracts with `rhf(contract)`.
- * Contracts must declare a body schema. After binding, callers may override or
- * disable the generated resolver through `formOptions(...)` or `useForm(...)`.
+ * Contracts must declare a body schema whose input is object-shaped. After
+ * binding, callers may override or disable the generated resolver through
+ * `formOptions(...)` or `useForm(...)`.
  */
-export declare function createReactHookForm(): <TContractLike extends ContractLike>(contract: TContractLike) => ReactHookFormContractAdapter<ResolveContract<TContractLike>>;
+export declare function createReactHookForm(): <TContractLike extends ContractLike>(contract: ReactHookFormContract<TContractLike>) => ReactHookFormContractAdapter<ResolveContract<TContractLike>>;
 /**
  * Root-level form error for `form.setError("root", ...)`.
  */

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,qBAAqB,EAC3B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,eAAe,EAEpB,KAAK,gBAAgB,EACtB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,KAAK,WAAW,EAEhB,KAAK,YAAY,EACjB,KAAK,aAAa,EACnB,MAAM,iBAAiB,CAAC;AAEzB;;;GAGG;AACH,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,GAAG,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC;AAEpE;;;;;;GAMG;AACH,KAAK,SAAS,CAAC,SAAS,SAAS,kBAAkB,IACjD,SAAS,CAAC,MAAM,CAAC,SAAS,gBAAgB,GACtC,aAAa,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,GAC5C,WAAW,CAAC;AAElB;;;;GAIG;AACH,KAAK,UAAU,CAAC,SAAS,SAAS,kBAAkB,IAClD,SAAS,CAAC,MAAM,CAAC,SAAS,gBAAgB,GACtC,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GAC9B,WAAW,CAAC;AAElB;;GAEG;AACH,KAAK,cAAc,CAAC,SAAS,SAAS,kBAAkB,IAAI,IAAI,CAC9D,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,EAClE,UAAU,CACX,GAAG;IACF;;;OAGG;IACH,QAAQ,CAAC,EAAE,YAAY,CACrB,SAAS,CAAC,SAAS,CAAC,EACpB,OAAO,EACP,UAAU,CAAC,SAAS,CAAC,CACtB,CAAC,UAAU,CAAC,CAAC;IAEd;;;OAGG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,4BAA4B,CAAC,SAAS,SAAS,kBAAkB,IAC3E;IACE;;OAEG;IACH,WAAW,EAAE,CACX,KAAK,CAAC,EAAE,cAAc,CAAC,SAAS,CAAC,KAC9B,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;IAExE;;OAEG;IACH,OAAO,EAAE,CACP,KAAK,CAAC,EAAE,cAAc,CAAC,SAAS,CAAC,KAC9B,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;CAC1E,CAAC;AAsDJ;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,KACb,aAAa,SAAS,YAAY,EACpD,UAAU,aAAa,KACtB,4BAA4B,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,CAGhE;AAED;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,OAAO,EACd,QAAQ,EAAE,MAAM,EAChB,SAAS,CAAC,EAAE,qBAAqB,GAChC,aAAa,CAKf"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,qBAAqB,EAC3B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,kBAAkB,EACvB,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,eAAe,EAEpB,KAAK,gBAAgB,EACtB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EACL,KAAK,WAAW,EAEhB,KAAK,YAAY,EACjB,KAAK,aAAa,EACnB,MAAM,iBAAiB,CAAC;AAEzB;;;;GAIG;AACH,KAAK,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,GACjD,OAAO,CAAC,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC,SAAS,KAAK,GAC1C,CAAC,GACD,KAAK,GACP,KAAK,CAAC;AAEV;;;;;;GAMG;AACH,KAAK,SAAS,CAAC,SAAS,SAAS,kBAAkB,IACjD,SAAS,CAAC,MAAM,CAAC,SAAS,gBAAgB,GACtC,iBAAiB,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,GAChD,KAAK,CAAC;AAEZ;;;;GAIG;AACH,KAAK,UAAU,CAAC,SAAS,SAAS,kBAAkB,IAClD,SAAS,CAAC,MAAM,CAAC,SAAS,gBAAgB,GACtC,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GAC9B,KAAK,CAAC;AAEZ;;GAEG;AACH,KAAK,qBAAqB,CAAC,aAAa,SAAS,YAAY,IAAI;IAC/D,SAAS,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC;CAC1C,SAAS,CAAC,KAAK,CAAC,GACb,KAAK,GACL,aAAa,CAAC;AAElB;;GAEG;AACH,KAAK,cAAc,CAAC,SAAS,SAAS,kBAAkB,IAAI,IAAI,CAC9D,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,EAClE,UAAU,CACX,GAAG;IACF;;;OAGG;IACH,QAAQ,CAAC,EAAE,YAAY,CACrB,SAAS,CAAC,SAAS,CAAC,EACpB,OAAO,EACP,UAAU,CAAC,SAAS,CAAC,CACtB,CAAC,UAAU,CAAC,CAAC;IAEd;;;OAGG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF;;GAEG;AACH,KAAK,iCAAiC,CAAC,SAAS,SAAS,kBAAkB,IAAI;IAC7E;;OAEG;IACH,WAAW,EAAE,CACX,KAAK,CAAC,EAAE,cAAc,CAAC,SAAS,CAAC,KAC9B,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;IAExE;;OAEG;IACH,OAAO,EAAE,CACP,KAAK,CAAC,EAAE,cAAc,CAAC,SAAS,CAAC,KAC9B,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;CAC1E,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,4BAA4B,CAAC,SAAS,SAAS,kBAAkB,IAC3E;IAAC,SAAS,CAAC,SAAS,CAAC;CAAC,SAAS,CAAC,KAAK,CAAC,GAClC,KAAK,GACL,iCAAiC,CAAC,SAAS,CAAC,CAAC;AAsDnD;;;;;;;;GAQG;AACH,wBAAgB,mBAAmB,KACb,aAAa,SAAS,YAAY,EACpD,UAAU,qBAAqB,CAAC,aAAa,CAAC,KAC7C,4BAA4B,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,CAGhE;AAED;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,aAAa,CAC3B,KAAK,EAAE,OAAO,EACd,QAAQ,EAAE,MAAM,EAChB,SAAS,CAAC,EAAE,qBAAqB,GAChC,aAAa,CAKf"}

package/dist/index.js

@@ -14,7 +14,7 @@ function createReactHookFormAdapter(contract) {
         const bodySchema = resolvedContract.body;
         const { resolverEnabled = true, resolver: resolverOverride, ...rest } = props ?? {};
         const resolver = resolverOverride ??
-            (bodySchema && resolverEnabled
+            (resolverEnabled
                 ? standardSchemaResolver(bodySchema)
                 : undefined);
         return {
@@ -33,8 +33,9 @@ function createReactHookFormAdapter(contract) {
  *
  * Mirrors the React integration pattern used by `createReactQuery()` and `createNuqs()`:
  * create the adapter once, then bind individual contracts with `rhf(contract)`.
- * Contracts must declare a body schema. After binding, callers may override or
- * disable the generated resolver through `formOptions(...)` or `useForm(...)`.
+ * Contracts must declare a body schema whose input is object-shaped. After
+ * binding, callers may override or disable the generated resolver through
+ * `formOptions(...)` or `useForm(...)`.
  */
 export function createReactHookForm() {
     return function rhf(contract) {

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,YAAY,CAAC;AAEb,OAAO,EACL,oBAAoB,GAErB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAML,eAAe,GAEhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,EAEL,OAAO,IAAI,UAAU,GAGtB,MAAM,iBAAiB,CAAC;AA0EzB,SAAS,0BAA0B,CACjC,QAAuB;IAEvB,MAAM,gBAAgB,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IAEnD,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACb,OAAO,gBAAgB,CAAC,IAAI,kCAAkC;YAC5D,iFAAiF;YACjF,6EAA6E,CAChF,CAAC;IACJ,CAAC;IAKD,SAAS,WAAW,CAClB,KAAsD;QAEtD,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAGvB,CAAC;QAEd,MAAM,EACJ,eAAe,GAAG,IAAI,EACtB,QAAQ,EAAE,gBAAgB,EAC1B,GAAG,IAAI,EACR,GAAG,KAAK,IAAI,EAAE,CAAC;QAEhB,MAAM,QAAQ,GACZ,gBAAgB;YAChB,CAAC,UAAU,IAAI,eAAe;gBAC5B,CAAC,CAAC,sBAAsB,CAAyB,UAAU,CAAC;gBAC5D,CAAC,CAAC,SAAS,CAAC,CAAC;QAEjB,OAAO;YACL,GAAI,IAA6C;YACjD,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,SAAS,OAAO,CACd,KAAsD;QAEtD,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,UAAU,CAAyB,OAAO,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;AAClC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB;IACjC,OAAO,SAAS,GAAG,CACjB,QAAuB;QAEvB,OAAO,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC,CAAC;AACJ,CAAC;AAUD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAc,EACd,QAAgB,EAChB,SAAiC;IAEjC,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC;KAC1D,CAAC;AACJ,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,YAAY,CAAC;AAEb,OAAO,EACL,oBAAoB,GAErB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAML,eAAe,GAEhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAC7E,OAAO,EAEL,OAAO,IAAI,UAAU,GAGtB,MAAM,iBAAiB,CAAC;AAmGzB,SAAS,0BAA0B,CACjC,QAA8C;IAE9C,MAAM,gBAAgB,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IAEnD,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACb,OAAO,gBAAgB,CAAC,IAAI,kCAAkC;YAC5D,iFAAiF;YACjF,6EAA6E,CAChF,CAAC;IACJ,CAAC;IAKD,SAAS,WAAW,CAClB,KAAsD;QAEtD,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAuC,CAAC;QAE5E,MAAM,EACJ,eAAe,GAAG,IAAI,EACtB,QAAQ,EAAE,gBAAgB,EAC1B,GAAG,IAAI,EACR,GAAG,KAAK,IAAI,EAAE,CAAC;QAEhB,MAAM,QAAQ,GACZ,gBAAgB;YAChB,CAAC,eAAe;gBACd,CAAC,CAAC,sBAAsB,CAAyB,UAAU,CAAC;gBAC5D,CAAC,CAAC,SAAS,CAAC,CAAC;QAEjB,OAAO;YACL,GAAI,IAA6C;YACjD,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,SAAS,OAAO,CACd,KAAsD;QAEtD,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,UAAU,CAAyB,OAAO,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;AAClC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB;IACjC,OAAO,SAAS,GAAG,CACjB,QAA8C;QAE9C,OAAO,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC,CAAC;AACJ,CAAC;AAUD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAc,EACd,QAAgB,EAChB,SAAiC;IAEjC,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,oBAAoB,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC;KAC1D,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@beignet/react-hook-form",
-  "version": "0.0.49",
+  "version": "0.0.51",
   "type": "module",
   "description": "React Hook Form integration for Beignet with Standard Schema support",
   "main": "./dist/index.js",

package/skills/forms/SKILL.md

@@ -26,9 +26,14 @@ routes, providers, infra adapters, `server/`, or `app-context.ts`.
 
 ## Contract Requirements
 
-React Hook Form binds to the contract body schema. If a contract has no
-`.body(...)`, `rhf(contract)` throws because there are no form fields or body
-validation to infer.
+React Hook Form binds to the contract body schema. TypeScript rejects contracts
+without `.body(...)` because there are no form fields or body validation to
+infer; untyped JavaScript calls receive the same failure at runtime.
+
+The body schema input must be an object with named fields. TypeScript rejects
+scalar and array body inputs. Put scalar values or lists under a field, for
+example `.body(z.object({ tags: z.array(z.string()) }))`, when the endpoint is
+backed by a form.
 
 Keep shared form DTOs in `features/<feature>/schemas.ts`, then reuse them from
 contracts, use cases, tests, and components.
@@ -119,6 +124,8 @@ codes declared on the contract with `.errors(...)`.
   params, headers, tenant IDs, and auth-derived values belong in mutation
   variables or app context, not form fields.
 - Contracts without `.body(...)` are not form contracts.
+- Scalar and array request bodies are not form contracts; wrap their values in
+  an object with named fields.
 - `handleSubmit` returns parsed schema output. For transforms that change field
   types, submit `form.getValues()` after validation when the contract client
   expects body input.

package/src/index.ts

@@ -22,10 +22,15 @@ import {
 } from "react-hook-form";
 
 /**
- * Constrain a schema input type to React Hook Form field values without
- * widening field name inference for object inputs.
+ * Keep only object-shaped React Hook Form field values. Arrays are objects in
+ * JavaScript, but they do not define the named field-value record expected by
+ * this adapter.
  */
-type AsFieldValues<T> = T extends FieldValues ? T : T & FieldValues;
+type ObjectFieldValues<T> = [T] extends [FieldValues]
+  ? Extract<T, readonly unknown[]> extends never
+    ? T
+    : never
+  : never;
 
 /**
  * Live form field values inferred from the contract body schema input.
@@ -36,8 +41,8 @@ type AsFieldValues<T> = T extends FieldValues ? T : T & FieldValues;
  */
 type FormInput<TContract extends HttpContractConfig> =
   TContract["body"] extends StandardSchemaV1
-    ? AsFieldValues<InferInput<TContract["body"]>>
-    : FieldValues;
+    ? ObjectFieldValues<InferInput<TContract["body"]>>
+    : never;
 
 /**
  * Validated submit values inferred from the contract body schema output.
@@ -47,7 +52,16 @@ type FormInput<TContract extends HttpContractConfig> =
 type FormOutput<TContract extends HttpContractConfig> =
   TContract["body"] extends StandardSchemaV1
     ? InferOutput<TContract["body"]>
-    : FieldValues;
+    : never;
+
+/**
+ * Contract input accepted by the React Hook Form adapter.
+ */
+type ReactHookFormContract<TContractLike extends ContractLike> = [
+  FormInput<ResolveContract<TContractLike>>,
+] extends [never]
+  ? never
+  : TContractLike;
 
 /**
  * React Hook Form options accepted by the Beignet adapter.
@@ -74,28 +88,39 @@ type RhfFormOptions<TContract extends HttpContractConfig> = Omit<
 };
 
 /**
- * React Hook Form adapter for one contract.
+ * React Hook Form adapter methods for one compatible contract.
+ */
+type ReactHookFormContractAdapterShape<TContract extends HttpContractConfig> = {
+  /**
+   * Generate `UseFormProps` for any React Hook Form usage.
+   */
+  formOptions: (
+    props?: RhfFormOptions<TContract>,
+  ) => UseFormProps<FormInput<TContract>, unknown, FormOutput<TContract>>;
+
+  /**
+   * Convenience wrapper around `useForm(formOptions(props))`.
+   */
+  useForm: (
+    props?: RhfFormOptions<TContract>,
+  ) => UseFormReturn<FormInput<TContract>, unknown, FormOutput<TContract>>;
+};
+
+/**
+ * React Hook Form adapter for one contract whose body schema input is
+ * object-shaped.
  */
 export type ReactHookFormContractAdapter<TContract extends HttpContractConfig> =
-  {
-    /**
-     * Generate `UseFormProps` for any React Hook Form usage.
-     */
-    formOptions: (
-      props?: RhfFormOptions<TContract>,
-    ) => UseFormProps<FormInput<TContract>, unknown, FormOutput<TContract>>;
-
-    /**
-     * Convenience wrapper around `useForm(formOptions(props))`.
-     */
-    useForm: (
-      props?: RhfFormOptions<TContract>,
-    ) => UseFormReturn<FormInput<TContract>, unknown, FormOutput<TContract>>;
-  };
+  [FormInput<TContract>] extends [never]
+    ? never
+    : ReactHookFormContractAdapterShape<TContract>;
 
 function createReactHookFormAdapter<TContractLike extends ContractLike>(
-  contract: TContractLike,
-): ReactHookFormContractAdapter<ResolveContract<TContractLike>> {
+  contract: ReactHookFormContract<TContractLike>,
+): ReactHookFormContractAdapter<ResolveContract<TContractLike>>;
+function createReactHookFormAdapter<TContractLike extends ContractLike>(
+  contract: ReactHookFormContract<TContractLike>,
+): ReactHookFormContractAdapterShape<ResolveContract<TContractLike>> {
   const resolvedContract = resolveContract(contract);
 
   if (!resolvedContract.body) {
@@ -112,10 +137,7 @@ function createReactHookFormAdapter<TContractLike extends ContractLike>(
   function formOptions(
     props?: RhfFormOptions<ResolveContract<TContractLike>>,
   ): UseFormProps<Input, unknown, Output> {
-    const bodySchema = resolvedContract.body as
-      | StandardSchemaV1<Input, Output>
-      | null
-      | undefined;
+    const bodySchema = resolvedContract.body as StandardSchemaV1<Input, Output>;
 
     const {
       resolverEnabled = true,
@@ -125,7 +147,7 @@ function createReactHookFormAdapter<TContractLike extends ContractLike>(
 
     const resolver =
       resolverOverride ??
-      (bodySchema && resolverEnabled
+      (resolverEnabled
         ? standardSchemaResolver<Input, unknown, Output>(bodySchema)
         : undefined);
 
@@ -150,12 +172,13 @@ function createReactHookFormAdapter<TContractLike extends ContractLike>(
  *
  * Mirrors the React integration pattern used by `createReactQuery()` and `createNuqs()`:
  * create the adapter once, then bind individual contracts with `rhf(contract)`.
- * Contracts must declare a body schema. After binding, callers may override or
- * disable the generated resolver through `formOptions(...)` or `useForm(...)`.
+ * Contracts must declare a body schema whose input is object-shaped. After
+ * binding, callers may override or disable the generated resolver through
+ * `formOptions(...)` or `useForm(...)`.
  */
 export function createReactHookForm() {
   return function rhf<TContractLike extends ContractLike>(
-    contract: TContractLike,
+    contract: ReactHookFormContract<TContractLike>,
   ): ReactHookFormContractAdapter<ResolveContract<TContractLike>> {
     return createReactHookFormAdapter(contract);
   };