Is it possible to use an array type instead of a tuple with static-length arrays?

[SleepingShell]

This question I guess also extends to Wagmi given this struct is used as a function parameter.

I have a struct defined as such in my contract, with MAX_TOKENS as a constant:

struct DepositArgs {
    uint256[MAX_TOKENS] depositAmount;
    uint256[2] outCommitments;
    bytes[2] encryptedOutputs;
    bytes proof;
  }

function deposit(DepositArgs calldata args) external {
    ...
}

I am grabbing the type of the DepositArgs as follows:

type DepositArgsStruct = AbiParametersToPrimitiveTypes<ExtractAbiFunction<typeof zkErc20ABI, 'deposit'>['inputs'][0]['components']>;

However, the code I have written for my utility functions uses bigint[]. Is there a good way to continue interfacing with Wagmi, and abi-extracted types with arrays instead of tuples? It seems like some additional boilerplate is needed if, for instance, large arrays were used in the solidity code. Or is this considering undesirable as then the length of the arrays won't be compile-time checked?

[Raiden1411]

I think that the design decision to convert to tuples for fixed size arrays makes total sense here but if you want to change the way that those types infer to fixed size tuples from fixed sized solidity arrays you will need to reconfigure the types manually. Here is a example of what I mean on this TSPlayground.

This however won't work if you are using wagmi's readContract and others alike since you can't really extend the type config like it's shown here.

We could possibly create a config for this type of situation but I think that it would lead to incorrect inference if we were to support it.

[SleepingShell]

Thanks for the response. I see the motivation for the design and it's probably the best and safest approach, I'll adopt accordingly.

Btw, could you confirm if the way I am grapping the depositArgsStruct type is fine?

[Raiden1411]

As long as it gets you the type you want its good. If you want something more generic consider taking a look at the examples/types.ts or viem's exported type helpers