Type alias InferDeriveProofs<T>

InferDeriveProofs<T>: T extends [infer U, ...(infer E)]
    ? [ToDeriveClaim<U & "/home/runner/work/w3up/w3up/node_modules/.pnpm/@ucanto+interface@10.0.1/node_modules/@ucanto/interface/dist/src/lib".ParsedCapability>, ...InferDeriveProofs<E>]
    : T extends never[]
        ? []
        : never

Another helper type which is equivalent of ToDeriveClaim except it works on tuple of capabilities.

Type Parameters

  • T

Settings

Member Visibility

Theme

Generated using TypeDoc