viem 0.0.0-w-20230815171822 → 0.0.0-w-20230816153316

package/dist/types/types/multicall.d.ts

@@ -1,48 +1,48 @@
-import type { Abi, ExtractAbiFunctionNames } from 'abitype';
-import type { ContractFunctionConfig, ContractFunctionResult } from './contract.js';
+import type { Abi, AbiStateMutability, ExtractAbiFunctionNames } from 'abitype';
+import type { ContractParameters, ContractReturnType } from './contract.js';
 type MAXIMUM_DEPTH = 20;
-export type MulticallContract<TAbi extends Abi | readonly unknown[] = Abi | readonly unknown[], TFunctionName extends ExtractAbiFunctionNames<TAbi extends Abi ? TAbi : Abi, 'pure' | 'view'> = string> = {
-    abi: TAbi;
-    functionName: TFunctionName;
+export type MulticallContract<abi extends Abi | readonly unknown[] = Abi | readonly unknown[], stateMutability extends AbiStateMutability = AbiStateMutability, functionName extends ExtractAbiFunctionNames<abi extends Abi ? abi : Abi, stateMutability> = string> = {
+    abi: abi;
+    functionName: functionName;
 };
-export type MulticallContracts<TContracts extends readonly MulticallContract[], TProperties extends Record<string, any> = object, Result extends any[] = [], Depth extends readonly number[] = []> = Depth['length'] extends MAXIMUM_DEPTH ? (ContractFunctionConfig & TProperties)[] : TContracts extends [] ? [] : TContracts extends [infer Head extends MulticallContract] ? [
-    ...Result,
-    ContractFunctionConfig<Head['abi'], Head['functionName']> & TProperties
-] : TContracts extends [
-    infer Head extends MulticallContract,
-    ...infer Tail extends readonly MulticallContract[]
+export type MulticallContracts<contracts extends readonly MulticallContract[], properties extends Record<string, any> = object, result extends any[] = [], depth extends readonly number[] = []> = depth['length'] extends MAXIMUM_DEPTH ? (ContractParameters & properties)[] : contracts extends [] ? [] : contracts extends [infer head extends MulticallContract] ? [
+    ...result,
+    ContractParameters<head['abi'], 'pure' | 'view', head['functionName']> & properties
+] : contracts extends [
+    infer head extends MulticallContract,
+    ...infer tail extends readonly MulticallContract[]
 ] ? MulticallContracts<[
-    ...Tail
-], TProperties, [
-    ...Result,
-    ContractFunctionConfig<Head['abi'], Head['functionName']> & TProperties
+    ...tail
+], properties, [
+    ...result,
+    ContractParameters<head['abi'], 'pure' | 'view', head['functionName']> & properties
 ], [
-    ...Depth,
+    ...depth,
     1
-]> : unknown[] extends TContracts ? TContracts : TContracts extends ContractFunctionConfig<infer TAbi, infer TFunctionName>[] ? (ContractFunctionConfig<TAbi, TFunctionName> & TProperties)[] : (ContractFunctionConfig & TProperties)[];
-export type MulticallResult<Result, TAllowFailure extends boolean = true> = TAllowFailure extends true ? {
+]> : unknown[] extends contracts ? contracts : contracts extends ContractParameters<infer abi, infer _, infer functionName>[] ? (ContractParameters<abi, 'pure' | 'view', functionName> & properties)[] : (ContractParameters & properties)[];
+export type MulticallResults<contracts extends readonly MulticallContract[], allowFailure extends boolean = true, result extends any[] = [], depth extends readonly number[] = []> = depth['length'] extends MAXIMUM_DEPTH ? MulticallResult<ContractReturnType, allowFailure>[] : contracts extends [] ? [] : contracts extends [infer head extends MulticallContract] ? [
+    ...result,
+    MulticallResult<ContractReturnType<head['abi'], 'pure' | 'view', head['functionName']>, allowFailure>
+] : contracts extends [
+    infer head extends MulticallContract,
+    ...infer tail extends readonly MulticallContract[]
+] ? MulticallResults<[
+    ...tail
+], allowFailure, [
+    ...result,
+    MulticallResult<ContractReturnType<head['abi'], 'pure' | 'view', head['functionName']>, allowFailure>
+], [
+    ...depth,
+    1
+]> : contracts extends ContractParameters<infer abi, infer _, infer functionName>[] ? MulticallResult<ContractReturnType<abi, 'pure' | 'view', functionName>, allowFailure>[] : MulticallResult<ContractReturnType, allowFailure>[];
+export type MulticallResult<result, allowFailure extends boolean = true> = allowFailure extends true ? {
     error?: undefined;
-    result: Result;
+    result: result;
     status: 'success';
 } | {
     error: Error;
     result?: undefined;
     status: 'failure';
-} : Result;
-export type MulticallResults<TContracts extends readonly MulticallContract[], TAllowFailure extends boolean = true, Result extends any[] = [], Depth extends readonly number[] = []> = Depth['length'] extends MAXIMUM_DEPTH ? MulticallResult<ContractFunctionResult, TAllowFailure>[] : TContracts extends [] ? [] : TContracts extends [infer Head extends MulticallContract] ? [
-    ...Result,
-    MulticallResult<ContractFunctionResult<Head['abi'], Head['functionName']>, TAllowFailure>
-] : TContracts extends [
-    infer Head extends MulticallContract,
-    ...infer Tail extends readonly MulticallContract[]
-] ? MulticallResults<[
-    ...Tail
-], TAllowFailure, [
-    ...Result,
-    MulticallResult<ContractFunctionResult<Head['abi'], Head['functionName']>, TAllowFailure>
-], [
-    ...Depth,
-    1
-]> : TContracts extends ContractFunctionConfig<infer TAbi, infer TFunctionName>[] ? MulticallResult<ContractFunctionResult<TAbi, TFunctionName>, TAllowFailure>[] : MulticallResult<ContractFunctionResult, TAllowFailure>[];
+} : result;
 export {};
 //# sourceMappingURL=multicall.d.ts.map

package/dist/types/types/multicall.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"multicall.d.ts","sourceRoot":"","sources":["../../../src/types/multicall.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,uBAAuB,EAAE,MAAM,SAAS,CAAA;AAE3D,OAAO,KAAK,EACV,sBAAsB,EACtB,sBAAsB,EACvB,MAAM,eAAe,CAAA;AAEtB,KAAK,aAAa,GAAG,EAAE,CAAA;AAEvB,MAAM,MAAM,iBAAiB,CAC3B,IAAI,SAAS,GAAG,GAAG,SAAS,OAAO,EAAE,GAAG,GAAG,GAAG,SAAS,OAAO,EAAE,EAChE,aAAa,SAAS,uBAAuB,CAC3C,IAAI,SAAS,GAAG,GAAG,IAAI,GAAG,GAAG,EAC7B,MAAM,GAAG,MAAM,CAChB,GAAG,MAAM,IACR;IAAE,GAAG,EAAE,IAAI,CAAC;IAAC,YAAY,EAAE,aAAa,CAAA;CAAE,CAAA;AAE9C,MAAM,MAAM,kBAAkB,CAC5B,UAAU,SAAS,SAAS,iBAAiB,EAAE,EAC/C,WAAW,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,MAAM,EAChD,MAAM,SAAS,GAAG,EAAE,GAAG,EAAE,EACzB,KAAK,SAAS,SAAS,MAAM,EAAE,GAAG,EAAE,IAClC,KAAK,CAAC,QAAQ,CAAC,SAAS,aAAa,GACrC,CAAC,sBAAsB,GAAG,WAAW,CAAC,EAAE,GACxC,UAAU,SAAS,EAAE,GACrB,EAAE,GACF,UAAU,SAAS,CAAC,MAAM,IAAI,SAAS,iBAAiB,CAAC,GACzD;IACE,GAAG,MAAM;IACT,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,GAAG,WAAW;CACxE,GACD,UAAU,SAAS;IACjB,MAAM,IAAI,SAAS,iBAAiB;IACpC,GAAG,MAAM,IAAI,SAAS,SAAS,iBAAiB,EAAE;CACnD,GACD,kBAAkB,CAChB;IAAC,GAAG,IAAI;CAAC,EACT,WAAW,EACX;IACE,GAAG,MAAM;IACT,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,GAAG,WAAW;CACxE,EACD;IAAC,GAAG,KAAK;IAAE,CAAC;CAAC,CACd,GACD,OAAO,EAAE,SAAS,UAAU,GAC5B,UAAU,GAGZ,UAAU,SAAS,sBAAsB,CAAC,MAAM,IAAI,EAAE,MAAM,aAAa,CAAC,EAAE,GAC1E,CAAC,sBAAsB,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,WAAW,CAAC,EAAE,GAC7D,CAAC,sBAAsB,GAAG,WAAW,CAAC,EAAE,CAAA;AAE5C,MAAM,MAAM,eAAe,CACzB,MAAM,EACN,aAAa,SAAS,OAAO,GAAG,IAAI,IAClC,aAAa,SAAS,IAAI,GAEtB;IACE,KAAK,CAAC,EAAE,SAAS,CAAA;IACjB,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,SAAS,CAAA;CAClB,GACD;IACE,KAAK,EAAE,KAAK,CAAA;IACZ,MAAM,CAAC,EAAE,SAAS,CAAA;IAClB,MAAM,EAAE,SAAS,CAAA;CAClB,GACL,MAAM,CAAA;AAEV,MAAM,MAAM,gBAAgB,CAC1B,UAAU,SAAS,SAAS,iBAAiB,EAAE,EAC/C,aAAa,SAAS,OAAO,GAAG,IAAI,EACpC,MAAM,SAAS,GAAG,EAAE,GAAG,EAAE,EACzB,KAAK,SAAS,SAAS,MAAM,EAAE,GAAG,EAAE,IAClC,KAAK,CAAC,QAAQ,CAAC,SAAS,aAAa,GACrC,eAAe,CAAC,sBAAsB,EAAE,aAAa,CAAC,EAAE,GACxD,UAAU,SAAS,EAAE,GACrB,EAAE,GACF,UAAU,SAAS,CAAC,MAAM,IAAI,SAAS,iBAAiB,CAAC,GACzD;IACE,GAAG,MAAM;IACT,eAAe,CACb,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,EACzD,aAAa,CACd;CACF,GACD,UAAU,SAAS;IACjB,MAAM,IAAI,SAAS,iBAAiB;IACpC,GAAG,MAAM,IAAI,SAAS,SAAS,iBAAiB,EAAE;CACnD,GACD,gBAAgB,CACd;IAAC,GAAG,IAAI;CAAC,EACT,aAAa,EACb;IACE,GAAG,MAAM;IACT,eAAe,CACb,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,EACzD,aAAa,CACd;CACF,EACD;IAAC,GAAG,KAAK;IAAE,CAAC;CAAC,CACd,GACD,UAAU,SAAS,sBAAsB,CAAC,MAAM,IAAI,EAAE,MAAM,aAAa,CAAC,EAAE,GAC5E,eAAe,CACb,sBAAsB,CAAC,IAAI,EAAE,aAAa,CAAC,EAC3C,aAAa,CACd,EAAE,GACH,eAAe,CAAC,sBAAsB,EAAE,aAAa,CAAC,EAAE,CAAA"}
+{"version":3,"file":"multicall.d.ts","sourceRoot":"","sources":["../../../src/types/multicall.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,MAAM,SAAS,CAAA;AAE/E,OAAO,KAAK,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAA;AAG3E,KAAK,aAAa,GAAG,EAAE,CAAA;AAEvB,MAAM,MAAM,iBAAiB,CAC3B,GAAG,SAAS,GAAG,GAAG,SAAS,OAAO,EAAE,GAAG,GAAG,GAAG,SAAS,OAAO,EAAE,EAC/D,eAAe,SAAS,kBAAkB,GAAG,kBAAkB,EAC/D,YAAY,SAAS,uBAAuB,CAC1C,GAAG,SAAS,GAAG,GAAG,GAAG,GAAG,GAAG,EAC3B,eAAe,CAChB,GAAG,MAAM,IACR;IAAE,GAAG,EAAE,GAAG,CAAC;IAAC,YAAY,EAAE,YAAY,CAAA;CAAE,CAAA;AAE5C,MAAM,MAAM,kBAAkB,CAC5B,SAAS,SAAS,SAAS,iBAAiB,EAAE,EAC9C,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,MAAM,EAE/C,MAAM,SAAS,GAAG,EAAE,GAAG,EAAE,EACzB,KAAK,SAAS,SAAS,MAAM,EAAE,GAAG,EAAE,IAClC,KAAK,CAAC,QAAQ,CAAC,SAAS,aAAa,GACrC,CAAC,kBAAkB,GAAG,UAAU,CAAC,EAAE,GACnC,SAAS,SAAS,EAAE,GACpB,EAAE,GACF,SAAS,SAAS,CAAC,MAAM,IAAI,SAAS,iBAAiB,CAAC,GACxD;IACE,GAAG,MAAM;IACT,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,GACpE,UAAU;CACb,GACD,SAAS,SAAS;IAChB,MAAM,IAAI,SAAS,iBAAiB;IACpC,GAAG,MAAM,IAAI,SAAS,SAAS,iBAAiB,EAAE;CACnD,GACD,kBAAkB,CAChB;IAAC,GAAG,IAAI;CAAC,EACT,UAAU,EACV;IACE,GAAG,MAAM;IACT,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,GACpE,UAAU;CACb,EACD;IAAC,GAAG,KAAK;IAAE,CAAC;CAAC,CACd,GACD,OAAO,EAAE,SAAS,SAAS,GAC3B,SAAS,GAGX,SAAS,SAAS,kBAAkB,CAAC,MAAM,GAAG,EAAE,MAAM,CAAC,EAAE,MAAM,YAAY,CAAC,EAAE,GAC5E,CAAC,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,YAAY,CAAC,GAAG,UAAU,CAAC,EAAE,GAEvE,CAAC,kBAAkB,GAAG,UAAU,CAAC,EAAE,CAAA;AAEvC,MAAM,MAAM,gBAAgB,CAC1B,SAAS,SAAS,SAAS,iBAAiB,EAAE,EAC9C,YAAY,SAAS,OAAO,GAAG,IAAI,EAEnC,MAAM,SAAS,GAAG,EAAE,GAAG,EAAE,EACzB,KAAK,SAAS,SAAS,MAAM,EAAE,GAAG,EAAE,IAClC,KAAK,CAAC,QAAQ,CAAC,SAAS,aAAa,GACrC,eAAe,CAAC,kBAAkB,EAAE,YAAY,CAAC,EAAE,GACnD,SAAS,SAAS,EAAE,GACpB,EAAE,GACF,SAAS,SAAS,CAAC,MAAM,IAAI,SAAS,iBAAiB,CAAC,GACxD;IACE,GAAG,MAAM;IACT,eAAe,CACb,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,EACtE,YAAY,CACb;CACF,GACD,SAAS,SAAS;IAChB,MAAM,IAAI,SAAS,iBAAiB;IACpC,GAAG,MAAM,IAAI,SAAS,SAAS,iBAAiB,EAAE;CACnD,GACD,gBAAgB,CACd;IAAC,GAAG,IAAI;CAAC,EACT,YAAY,EACZ;IACE,GAAG,MAAM;IACT,eAAe,CACb,kBAAkB,CAChB,IAAI,CAAC,KAAK,CAAC,EACX,MAAM,GAAG,MAAM,EACf,IAAI,CAAC,cAAc,CAAC,CACrB,EACD,YAAY,CACb;CACF,EACD;IAAC,GAAG,KAAK;IAAE,CAAC;CAAC,CACd,GACD,SAAS,SAAS,kBAAkB,CAClC,MAAM,GAAG,EACT,MAAM,CAAC,EACP,MAAM,YAAY,CACnB,EAAE,GAEH,eAAe,CACb,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,YAAY,CAAC,EACtD,YAAY,CACb,EAAE,GAEH,eAAe,CAAC,kBAAkB,EAAE,YAAY,CAAC,EAAE,CAAA;AAEvD,MAAM,MAAM,eAAe,CACzB,MAAM,EACN,YAAY,SAAS,OAAO,GAAG,IAAI,IACjC,YAAY,SAAS,IAAI,GAErB;IAAE,KAAK,CAAC,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,CAAA;CAAE,GACxD;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,MAAM,CAAC,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,SAAS,CAAA;CAAE,GAC3D,MAAM,CAAA"}

package/package.json

@@ -21,7 +21,7 @@
       "optional": true
     }
   },
-  "version": "0.0.0-w-20230815171822",
+  "version": "0.0.0-w-20230816153316",
   "files": [
     "dist",
     "!dist/**/*.tsbuildinfo",

package/src/actions/public/multicall.ts

@@ -7,7 +7,10 @@ import { AbiDecodingZeroDataError } from '../../errors/abi.js'
 import type { BaseError } from '../../errors/base.js'
 import { RawContractError } from '../../errors/contract.js'
 import type { Chain } from '../../types/chain.js'
-import type { ContractFunctionConfig } from '../../types/contract.js'
+import type {
+  ContractFunctionConfig,
+  ContractParameters,
+} from '../../types/contract.js'
 import type { Hex } from '../../types/misc.js'
 import type {
   MulticallContract,
@@ -26,20 +29,23 @@ import type { CallParameters } from './call.js'
 import { readContract } from './readContract.js'
 
 export type MulticallParameters<
-  TContracts extends readonly MulticallContract[] = readonly MulticallContract[],
-  TAllowFailure extends boolean = true,
+  contracts extends readonly MulticallContract[] = readonly MulticallContract[],
+  allowFailure extends boolean = true,
 > = Pick<CallParameters, 'blockNumber' | 'blockTag'> & {
-  allowFailure?: TAllowFailure
-  /** The maximum size (in bytes) for each calldata chunk. Set to `0` to disable the size limit. @default 1_024 */
-  batchSize?: number
-  contracts: readonly [...MulticallContracts<TContracts>]
-  multicallAddress?: Address
+  allowFailure?: allowFailure | undefined
+  /**
+   * The maximum size (in bytes) for each calldata chunk. Set to `0` to disable the size limit.
+   * @default 1_024
+   */
+  batchSize?: number | undefined
+  contracts: readonly [...MulticallContracts<contracts>]
+  multicallAddress?: Address | undefined
 }
 
 export type MulticallReturnType<
-  TContracts extends readonly MulticallContract[] = readonly MulticallContract[],
-  TAllowFailure extends boolean = true,
-> = MulticallResults<TContracts, TAllowFailure>
+  contracts extends readonly MulticallContract[] = readonly MulticallContract[],
+  allowFailure extends boolean = true,
+> = MulticallResults<contracts, allowFailure>
 
 /**
  * Similar to [`readContract`](https://viem.sh/docs/contract/readContract.html), but batches up multiple functions on a contract in a single RPC call via the [`multicall3` contract](https://github.com/mds1/multicall).
@@ -81,18 +87,19 @@ export type MulticallReturnType<
  * // [{ result: 424122n, status: 'success' }, { result: 1000000n, status: 'success' }]
  */
 export async function multicall<
-  const TAbi extends Abi | readonly unknown[],
-  TFunctionName extends string,
-  const TContracts extends readonly ContractFunctionConfig<
-    TAbi,
-    TFunctionName
+  const abi extends Abi | readonly unknown[],
+  functionName extends string,
+  const contracts extends readonly ContractParameters<
+    abi,
+    'pure' | 'view',
+    functionName
   >[],
-  TChain extends Chain | undefined,
-  TAllowFailure extends boolean = true,
+  chain extends Chain | undefined,
+  allowFailure extends boolean = true,
 >(
-  client: Client<Transport, TChain>,
-  args: MulticallParameters<TContracts, TAllowFailure>,
-): Promise<MulticallReturnType<TContracts, TAllowFailure>> {
+  client: Client<Transport, chain>,
+  parameters: MulticallParameters<contracts, allowFailure>,
+): Promise<MulticallReturnType<contracts, allowFailure>> {
   const {
     allowFailure = true,
     batchSize: batchSize_,
@@ -100,7 +107,7 @@ export async function multicall<
     blockTag,
     contracts,
     multicallAddress: multicallAddress_,
-  } = args
+  } = parameters
 
   const batchSize =
     batchSize_ ??
@@ -217,5 +224,5 @@ export async function multicall<
       if (!allowFailure) throw error
       return { error, result: undefined, status: 'failure' }
     }
-  }) as MulticallResults<TContracts, TAllowFailure>
+  }) as MulticallResults<contracts, allowFailure>
 }

package/src/actions/public/readContract.ts

@@ -1,12 +1,12 @@
-import type { Abi } from 'abitype'
+import type { Abi, ExtractAbiFunctionNames } from 'abitype'
 
 import type { Client } from '../../clients/createClient.js'
 import type { Transport } from '../../clients/transports/createTransport.js'
 import type { BaseError } from '../../errors/base.js'
 import type { Chain } from '../../types/chain.js'
 import type {
-  ContractFunctionConfig,
   ContractFunctionResult,
+  ContractParameters,
 } from '../../types/contract.js'
 import {
   type DecodeFunctionResultParameters,
@@ -21,10 +21,13 @@ import { getContractError } from '../../utils/errors/getContractError.js'
 import { type CallParameters, call } from './call.js'
 
 export type ReadContractParameters<
-  TAbi extends Abi | readonly unknown[] = Abi,
-  TFunctionName extends string = string,
+  abi extends Abi | readonly unknown[] = Abi,
+  functionName extends ExtractAbiFunctionNames<
+    abi extends Abi ? abi : Abi,
+    'view' | 'pure'
+  > = string,
 > = Pick<CallParameters, 'account' | 'blockNumber' | 'blockTag'> &
-  ContractFunctionConfig<TAbi, TFunctionName, 'view' | 'pure'>
+  ContractParameters<abi, 'view' | 'pure', functionName>
 
 export type ReadContractReturnType<
   TAbi extends Abi | readonly unknown[] = Abi,
@@ -63,24 +66,19 @@ export type ReadContractReturnType<
  * // 424122n
  */
 export async function readContract<
-  TChain extends Chain | undefined,
-  const TAbi extends Abi | readonly unknown[],
-  TFunctionName extends string,
+  chain extends Chain | undefined,
+  const abi extends Abi | readonly unknown[],
+  functionName extends string,
 >(
-  client: Client<Transport, TChain>,
-  {
-    abi,
-    address,
-    args,
-    functionName,
-    ...callRequest
-  }: ReadContractParameters<TAbi, TFunctionName>,
-): Promise<ReadContractReturnType<TAbi, TFunctionName>> {
+  client: Client<Transport, chain>,
+  parameters: ReadContractParameters<abi, functionName>,
+): Promise<ReadContractReturnType<abi, functionName>> {
+  const { abi, address, args, functionName, ...callRequest } = parameters
   const calldata = encodeFunctionData({
     abi,
     args,
     functionName,
-  } as unknown as EncodeFunctionDataParameters<TAbi, TFunctionName>)
+  } as unknown as EncodeFunctionDataParameters<abi, functionName>)
   try {
     const { data } = await call(client, {
       data: calldata,
@@ -93,9 +91,9 @@ export async function readContract<
       functionName,
       data: data || '0x',
     } as DecodeFunctionResultParameters<
-      TAbi,
-      TFunctionName
-    >) as ReadContractReturnType<TAbi, TFunctionName>
+      abi,
+      functionName
+    >) as ReadContractReturnType<abi, functionName>
   } catch (err) {
     throw getContractError(err as BaseError, {
       abi: abi as Abi,

package/src/actions/wallet/writeContract.ts

@@ -1,11 +1,11 @@
-import type { Abi } from 'abitype'
+import type { Abi, ExtractAbiFunctionNames } from 'abitype'
 
 import type { Account } from '../../accounts/types.js'
 import type { Client } from '../../clients/createClient.js'
 import type { Transport } from '../../clients/transports/createTransport.js'
 import type { GetAccountParameter } from '../../types/account.js'
 import type { Chain, GetChain } from '../../types/chain.js'
-import type { ContractFunctionConfig, GetValue } from '../../types/contract.js'
+import type { ContractParameters, GetValue } from '../../types/contract.js'
 import type { Hex } from '../../types/misc.js'
 import type { UnionOmit } from '../../types/utils.js'
 import {
@@ -20,29 +20,32 @@ import {
 } from './sendTransaction.js'
 
 export type WriteContractParameters<
-  TAbi extends Abi | readonly unknown[] = Abi,
-  TFunctionName extends string = string,
-  TChain extends Chain | undefined = Chain,
-  TAccount extends Account | undefined = Account | undefined,
-  TChainOverride extends Chain | undefined = Chain | undefined,
-> = ContractFunctionConfig<TAbi, TFunctionName, 'payable' | 'nonpayable'> &
-  GetAccountParameter<TAccount> &
-  GetChain<TChain, TChainOverride> &
+  abi extends Abi | readonly unknown[] = Abi,
+  functionName extends ExtractAbiFunctionNames<
+    abi extends Abi ? abi : Abi,
+    'payable' | 'nonpayable'
+  > = string,
+  chain extends Chain | undefined = Chain,
+  account extends Account | undefined = Account | undefined,
+  chainOverride extends Chain | undefined = Chain | undefined,
+> = ContractParameters<abi, 'payable' | 'nonpayable', functionName> &
   UnionOmit<
     FormattedTransactionRequest<
-      TChainOverride extends Chain ? TChainOverride : TChain
+      chainOverride extends Chain ? chainOverride : chain
     >,
-    'from' | 'to' | 'data' | 'value'
+    'data' | 'from' | 'to' | 'value'
   > &
+  GetAccountParameter<account> &
+  GetChain<chain, chainOverride> &
   GetValue<
-    TAbi,
-    TFunctionName,
+    abi,
+    functionName,
     SendTransactionParameters<
-      TChain,
-      TAccount,
-      TChainOverride
+      chain,
+      account,
+      chainOverride
     > extends SendTransactionParameters
-      ? SendTransactionParameters<TChain, TAccount, TChainOverride>['value']
+      ? SendTransactionParameters<chain, account, chainOverride>['value']
       : SendTransactionParameters['value']
   > & {
     /** Data to append to the end of the calldata. Useful for adding a ["domain" tag](https://opensea.notion.site/opensea/Seaport-Order-Attributions-ec2d69bf455041a5baa490941aad307f). */
@@ -102,37 +105,32 @@ export type WriteContractReturnType = SendTransactionReturnType
  * const hash = await writeContract(client, request)
  */
 export async function writeContract<
-  TChain extends Chain | undefined,
-  TAccount extends Account | undefined,
-  const TAbi extends Abi | readonly unknown[],
-  TFunctionName extends string,
-  TChainOverride extends Chain | undefined,
+  chain extends Chain | undefined,
+  account extends Account | undefined,
+  const abi extends Abi | readonly unknown[],
+  functionName extends string,
+  chainOverride extends Chain | undefined,
 >(
-  client: Client<Transport, TChain, TAccount>,
-  {
+  client: Client<Transport, chain, account>,
+  parameters: WriteContractParameters<
     abi,
-    address,
-    args,
-    dataSuffix,
     functionName,
-    ...request
-  }: WriteContractParameters<
-    TAbi,
-    TFunctionName,
-    TChain,
-    TAccount,
-    TChainOverride
+    chain,
+    account,
+    chainOverride
   >,
 ): Promise<WriteContractReturnType> {
+  const { abi, address, args, dataSuffix, functionName, ...request } =
+    parameters
   const data = encodeFunctionData({
     abi,
     args,
     functionName,
-  } as unknown as EncodeFunctionDataParameters<TAbi, TFunctionName>)
+  } as unknown as EncodeFunctionDataParameters<abi, functionName>)
   const hash = await sendTransaction(client, {
     data: `${data}${dataSuffix ? dataSuffix.replace('0x', '') : ''}`,
     to: address,
     ...request,
-  } as unknown as SendTransactionParameters<TChain, TAccount, TChainOverride>)
+  } as unknown as SendTransactionParameters<chain, account, chainOverride>)
   return hash
 }

package/src/index.ts

@@ -7,6 +7,7 @@ export {
   type AbiParameterToPrimitiveType,
   type Address,
   type ExtractAbiFunction,
+  type ExtractAbiFunctionNames,
   type Narrow,
   type ParseAbi,
   type ParseAbiItem,
@@ -514,6 +515,8 @@ export { SizeExceedsPaddingSizeError } from './errors/data.js'
 export { UrlRequiredError } from './errors/transport.js'
 export type {
   AbiItem,
+  ContractParameters,
+  ContractReturnType,
   ContractFunctionConfig,
   ContractFunctionResult,
   GetConstructorArgs,

package/src/types/contract.ts

@@ -31,6 +31,61 @@ export type AbiItem = Abi[number]
 
 export type EventDefinition = `${string}(${string})`
 
+export type ContractParameters<
+  abi extends Abi | readonly unknown[] = readonly unknown[],
+  stateMutability extends AbiStateMutability = AbiStateMutability,
+  functionName extends ExtractAbiFunctionNames<
+    abi extends Abi ? abi : Abi,
+    stateMutability
+  > = string,
+  ///
+  functionNames extends string = abi extends Abi
+    ? ExtractAbiFunctionNames<abi, stateMutability>
+    : string,
+  abiFunction extends AbiFunction = abi extends Abi
+    ? ExtractAbiFunction<abi, functionName, stateMutability>
+    : AbiFunction,
+  types = AbiParametersToPrimitiveTypes<abiFunction['inputs'], 'inputs'>,
+  args =
+    | types // show all values
+    | (Abi extends abi ? readonly unknown[] | undefined : never) // `abi` declared as `Abi`
+    | (readonly [] extends types ? undefined : never), // `abiFunction` has no inputs
+  isArgsOptional extends boolean = Abi extends abi
+    ? true
+    : readonly [] extends types
+    ? true
+    : false,
+> = {
+  abi: abi
+  address: Address
+  functionName:
+    | functionNames // show all values
+    | (functionName extends functionNames ? functionName : never) // validate `functionName`
+    | ([functionNames] extends [never] ? string : never) // `abi` declared as `Abi`
+} & (isArgsOptional extends true ? { args?: args | undefined } : { args: args })
+
+export type ContractReturnType<
+  abi extends Abi | readonly unknown[] = readonly unknown[],
+  stateMutability extends AbiStateMutability = AbiStateMutability,
+  functionName extends ExtractAbiFunctionNames<
+    abi extends Abi ? abi : Abi,
+    stateMutability
+  > = string,
+  ///
+  abiFunction extends AbiFunction = abi extends Abi
+    ? ExtractAbiFunction<abi, functionName, stateMutability>
+    : AbiFunction,
+  types = AbiParametersToPrimitiveTypes<abiFunction['outputs'], 'outputs'>,
+> = [abiFunction] extends [never]
+  ? unknown // `abiFunction` was not inferrable (e.g. `abi` declared as `Abi`)
+  : readonly unknown[] extends types
+  ? unknown // `abiFunction` was not inferrable (e.g. `abi` not const asserted)
+  : types extends readonly [] // unwrap `types`
+  ? void // no outputs
+  : types extends readonly [infer type]
+  ? type // single output
+  : types
+
 export type ContractFunctionConfig<
   TAbi extends Abi | readonly unknown[] = Abi,
   TFunctionName extends string = string,