TupleSchemable

import type { TupleSchemable } from "https://github.gh-proxy.cn/raw.githubusercontent.com/baetheus/fun/main/schemable.ts";

Takes a tuple of Schemables and returns a Schemable for a tuple that matches, index for index, the input schemables.

ie. [StringSchemable, NumberSchemable] becomes Schemable<[string, number]>

interface TupleSchemable <U extends Kind> extends Hold<U> {

readonly tuple: <A extends any[], B, C, D, E>(...items: readonly [K in keyof A]: $<U, [A[K], B, C], [D], [E]>) => $<U, [[K in keyof A]: A[K], B, C], [D], [E]>;

}

§Type Parameters

U extends Kind

[src]

§Extends

Hold<U>

[src]

§Properties

readonly tuple: <A extends any[], B, C, D, E>(...items: readonly [K in keyof A]: $<U, [A[K], B, C], [D], [E]>) => $<U, [[K in keyof A]: A[K], B, C], [D], [E]>

[src]