UNPKG

runtypes

Version:

Runtime validation for static types

26 lines (25 loc) 1.62 kB
import type Runtype from "../Runtype.js"; import { type Static, type Parsed } from "../Runtype.js"; type Options = { receives?: Runtype.Core<readonly unknown[]> | undefined; resolves?: Runtype.Core | undefined; }; type AsyncFunction = (...args: readonly any[]) => Promise<any>; type EnforcedParametersStatic<O extends Options, F extends AsyncFunction> = O["receives"] extends Runtype.Core ? Static<O["receives"]> : Parameters<F>; type EnforcedReturnTypeStatic<O extends Options, F extends AsyncFunction> = O["resolves"] extends Runtype.Core ? Static<O["resolves"]> : Awaited<ReturnType<F>>; type EnforcedParametersParsed<O extends Options, F extends AsyncFunction> = O["receives"] extends Runtype.Core ? Parsed<O["receives"]> : Parameters<F>; type EnforcedReturnTypeParsed<O extends Options, F extends AsyncFunction> = O["resolves"] extends Runtype.Core ? Parsed<O["resolves"]> & Awaited<ReturnType<F>> : Awaited<ReturnType<F>>; type AsyncContract<O extends Options> = O & { enforce: <F extends (...args: EnforcedParametersParsed<O, F>) => Promise<EnforcedReturnTypeStatic<O, F>>>(f: F) => (...args: EnforcedParametersStatic<O, F>) => Promise<EnforcedReturnTypeParsed<O, F>>; }; /** * Creates an async function contract. * * Possible failures: * * - `ARGUMENTS_INCORRECT` with `detail` reporting the inner failures * - `RETURN_INCORRECT` with `detail` reporting that the returned value is not a `Promise` * - `RESOLVE_INCORRECT` with `detail` reporting the inner failure */ declare const AsyncContract: <O extends Options>({ receives, resolves }: O) => AsyncContract<O>; export default AsyncContract;