@ts-rust/std
Version:
Rust-inspired utilities for TypeScript: Option, Result, and error handling for safer, more predictable code.
28 lines • 1.63 kB
TypeScript
import { PendingResult, Result } from "./index";
/**
* Extracts a tuple of underlying success value types from an array of {@link Result} or
* {@link PendingResult} instances.
*
* The {@link OkValues} type maps over a tuple `T` of `Result<unknown, E>` or
* `PendingResult<unknown, E>` types and extracts the success value type `U` for each
* element using conditional type inference. The result is a tuple of the inferred success
* value types corresponding to the input array's elements, ignoring the error types.
*/
export type OkValues<T extends unknown[], E = unknown> = {
[idx in keyof T]: T[idx] extends Result<infer U, E> ? U : T[idx] extends PendingResult<infer U, E> ? U : never;
};
/**
* Extracts a tuple of awaited underlying success value types from an array of {@link Result} or
* {@link PendingResult} instances.
*
* The {@link OkAwaitedValues} type maps over a tuple `T` of `Result<unknown, E>` or
* `PendingResult<unknown, E>` types and extracts the awaited success value type `U` for each
* element using conditional type inference. It applies the `Awaited` utility type to resolve
* `Promise`-like types within each `U`, making it suitable for handling asynchronous success values
* across multiple instances. The result is a tuple of the awaited inferred success value types
* corresponding to the input array's elements, ignoring the error types.
*/
export type OkAwaitedValues<T extends unknown[], E = unknown> = {
[idx in keyof T]: T[idx] extends Result<infer U, E> ? Awaited<U> : T[idx] extends PendingResult<infer U, E> ? Awaited<U> : never;
};
//# sourceMappingURL=types.d.ts.map