Excessive type inference prevents code reuse, and hurts ecosystem

[KholdStare]

Check existing issues

• I checked there isn't already an issue for the bug I encountered.

Viem Version

2.26.0

Current Behavior

To start off, the overall API "shape" is great and is an improvement over ethers.

However, using viem/wagmi beyond just directly calling it is basically impossible because of the excessive use of type inference. I have lost hours and hours of productivity when trying to make any generic wrappers of wagmi/viem functionality. Most of the Ethereum community has embraced viem and wagmi over ethers, but I think the ecosystem is now actively being stifled by the inaccessibility of reuse of any types provided by viem. Let me give a few examples.

Because the type safety needs to be maintained throughout with type inference, that means the crazy types have to be added at every single layer. This means users who want to use the viem/wagmi API beyond "dumb/direct" calls are forced to wrestle with pages and pages of arcane typescript errors in order to add it to their layer. This is like the most extreme version of a leaky abstraction, where every single lower-level detail is always bubbled up to the top in the types.

Type inference of function names and arguments from the ABI is great. However, anything beyond that, such as Chain, Account, RpcSchema inference is just overkill and I guarantee you the vast majority of users do not care and will not benefit from this. Having looser types for this will drastically simplify your implementation, make the source way more readable (I try to read the source to understand concrete type definitions to no avail), and allow others to wrap viem/wagmi functionality in their own code bases. If there is something special that is "keyed off" of the custom Chain type, then isolate it to that special function - just have a runtime test for a flag that the chain is "special". Then you don't have to polute 99% of the API for the marginal benefit of 1% of the API.

Even for argument type inference you should be able to isolate it to a single function, and not have it infect everything. Have a helper function that does the inference, and return a strong type that declares the input has been validated. That validated type can then be used in the rest of the API.

// A more simple/straightfoward API type that is publically used/visible
export type SimulateContractParameters = {
    account: Account;
    address: Address;
    abi: Abi;
    functionName: string; // yes, string!
    args: unknown[] // or more string union of possible primitives
};

// Some "newtype" or strong type that distinguishes unverified from validated params
// Type should be hard to create outside of viem library
export type ValidSimulateContractParameters = Tag<SimulateContractParameters, "Valid">;

// The crazy type-inference type is not exported, and is only used to do verification
type SimulateContractParametersInference<T> = {

};

// Users created the validated strong type by using inference in this one function, and never again.
// Inference can then be restricted to just these special functions, as opposed to the whole API
function inferSimulateContractParams<T>(args: SimulateContractParametersInference<T>): ValidSimulateContractParameters {
    return args;
}

I have a strong background of 10+ years of hardcore C++, and I feel like a "pig in mud" when doing C++ template metaprogramming. However, it has its place, and I would not subject it on users of basic APIs. The same thing applies to typescript type wizardry. I don't want to learn the ins-and-outs of yet another metapgrogramming dialect, just so that I can make a simple wrapper of a javascript function. It's absurd.

As a barebones example of where this bites us, imagine we have a "standard procedure" of handling transaction simulation and contract writes - how we handle errors, etc. I want to wrap it in a simple abstraction. Here is some incomplete code one could write:

export async function simulateAndHandleTransaction(
  publicClient: PublicClient,
  walletClient: WalletClient,
  args: SimulateContractParameters,
): Promise<void> {
  const { request, result } = await publicClient.simulateContract(args);
  const transactionHash = await walletClient.writeContract(request);
}

This doesn't work (adding inference doesn't really help either), and here is one of the errors in all its untruncated glory (please scroll sideways):

error TS2345: Argument of type '{ value?: bigint | undefined; gasPrice?: bigint | undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: undefined; maxPriorityFeePerGas?: undefined; address: `0x${string}`; type?: "legacy" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account?: undefined; } | { value?: bigint | undefined; gasPrice?: bigint | undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: undefined; maxPriorityFeePerGas?: undefined; address: `0x${string}`; type?: "legacy" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account: { client: Client; entryPoint: { abi: Abi; address: `0x${string}`; version: EntryPointVersion; }; extend?: object | undefined; getAddress: () => Promise<`0x${string}`>; decodeCalls?: ((data: `0x${string}`) => Promise<readonly Call[]>) | undefined; encodeCalls: (calls: readonly Call[]) => Promise<`0x${string}`>; getFactoryArgs: () => Promise<{ factory?: `0x${string}` | undefined; factoryData?: `0x${string}` | undefined; }>; getNonce: (parameters?: { key?: bigint | undefined; } | undefined) => Promise<bigint>; getStubSignature: (parameters?: UserOperationRequest | undefined) => Promise<`0x${string}`>; nonceKeyManager?: NonceManager | undefined; sign?: ((parameters: { hash: `0x${string}`; }) => Promise<`0x${string}`>) | undefined; signMessage: (parameters: { message: SignableMessage; }) => Promise<`0x${string}`>; signTypedData: <const typedData extends TypedData | Record<string, unknown>, primaryType extends keyof typedData | "EIP712Domain" = keyof typedData>(parameters: TypedDataDefinition<typedData, primaryType>) => Promise<`0x${string}`>; signUserOperation: (parameters: UnionPartialBy<UserOperation, "sender"> & { chainId?: number | undefined; }) => Promise<`0x${string}`>; userOperation?: { estimateGas?: ((userOperation: UserOperationRequest) => Promise<ExactPartial<EstimateUserOperationGasReturnType> | undefined>) | undefined; } | undefined; address: `0x${string}`; isDeployed: () => Promise<boolean>; type: "smart"; nonceManager?: undefined; experimental_signAuthorization?: undefined; signTransaction?: undefined; publicKey?: undefined; source?: undefined; }; } | { value?: bigint | undefined; gasPrice?: bigint | undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: undefined; maxPriorityFeePerGas?: undefined; address: `0x${string}`; type?: "legacy" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account: { address: `0x${string}`; type: "json-rpc"; extend?: undefined; client?: undefined; entryPoint?: undefined; getAddress?: undefined; decodeCalls?: undefined; encodeCalls?: undefined; getFactoryArgs?: undefined; getNonce?: undefined; getStubSignature?: undefined; nonceKeyManager?: undefined; sign?: undefined; signMessage?: undefined; signTypedData?: undefined; signUserOperation?: undefined; userOperation?: undefined; isDeployed?: undefined; nonceManager?: undefined; experimental_signAuthorization?: undefined; signTransaction?: undefined; publicKey?: undefined; source?: undefined; }; } | { value?: bigint | undefined; gasPrice?: bigint | undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: undefined; maxPriorityFeePerGas?: undefined; address: `0x${string}`; type?: "legacy" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account: { address: `0x${string}`; nonceManager?: NonceManager | undefined; sign?: ((parameters: { hash: `0x${string}`; }) => Promise<`0x${string}`>) | undefined; experimental_signAuthorization?: ((parameters: Authorization) => Promise<SignAuthorizationReturnType>) | undefined; signMessage: ({ message }: { message: SignableMessage; }) => Promise<`0x${string}`>; signTransaction: <serializer extends SerializeTransactionFn<TransactionSerializable> = SerializeTransactionFn<TransactionSerializable>, transaction extends Parameters<serializer>[0] = Parameters<serializer>[0]>(transaction: transaction, options?: { serializer?: serializer | undefined; } | undefined) => Promise<IsNarrowable<TransactionSerialized<GetTransactionType<transaction>>, `0x${string}`> extends true ? TransactionSerialized<GetTransactionType<transaction>> : `0x${string}`>; signTypedData: <const typedData extends TypedData | Record<string, unknown>, primaryType extends keyof typedData | "EIP712Domain" = keyof typedData>(parameters: TypedDataDefinition<typedData, primaryType>) => Promise<`0x${string}`>; publicKey: `0x${string}`; source: string; type: "local"; extend?: undefined; client?: undefined; entryPoint?: undefined; getAddress?: undefined; decodeCalls?: undefined; encodeCalls?: undefined; getFactoryArgs?: undefined; getNonce?: undefined; getStubSignature?: undefined; nonceKeyManager?: undefined; signUserOperation?: undefined; userOperation?: undefined; isDeployed?: undefined; }; } | { value?: bigint | undefined; gasPrice?: bigint | undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: undefined; maxPriorityFeePerGas?: undefined; address: `0x${string}`; type?: "eip2930" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account?: undefined; } | { value?: bigint | undefined; gasPrice?: bigint | undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: undefined; maxPriorityFeePerGas?: undefined; address: `0x${string}`; type?: "eip2930" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account: { client: Client; entryPoint: { abi: Abi; address: `0x${string}`; version: EntryPointVersion; }; extend?: object | undefined; getAddress: () => Promise<`0x${string}`>; decodeCalls?: ((data: `0x${string}`) => Promise<readonly Call[]>) | undefined; encodeCalls: (calls: readonly Call[]) => Promise<`0x${string}`>; getFactoryArgs: () => Promise<{ factory?: `0x${string}` | undefined; factoryData?: `0x${string}` | undefined; }>; getNonce: (parameters?: { key?: bigint | undefined; } | undefined) => Promise<bigint>; getStubSignature: (parameters?: UserOperationRequest | undefined) => Promise<`0x${string}`>; nonceKeyManager?: NonceManager | undefined; sign?: ((parameters: { hash: `0x${string}`; }) => Promise<`0x${string}`>) | undefined; signMessage: (parameters: { message: SignableMessage; }) => Promise<`0x${string}`>; signTypedData: <const typedData extends TypedData | Record<string, unknown>, primaryType extends keyof typedData | "EIP712Domain" = keyof typedData>(parameters: TypedDataDefinition<typedData, primaryType>) => Promise<`0x${string}`>; signUserOperation: (parameters: UnionPartialBy<UserOperation, "sender"> & { chainId?: number | undefined; }) => Promise<`0x${string}`>; userOperation?: { estimateGas?: ((userOperation: UserOperationRequest) => Promise<ExactPartial<EstimateUserOperationGasReturnType> | undefined>) | undefined; } | undefined; address: `0x${string}`; isDeployed: () => Promise<boolean>; type: "smart"; nonceManager?: undefined; experimental_signAuthorization?: undefined; signTransaction?: undefined; publicKey?: undefined; source?: undefined; }; } | { value?: bigint | undefined; gasPrice?: bigint | undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: undefined; maxPriorityFeePerGas?: undefined; address: `0x${string}`; type?: "eip2930" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account: { address: `0x${string}`; type: "json-rpc"; extend?: undefined; client?: undefined; entryPoint?: undefined; getAddress?: undefined; decodeCalls?: undefined; encodeCalls?: undefined; getFactoryArgs?: undefined; getNonce?: undefined; getStubSignature?: undefined; nonceKeyManager?: undefined; sign?: undefined; signMessage?: undefined; signTypedData?: undefined; signUserOperation?: undefined; userOperation?: undefined; isDeployed?: undefined; nonceManager?: undefined; experimental_signAuthorization?: undefined; signTransaction?: undefined; publicKey?: undefined; source?: undefined; }; } | { value?: bigint | undefined; gasPrice?: bigint | undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: undefined; maxPriorityFeePerGas?: undefined; address: `0x${string}`; type?: "eip2930" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account: { address: `0x${string}`; nonceManager?: NonceManager | undefined; sign?: ((parameters: { hash: `0x${string}`; }) => Promise<`0x${string}`>) | undefined; experimental_signAuthorization?: ((parameters: Authorization) => Promise<SignAuthorizationReturnType>) | undefined; signMessage: ({ message }: { message: SignableMessage; }) => Promise<`0x${string}`>; signTransaction: <serializer extends SerializeTransactionFn<TransactionSerializable> = SerializeTransactionFn<TransactionSerializable>, transaction extends Parameters<serializer>[0] = Parameters<serializer>[0]>(transaction: transaction, options?: { serializer?: serializer | undefined; } | undefined) => Promise<IsNarrowable<TransactionSerialized<GetTransactionType<transaction>>, `0x${string}`> extends true ? TransactionSerialized<GetTransactionType<transaction>> : `0x${string}`>; signTypedData: <const typedData extends TypedData | Record<string, unknown>, primaryType extends keyof typedData | "EIP712Domain" = keyof typedData>(parameters: TypedDataDefinition<typedData, primaryType>) => Promise<`0x${string}`>; publicKey: `0x${string}`; source: string; type: "local"; extend?: undefined; client?: undefined; entryPoint?: undefined; getAddress?: undefined; decodeCalls?: undefined; encodeCalls?: undefined; getFactoryArgs?: undefined; getNonce?: undefined; getStubSignature?: undefined; nonceKeyManager?: undefined; signUserOperation?: undefined; userOperation?: undefined; isDeployed?: undefined; }; } | { value?: bigint | undefined; gasPrice?: undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: bigint | undefined; maxPriorityFeePerGas?: bigint | undefined; address: `0x${string}`; type?: "eip1559" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account?: undefined; } | { value?: bigint | undefined; gasPrice?: undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: bigint | undefined; maxPriorityFeePerGas?: bigint | undefined; address: `0x${string}`; type?: "eip1559" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account: { client: Client; entryPoint: { abi: Abi; address: `0x${string}`; version: EntryPointVersion; }; extend?: object | undefined; getAddress: () => Promise<`0x${string}`>; decodeCalls?: ((data: `0x${string}`) => Promise<readonly Call[]>) | undefined; encodeCalls: (calls: readonly Call[]) => Promise<`0x${string}`>; getFactoryArgs: () => Promise<{ factory?: `0x${string}` | undefined; factoryData?: `0x${string}` | undefined; }>; getNonce: (parameters?: { key?: bigint | undefined; } | undefined) => Promise<bigint>; getStubSignature: (parameters?: UserOperationRequest | undefined) => Promise<`0x${string}`>; nonceKeyManager?: NonceManager | undefined; sign?: ((parameters: { hash: `0x${string}`; }) => Promise<`0x${string}`>) | undefined; signMessage: (parameters: { message: SignableMessage; }) => Promise<`0x${string}`>; signTypedData: <const typedData extends TypedData | Record<string, unknown>, primaryType extends keyof typedData | "EIP712Domain" = keyof typedData>(parameters: TypedDataDefinition<typedData, primaryType>) => Promise<`0x${string}`>; signUserOperation: (parameters: UnionPartialBy<UserOperation, "sender"> & { chainId?: number | undefined; }) => Promise<`0x${string}`>; userOperation?: { estimateGas?: ((userOperation: UserOperationRequest) => Promise<ExactPartial<EstimateUserOperationGasReturnType> | undefined>) | undefined; } | undefined; address: `0x${string}`; isDeployed: () => Promise<boolean>; type: "smart"; nonceManager?: undefined; experimental_signAuthorization?: undefined; signTransaction?: undefined; publicKey?: undefined; source?: undefined; }; } | { value?: bigint | undefined; gasPrice?: undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: bigint | undefined; maxPriorityFeePerGas?: bigint | undefined; address: `0x${string}`; type?: "eip1559" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account: { address: `0x${string}`; type: "json-rpc"; extend?: undefined; client?: undefined; entryPoint?: undefined; getAddress?: undefined; decodeCalls?: undefined; encodeCalls?: undefined; getFactoryArgs?: undefined; getNonce?: undefined; getStubSignature?: undefined; nonceKeyManager?: undefined; sign?: undefined; signMessage?: undefined; signTypedData?: undefined; signUserOperation?: undefined; userOperation?: undefined; isDeployed?: undefined; nonceManager?: undefined; experimental_signAuthorization?: undefined; signTransaction?: undefined; publicKey?: undefined; source?: undefined; }; } | { value?: bigint | undefined; gasPrice?: undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: bigint | undefined; maxPriorityFeePerGas?: bigint | undefined; address: `0x${string}`; type?: "eip1559" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account: { address: `0x${string}`; nonceManager?: NonceManager | undefined; sign?: ((parameters: { hash: `0x${string}`; }) => Promise<`0x${string}`>) | undefined; experimental_signAuthorization?: ((parameters: Authorization) => Promise<SignAuthorizationReturnType>) | undefined; signMessage: ({ message }: { message: SignableMessage; }) => Promise<`0x${string}`>; signTransaction: <serializer extends SerializeTransactionFn<TransactionSerializable> = SerializeTransactionFn<TransactionSerializable>, transaction extends Parameters<serializer>[0] = Parameters<serializer>[0]>(transaction: transaction, options?: { serializer?: serializer | undefined; } | undefined) => Promise<IsNarrowable<TransactionSerialized<GetTransactionType<transaction>>, `0x${string}`> extends true ? TransactionSerialized<GetTransactionType<transaction>> : `0x${string}`>; signTypedData: <const typedData extends TypedData | Record<string, unknown>, primaryType extends keyof typedData | "EIP712Domain" = keyof typedData>(parameters: TypedDataDefinition<typedData, primaryType>) => Promise<`0x${string}`>; publicKey: `0x${string}`; source: string; type: "local"; extend?: undefined; client?: undefined; entryPoint?: undefined; getAddress?: undefined; decodeCalls?: undefined; encodeCalls?: undefined; getFactoryArgs?: undefined; getNonce?: undefined; getStubSignature?: undefined; nonceKeyManager?: undefined; signUserOperation?: undefined; userOperation?: undefined; isDeployed?: undefined; }; } | { value?: bigint | undefined; gasPrice?: undefined; maxFeePerBlobGas: bigint; maxFeePerGas?: bigint | undefined; maxPriorityFeePerGas?: bigint | undefined; address: `0x${string}`; type?: "eip4844" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs: readonly `0x${string}`[] | readonly ByteArray[]; blobVersionedHashes?: readonly `0x${string}`[] | undefined; kzg?: Kzg | undefined; sidecars?: readonly BlobSidecar<`0x${string}`>[] | undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account?: undefined; } | { value?: bigint | undefined; gasPrice?: undefined; maxFeePerBlobGas: bigint; maxFeePerGas?: bigint | undefined; maxPriorityFeePerGas?: bigint | undefined; address: `0x${string}`; type?: "eip4844" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs: readonly `0x${string}`[] | readonly ByteArray[]; blobVersionedHashes?: readonly `0x${string}`[] | undefined; kzg?: Kzg | undefined; sidecars?: readonly BlobSidecar<`0x${string}`>[] | undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account: { client: Client; entryPoint: { abi: Abi; address: `0x${string}`; version: EntryPointVersion; }; extend?: object | undefined; getAddress: () => Promise<`0x${string}`>; decodeCalls?: ((data: `0x${string}`) => Promise<readonly Call[]>) | undefined; encodeCalls: (calls: readonly Call[]) => Promise<`0x${string}`>; getFactoryArgs: () => Promise<{ factory?: `0x${string}` | undefined; factoryData?: `0x${string}` | undefined; }>; getNonce: (parameters?: { key?: bigint | undefined; } | undefined) => Promise<bigint>; getStubSignature: (parameters?: UserOperationRequest | undefined) => Promise<`0x${string}`>; nonceKeyManager?: NonceManager | undefined; sign?: ((parameters: { hash: `0x${string}`; }) => Promise<`0x${string}`>) | undefined; signMessage: (parameters: { message: SignableMessage; }) => Promise<`0x${string}`>; signTypedData: <const typedData extends TypedData | Record<string, unknown>, primaryType extends keyof typedData | "EIP712Domain" = keyof typedData>(parameters: TypedDataDefinition<typedData, primaryType>) => Promise<`0x${string}`>; signUserOperation: (parameters: UnionPartialBy<UserOperation, "sender"> & { chainId?: number | undefined; }) => Promise<`0x${string}`>; userOperation?: { estimateGas?: ((userOperation: UserOperationRequest) => Promise<ExactPartial<EstimateUserOperationGasReturnType> | undefined>) | undefined; } | undefined; address: `0x${string}`; isDeployed: () => Promise<boolean>; type: "smart"; nonceManager?: undefined; experimental_signAuthorization?: undefined; signTransaction?: undefined; publicKey?: undefined; source?: undefined; }; } | { value?: bigint | undefined; gasPrice?: undefined; maxFeePerBlobGas: bigint; maxFeePerGas?: bigint | undefined; maxPriorityFeePerGas?: bigint | undefined; address: `0x${string}`; type?: "eip4844" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs: readonly `0x${string}`[] | readonly ByteArray[]; blobVersionedHashes?: readonly `0x${string}`[] | undefined; kzg?: Kzg | undefined; sidecars?: readonly BlobSidecar<`0x${string}`>[] | undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account: { address: `0x${string}`; type: "json-rpc"; extend?: undefined; client?: undefined; entryPoint?: undefined; getAddress?: undefined; decodeCalls?: undefined; encodeCalls?: undefined; getFactoryArgs?: undefined; getNonce?: undefined; getStubSignature?: undefined; nonceKeyManager?: undefined; sign?: undefined; signMessage?: undefined; signTypedData?: undefined; signUserOperation?: undefined; userOperation?: undefined; isDeployed?: undefined; nonceManager?: undefined; experimental_signAuthorization?: undefined; signTransaction?: undefined; publicKey?: undefined; source?: undefined; }; } | { value?: bigint | undefined; gasPrice?: undefined; maxFeePerBlobGas: bigint; maxFeePerGas?: bigint | undefined; maxPriorityFeePerGas?: bigint | undefined; address: `0x${string}`; type?: "eip4844" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs: readonly `0x${string}`[] | readonly ByteArray[]; blobVersionedHashes?: readonly `0x${string}`[] | undefined; kzg?: Kzg | undefined; sidecars?: readonly BlobSidecar<`0x${string}`>[] | undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account: { address: `0x${string}`; nonceManager?: NonceManager | undefined; sign?: ((parameters: { hash: `0x${string}`; }) => Promise<`0x${string}`>) | undefined; experimental_signAuthorization?: ((parameters: Authorization) => Promise<SignAuthorizationReturnType>) | undefined; signMessage: ({ message }: { message: SignableMessage; }) => Promise<`0x${string}`>; signTransaction: <serializer extends SerializeTransactionFn<TransactionSerializable> = SerializeTransactionFn<TransactionSerializable>, transaction extends Parameters<serializer>[0] = Parameters<serializer>[0]>(transaction: transaction, options?: { serializer?: serializer | undefined; } | undefined) => Promise<IsNarrowable<TransactionSerialized<GetTransactionType<transaction>>, `0x${string}`> extends true ? TransactionSerialized<GetTransactionType<transaction>> : `0x${string}`>; signTypedData: <const typedData extends TypedData | Record<string, unknown>, primaryType extends keyof typedData | "EIP712Domain" = keyof typedData>(parameters: TypedDataDefinition<typedData, primaryType>) => Promise<`0x${string}`>; publicKey: `0x${string}`; source: string; type: "local"; extend?: undefined; client?: undefined; entryPoint?: undefined; getAddress?: undefined; decodeCalls?: undefined; encodeCalls?: undefined; getFactoryArgs?: undefined; getNonce?: undefined; getStubSignature?: undefined; nonceKeyManager?: undefined; signUserOperation?: undefined; userOperation?: undefined; isDeployed?: undefined; }; } | { value?: bigint | undefined; gasPrice?: undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: bigint | undefined; maxPriorityFeePerGas?: bigint | undefined; address: `0x${string}`; type?: "eip7702" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: AuthorizationList<number, boolean> | undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account?: undefined; } | { value?: bigint | undefined; gasPrice?: undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: bigint | undefined; maxPriorityFeePerGas?: bigint | undefined; address: `0x${string}`; type?: "eip7702" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: AuthorizationList<number, boolean> | undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account: { client: Client; entryPoint: { abi: Abi; address: `0x${string}`; version: EntryPointVersion; }; extend?: object | undefined; getAddress: () => Promise<`0x${string}`>; decodeCalls?: ((data: `0x${string}`) => Promise<readonly Call[]>) | undefined; encodeCalls: (calls: readonly Call[]) => Promise<`0x${string}`>; getFactoryArgs: () => Promise<{ factory?: `0x${string}` | undefined; factoryData?: `0x${string}` | undefined; }>; getNonce: (parameters?: { key?: bigint | undefined; } | undefined) => Promise<bigint>; getStubSignature: (parameters?: UserOperationRequest | undefined) => Promise<`0x${string}`>; nonceKeyManager?: NonceManager | undefined; sign?: ((parameters: { hash: `0x${string}`; }) => Promise<`0x${string}`>) | undefined; signMessage: (parameters: { message: SignableMessage; }) => Promise<`0x${string}`>; signTypedData: <const typedData extends TypedData | Record<string, unknown>, primaryType extends keyof typedData | "EIP712Domain" = keyof typedData>(parameters: TypedDataDefinition<typedData, primaryType>) => Promise<`0x${string}`>; signUserOperation: (parameters: UnionPartialBy<UserOperation, "sender"> & { chainId?: number | undefined; }) => Promise<`0x${string}`>; userOperation?: { estimateGas?: ((userOperation: UserOperationRequest) => Promise<ExactPartial<EstimateUserOperationGasReturnType> | undefined>) | undefined; } | undefined; address: `0x${string}`; isDeployed: () => Promise<boolean>; type: "smart"; nonceManager?: undefined; experimental_signAuthorization?: undefined; signTransaction?: undefined; publicKey?: undefined; source?: undefined; }; } | { value?: bigint | undefined; gasPrice?: undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: bigint | undefined; maxPriorityFeePerGas?: bigint | undefined; address: `0x${string}`; type?: "eip7702" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: AuthorizationList<number, boolean> | undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account: { address: `0x${string}`; type: "json-rpc"; extend?: undefined; client?: undefined; entryPoint?: undefined; getAddress?: undefined; decodeCalls?: undefined; encodeCalls?: undefined; getFactoryArgs?: undefined; getNonce?: undefined; getStubSignature?: undefined; nonceKeyManager?: undefined; sign?: undefined; signMessage?: undefined; signTypedData?: undefined; signUserOperation?: undefined; userOperation?: undefined; isDeployed?: undefined; nonceManager?: undefined; experimental_signAuthorization?: undefined; signTransaction?: undefined; publicKey?: undefined; source?: undefined; }; } | { value?: bigint | undefined; gasPrice?: undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: bigint | undefined; maxPriorityFeePerGas?: bigint | undefined; address: `0x${string}`; type?: "eip7702" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: AuthorizationList<number, boolean> | undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account: { address: `0x${string}`; nonceManager?: NonceManager | undefined; sign?: ((parameters: { hash: `0x${string}`; }) => Promise<`0x${string}`>) | undefined; experimental_signAuthorization?: ((parameters: Authorization) => Promise<SignAuthorizationReturnType>) | undefined; signMessage: ({ message }: { message: SignableMessage; }) => Promise<`0x${string}`>; signTransaction: <serializer extends SerializeTransactionFn<TransactionSerializable> = SerializeTransactionFn<TransactionSerializable>, transaction extends Parameters<serializer>[0] = Parameters<serializer>[0]>(transaction: transaction, options?: { serializer?: serializer | undefined; } | undefined) => Promise<IsNarrowable<TransactionSerialized<GetTransactionType<transaction>>, `0x${string}`> extends true ? TransactionSerialized<GetTransactionType<transaction>> : `0x${string}`>; signTypedData: <const typedData extends TypedData | Record<string, unknown>, primaryType extends keyof typedData | "EIP712Domain" = keyof typedData>(parameters: TypedDataDefinition<typedData, primaryType>) => Promise<`0x${string}`>; publicKey: `0x${string}`; source: string; type: "local"; extend?: undefined; client?: undefined; entryPoint?: undefined; getAddress?: undefined; decodeCalls?: undefined; encodeCalls?: undefined; getFactoryArgs?: undefined; getNonce?: undefined; getStubSignature?: undefined; nonceKeyManager?: undefined; signUserOperation?: undefined; userOperation?: undefined; isDeployed?: undefined; }; }' is not assignable to parameter of type 'WriteContractParameters<readonly [never], string, readonly unknown[], Chain | undefined, Account | undefined, Chain | undefined>'.
  Type '{ value?: bigint | undefined; gasPrice?: bigint | undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: undefined; maxPriorityFeePerGas?: undefined; address: `0x${string}`; type?: "legacy" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account?: undefined; }' is not assignable to type 'WriteContractParameters<readonly [never], string, readonly unknown[], Chain | undefined, Account | undefined, Chain | undefined>'.
    Type '{ value?: bigint | undefined; gasPrice?: bigint | undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: undefined; maxPriorityFeePerGas?: undefined; address: `0x${string}`; type?: "legacy" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account?: undefined; }' is not assignable to type '({ abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; } & { address: `0x${string}`; } & { chain: Chain | null | undefined; } & { account: `0x${string}` | Account | null; value?: bigint | undefined; dataSuffix?: `0x${string}` | undefined; } & { gasPrice?: bigint | undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: undefined; maxPriorityFeePerGas?: undefined; type?: "legacy" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; }) | ({ abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; } & { address: `0x${string}`; } & { chain: Chain | null | undefined; } & { account: `0x${string}` | Account | null; value?: bigint | undefined; dataSuffix?: `0x${string}` | undefined; } & { gasPrice?: bigint | undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: undefined; maxPriorityFeePerGas?: undefined; type?: "eip2930" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; }) | ({ abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; } & { address: `0x${string}`; } & { chain: Chain | null | undefined; } & { account: `0x${string}` | Account | null; value?: bigint | undefined; dataSuffix?: `0x${string}` | undefined; } & { gasPrice?: undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: bigint | undefined; maxPriorityFeePerGas?: bigint | undefined; type?: "eip1559" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; }) | ({ abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; } & { address: `0x${string}`; } & { chain: Chain | null | undefined; } & { account: `0x${string}` | Account | null; value?: bigint | undefined; dataSuffix?: `0x${string}` | undefined; } & { gasPrice?: undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: bigint | undefined; maxPriorityFeePerGas?: bigint | undefined; type?: "eip7702" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: AuthorizationList<number, boolean> | undefined; })'.
      Type '{ value?: bigint | undefined; gasPrice?: bigint | undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: undefined; maxPriorityFeePerGas?: undefined; address: `0x${string}`; type?: "legacy" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account?: undefined; }' is not assignable to type '{ abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; } & { address: `0x${string}`; } & { chain: Chain | null | undefined; } & { account: `0x${string}` | Account | null; value?: bigint | undefined; dataSuffix?: `0x${string}` | undefined; } & { gasPrice?: undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: bigint | undefined; maxPriorityFeePerGas?: bigint | undefined; type?: "eip7702" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: AccessList | undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: AuthorizationList<number, boolean> | undefined; }'.
        Type '{ value?: bigint | undefined; gasPrice?: bigint | undefined; maxFeePerBlobGas?: undefined; maxFeePerGas?: undefined; maxPriorityFeePerGas?: undefined; address: `0x${string}`; type?: "legacy" | undefined; gas?: bigint | undefined; nonce?: number | undefined; accessList?: undefined; blobs?: undefined; blobVersionedHashes?: undefined; kzg?: undefined; sidecars?: undefined; authorizationList?: undefined; dataSuffix?: `0x${string}` | undefined; abi: readonly [never]; functionName: string; args?: readonly unknown[] | undefined; chain: Chain | undefined; account?: undefined; }' is not assignable to type '{ account: `0x${string}` | Account | null; value?: bigint | undefined; dataSuffix?: `0x${string}` | undefined; }'.
          Types of property 'account' are incompatible.
            Type 'undefined' is not assignable to type '`0x${string}` | Account | null'.

84   const transactionHash = await walletClient.writeContract(request);

Expected Behavior

No response

Steps To Reproduce

No response

Link to Minimal Reproducible Example

No response

Anything else?

No response

[tmm]

Agree that types can improve (simpler, better defaults, etc.) and it's on the loose roadmap of future improvements.

[KholdStare]

That's great. In the meantime, do you have any tips or guides in the documentation on how to approach wrapping functions with type inference? I'm sure you have developed your own intuition/cookbook of adding layers to your API. I think the community would benefit having documentation around extending the API "properly" without doing brute force as casts everywhere.