Общая функция Typescript, в которой параметры объединяются в возвращаемый тип

Я бы хотел сделать union и intersectionуниверсальными в типе кортежа T, соответствующему типу, который каждый validators является охраняющим. Например, если у вас есть валидаторы vx типа Validator<X>, vy типа Validator<Y> и vz типа Validator<Z>, то при вызове union([vx, vy, vz]) мы хотим, чтобы T было [X, Y, Z].

Затем мы можем представить ввод validators как простой отображаемый тип в кортеже , например {[I in keyof T]: Validator<T[I]>}. А чтобы намекнуть, что мы хотим, чтобы T был кортежем, а не неупорядоченным типом массива , мы можем записать его как вариативный тип кортежа , [...{ I in keyof T]: Validator<T[I]> }]. Поскольку отображаемый тип является гомоморфным (см. Что означает «гомоморфный отображаемый тип»?), компилятор может сделать вывод T из значения этого отображаемого типа.

Это означает, что все, о чем нам нужно беспокоиться, это возвращаемые типы union и intersection.

Для union возникает вопрос: «данный тип кортежа T, как нам записать тип, который является объединением всех его типов элементов»? Это относительно легко написать; все, что нам нужно сделать, это индексировать в тип с number, поскольку типы кортежей уже имеют number сигнатуру индекса с объединением типов элементов. (Надеюсь, это имеет смысл; если у вас есть значение a типа [string, number, boolean] и вы индексируете его с помощью numberi, которое не выходит за пределы, то тип a[i] будет string | number | boolean):

const union = <T extends any[]>(
    validators: [...{ [I in keyof T]: Validator<T[I]> }]
): Validator<T[number]> => {
    return (doc: any): doc is T[number] => {
        for (const validator of validators) {
            if (validator(doc)) return true;
        }
        return false;
    }
}

И давайте протестируем:

declare const oneValidator: Validator<FooOne>;
declare const twoValidator: Validator<FooTwo>;
declare const threeValidator: Validator<FooThree>;

const uv1 = union([oneValidator]);
// const uv1: Validator<FooOne>
const uv12 = union([oneValidator, twoValidator]);
// const uv12: Validator<FooOne | FooTwo>
const uv123 = union([oneValidator, twoValidator, threeValidator]);
// const uv123: Validator<FooOne | FooTwo | FooThree>

Выглядит неплохо.

Для intersection возникает вопрос: «данный тип кортежа T, как нам записать тип, который является пересечением всех его типов элементов»? Это более вовлечено. Нет простого способа получить это... индексированные типы доступа соответствуют тому, что вы получаете, когда читаете свойства, а не записываете их.

Чтобы превратить кортеж в пересечение всех его типов элементов, нам нужно написать собственный служебный тип, который сопоставляет кортеж с версией с элементами в позиции контравариантного типа (см. Разница между дисперсией, ковариантностью, контравариантностью и Бивариантность в TypeScript ), а затем использовать условный вывод типов через infer, чтобы вывести один тип для тех, которые станут пересечением, как описано в документации.

Это выглядит так:

type TupleToIntersection<T extends any[]> = {
    [I in keyof T]: (x: T[I]) => void
}[number] extends (x: infer R) => void ? R : never;

который вы можете проверить, работает по назначению:

type Test = TupleToIntersection<[{ a: string }, { b: number }, { c: boolean }]>
// type Test = { a: string; } & { b: number; } & { c: boolean; }

И таким образом intersection выглядит

const intersection = <T extends any[]>(
    validators: [...{ [I in keyof T]: Validator<T[I]> }]
): Validator<TupleToIntersection<T>> => {
    return ((doc: any): doc is TupleToIntersection<T> => {
        for (const validator of validators) {
            if (!validator(doc)) return false;
        }
        return true;
    });
}

И давайте протестируем:

const iv1 = intersection([oneValidator]);
// const iv1: Validator<FooOne>
const iv12 = intersection([oneValidator, twoValidator]);
// const iv12: Validator<FooOne & FooTwo>
const iv123 = intersection([oneValidator, twoValidator, threeValidator]);
// const iv123: Validator<FooOne & FooTwo & FooThree>

Также хорошо выглядит.

Площадка ссылка на код