Function HTPipe

HTPipe(): {}

HTPipe<
    T extends
        OptionallyHasExtractAmbient<any, any> & OptionallyHasExtractInputs<
            any,
            any,
        > & OptionallyHasSanitizeInputs<any, any> & OptionallyHasPreAuthorize<
            any,
            any,
        > & OptionallyHasLoadResources<any, any> & OptionallyHasFinalAuthorize<
            any,
            any,
        > & OptionallyHasExecute<any, any> & OptionallyHasRedactResponse<any, any>,
>(
    obj: T,
): Pick<T, AllStageKeys> & NonStageKeys<T>

HTPipe<
    TLeft extends
        OptionallyHasExtractAmbient<any, any> & OptionallyHasExtractInputs<
            any,
            any,
        > & OptionallyHasSanitizeInputs<any, any> & OptionallyHasPreAuthorize<
            any,
            any,
        > & OptionallyHasLoadResources<any, any> & OptionallyHasFinalAuthorize<
            any,
            any,
        > & OptionallyHasExecute<any, any> & OptionallyHasRedactResponse<any, any>,
    TRight extends
        (
            (({} | OptionallyHasExtractAmbient<any, any>) & ({} | OptionallyHasExtractInputs<any, any>)) & (({} | OptionallyHasSanitizeInputs<any, any>) & ({} | OptionallyHasPreAuthorize<...>))
        ) & (
            (({} | OptionallyHasLoadResources<any, any>) & ({} | OptionallyHasFinalAuthorize<any, any>)) & (({} | OptionallyHasExecute<any, any>) & ({} | OptionallyHasRedactResponse<...>))
        ),
>(
    left: TLeft,
    right: TRight,
): PipedExtractAmbient<TLeft, TRight> & PipedExtractInputs<TLeft, TRight> & PipedSanitizeInputs<
    TLeft,
    TRight,
> & PipedPreAuthorize<TLeft, TRight> & PipedLoadResources<TLeft, TRight> & PipedFinalAuthorize<
    TLeft,
    TRight,
> & PipedExecute<TLeft, TRight> & PipedRedactResponse<TLeft, TRight> & NonStageKeys<
    TRight,
> & Omit<
    NonStageKeys<TLeft>,
    Exclude<keyof KnownKeys<TRight>, AllStageKeys>,
>

HTPipe<
    TLeft extends
        ClashlessExtractAmbient<TLeft, TRight> & ClashlessExtractInputs<
            TLeft,
            TRight,
        > & ClashlessSanitizeInputs<TLeft, TRight> & ClashlessPreAuthorize<
            TLeft,
            TRight,
        > & ClashlessLoadResources<TLeft, TRight> & ClashlessFinalAuthorize<
            TLeft,
            TRight,
        > & ClashlessExecute<TLeft, TRight> & ClashlessRedactResponse<
            TLeft,
            TRight,
        >,
    TRight extends
        OptionallyHasExtractAmbient<any, any> & OptionallyHasExtractInputs<
            any,
            any,
        > & OptionallyHasSanitizeInputs<any, any> & OptionallyHasPreAuthorize<
            any,
            any,
        > & OptionallyHasLoadResources<any, any> & OptionallyHasFinalAuthorize<
            any,
            any,
        > & OptionallyHasExecute<any, any> & OptionallyHasRedactResponse<any, any>,
>(
    left: TLeft,
    right: TRight,
): PipedExtractAmbient<TLeft, TRight> & PipedExtractInputs<TLeft, TRight> & PipedSanitizeInputs<
    TLeft,
    TRight,
> & PipedPreAuthorize<TLeft, TRight> & PipedLoadResources<TLeft, TRight> & PipedFinalAuthorize<
    TLeft,
    TRight,
> & PipedExecute<TLeft, TRight> & PipedRedactResponse<TLeft, TRight> & NonStageKeys<
    TRight,
> & Omit<
    NonStageKeys<TLeft>,
    Exclude<keyof KnownKeys<TRight>, AllStageKeys>,
>

HTPipe<
    T3 extends
        ClashlessExtractAmbient<T3, PipedExtractAmbient<T2, T1>> & ClashlessExtractInputs<
            T3,
            PipedExtractInputs<T2, T1>,
        > & ClashlessSanitizeInputs<T3, PipedSanitizeInputs<T2, T1>> & ClashlessPreAuthorize<
            T3,
            PipedPreAuthorize<T2, T1>,
        > & ClashlessLoadResources<T3, PipedLoadResources<T2, T1>> & ClashlessFinalAuthorize<
            T3,
            PipedFinalAuthorize<T2, T1>,
        > & ClashlessExecute<T3, PipedExecute<T2, T1>> & ClashlessRedactResponse<
            T3,
            PipedRedactResponse<T2, T1>,
        >,
    T2 extends
        ClashlessExtractAmbient<T2, T1> & ClashlessExtractInputs<T2, T1> & ClashlessSanitizeInputs<
            T2,
            T1,
        > & ClashlessPreAuthorize<T2, T1> & ClashlessLoadResources<T2, T1> & ClashlessFinalAuthorize<
            T2,
            T1,
        > & ClashlessExecute<T2, T1> & ClashlessRedactResponse<T2, T1>,
    T1 extends
        OptionallyHasExtractAmbient<any, any> & OptionallyHasExtractInputs<
            any,
            any,
        > & OptionallyHasSanitizeInputs<any, any> & OptionallyHasPreAuthorize<
            any,
            any,
        > & OptionallyHasLoadResources<any, any> & OptionallyHasFinalAuthorize<
            any,
            any,
        > & OptionallyHasExecute<any, any> & OptionallyHasRedactResponse<any, any>,
>(
    obj3: T3,
    obj2: T2,
    obj1: T1,
): PipedExtractAmbient<T3, PipedExtractAmbient<T2, T1>> & PipedExtractInputs<
    T3,
    PipedExtractInputs<T2, T1>,
> & PipedSanitizeInputs<T3, PipedSanitizeInputs<T2, T1>> & PipedPreAuthorize<
    T3,
    PipedPreAuthorize<T2, T1>,
> & PipedLoadResources<T3, PipedLoadResources<T2, T1>> & PipedFinalAuthorize<
    T3,
    PipedFinalAuthorize<T2, T1>,
> & PipedExecute<T3, PipedExecute<T2, T1>> & PipedRedactResponse<
    T3,
    PipedRedactResponse<T2, T1>,
> & NonStageKeys<PipedPassthrough<T2, T1>> & Omit<
    NonStageKeys<T3>,
    Exclude<keyof KnownKeys<PipedPassthrough<T2, T1>>, AllStageKeys>,
>

HTPipe<
    T4 extends
        ClashlessExtractAmbient<
            T4,
            PipedExtractAmbient<T3, PipedExtractAmbient<T2, T1>>,
        > & ClashlessExtractInputs<
            T4,
            PipedExtractInputs<T3, PipedExtractInputs<T2, T1>>,
        > & ClashlessSanitizeInputs<
            T4,
            PipedSanitizeInputs<T3, PipedSanitizeInputs<T2, T1>>,
        > & ClashlessPreAuthorize<
            T4,
            PipedPreAuthorize<T3, PipedPreAuthorize<T2, T1>>,
        > & ClashlessLoadResources<
            T4,
            PipedLoadResources<T3, PipedLoadResources<T2, T1>>,
        > & ClashlessFinalAuthorize<
            T4,
            PipedFinalAuthorize<T3, PipedFinalAuthorize<T2, T1>>,
        > & ClashlessExecute<T4, PipedExecute<T3, PipedExecute<T2, T1>>> & ClashlessRedactResponse<
            T4,
            PipedRedactResponse<T3, PipedRedactResponse<T2, T1>>,
        >,
    T3 extends
        ClashlessExtractAmbient<T3, PipedExtractAmbient<T2, T1>> & ClashlessExtractInputs<
            T3,
            PipedExtractInputs<T2, T1>,
        > & ClashlessSanitizeInputs<T3, PipedSanitizeInputs<T2, T1>> & ClashlessPreAuthorize<
            T3,
            PipedPreAuthorize<T2, T1>,
        > & ClashlessLoadResources<T3, PipedLoadResources<T2, T1>> & ClashlessFinalAuthorize<
            T3,
            PipedFinalAuthorize<T2, T1>,
        > & ClashlessExecute<T3, PipedExecute<T2, T1>> & ClashlessRedactResponse<
            T3,
            PipedRedactResponse<T2, T1>,
        >,
    T2 extends
        ClashlessExtractAmbient<T2, T1> & ClashlessExtractInputs<T2, T1> & ClashlessSanitizeInputs<
            T2,
            T1,
        > & ClashlessPreAuthorize<T2, T1> & ClashlessLoadResources<T2, T1> & ClashlessFinalAuthorize<
            T2,
            T1,
        > & ClashlessExecute<T2, T1> & ClashlessRedactResponse<T2, T1>,
    T1 extends
        OptionallyHasExtractAmbient<any, any> & OptionallyHasExtractInputs<
            any,
            any,
        > & OptionallyHasSanitizeInputs<any, any> & OptionallyHasPreAuthorize<
            any,
            any,
        > & OptionallyHasLoadResources<any, any> & OptionallyHasFinalAuthorize<
            any,
            any,
        > & OptionallyHasExecute<any, any> & OptionallyHasRedactResponse<any, any>,
>(
    obj4: T4,
    obj3: T3,
    obj2: T2,
    obj1: T1,
): PipedExtractAmbient<
    T4,
    PipedExtractAmbient<T3, PipedExtractAmbient<T2, T1>>,
> & PipedExtractInputs<
    T4,
    PipedExtractInputs<T3, PipedExtractInputs<T2, T1>>,
> & PipedSanitizeInputs<
    T4,
    PipedSanitizeInputs<T3, PipedSanitizeInputs<T2, T1>>,
> & PipedPreAuthorize<T4, PipedPreAuthorize<T3, PipedPreAuthorize<T2, T1>>> & PipedLoadResources<
    T4,
    PipedLoadResources<T3, PipedLoadResources<T2, T1>>,
> & PipedFinalAuthorize<
    T4,
    PipedFinalAuthorize<T3, PipedFinalAuthorize<T2, T1>>,
> & PipedExecute<T4, PipedExecute<T3, PipedExecute<T2, T1>>> & PipedRedactResponse<
    T4,
    PipedRedactResponse<T3, PipedRedactResponse<T2, T1>>,
> & NonStageKeys<PipedPassthrough<T3, PipedPassthrough<T2, T1>>> & Omit<
    NonStageKeys<T4>,
    Exclude<
        keyof KnownKeys<PipedPassthrough<T3, PipedPassthrough<T2, T1>>>,
        AllStageKeys,
    >,
>

HTPipe<
    T5 extends AllStagesOptionalShape,
    T4 extends AllStagesOptionalShape,
    T3 extends AllStagesOptionalShape,
    T2 extends AllStagesOptionalShape,
    T1 extends AllStagesOptionalShape,
>(
    obj5: T5,
    obj4: T4,
    obj3: T3,
    obj2: T2,
    obj1: T1,
): PipedExtractAmbient<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>> & PipedExtractInputs<
    T5,
    PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>,
> & PipedSanitizeInputs<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>> & PipedPreAuthorize<
    T5,
    PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>,
> & PipedLoadResources<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>> & PipedFinalAuthorize<
    T5,
    PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>,
> & PipedExecute<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>> & PipedRedactResponse<
    T5,
    PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>,
> & NonStageKeys<
    PipedPassthrough<
        T4,
        PipedPassthrough<T3, PipedPassthrough<T2, NonStageKeys<T1>>>,
    >,
> & Omit<
    NonStageKeys<T5>,
    Exclude<
        keyof KnownKeys<
            PipedPassthrough<
                T4,
                PipedPassthrough<T3, PipedPassthrough<T2, NonStageKeys<T1>>>,
            >,
        >,
        AllStageKeys,
    >,
>

HTPipe<
    T6 extends AllStagesOptionalShape,
    T5 extends AllStagesOptionalShape,
    T4 extends AllStagesOptionalShape,
    T3 extends AllStagesOptionalShape,
    T2 extends AllStagesOptionalShape,
    T1 extends AllStagesOptionalShape,
>(
    obj6: T6,
    obj5: T5,
    obj4: T4,
    obj3: T3,
    obj2: T2,
    obj1: T1,
): PipedExtractAmbient<
    T6,
    PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>,
> & PipedExtractInputs<
    T6,
    PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>,
> & PipedSanitizeInputs<
    T6,
    PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>,
> & PipedPreAuthorize<
    T6,
    PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>,
> & PipedLoadResources<
    T6,
    PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>,
> & PipedFinalAuthorize<
    T6,
    PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>,
> & PipedExecute<
    T6,
    PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>,
> & PipedRedactResponse<
    T6,
    PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>,
> & NonStageKeys<
    PipedPassthrough<
        T5,
        PipedPassthrough<
            T4,
            PipedPassthrough<T3, PipedPassthrough<T2, NonStageKeys<T1>>>,
        >,
    >,
> & Omit<
    NonStageKeys<T6>,
    Exclude<
        keyof KnownKeys<
            PipedPassthrough<
                T5,
                PipedPassthrough<
                    T4,
                    PipedPassthrough<T3, PipedPassthrough<T2, NonStageKeys<T1>>>,
                >,
            >,
        >,
        AllStageKeys,
    >,
>

HTPipe<
    T7 extends AllStagesOptionalShape,
    T6 extends AllStagesOptionalShape,
    T5 extends AllStagesOptionalShape,
    T4 extends AllStagesOptionalShape,
    T3 extends AllStagesOptionalShape,
    T2 extends AllStagesOptionalShape,
    T1 extends AllStagesOptionalShape,
>(
    obj7: T7,
    obj6: T6,
    obj5: T5,
    obj4: T4,
    obj3: T3,
    obj2: T2,
    obj1: T1,
): PipedExtractAmbient<
    T7,
    PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
> & PipedExtractInputs<
    T7,
    PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
> & PipedSanitizeInputs<
    T7,
    PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
> & PipedPreAuthorize<
    T7,
    PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
> & PipedLoadResources<
    T7,
    PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
> & PipedFinalAuthorize<
    T7,
    PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
> & PipedExecute<
    T7,
    PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
> & PipedRedactResponse<
    T7,
    PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
> & NonStageKeys<
    PipedPassthrough<
        T6,
        PipedPassthrough<
            T5,
            PipedPassthrough<
                T4,
                PipedPassthrough<T3, PipedPassthrough<T2, NonStageKeys<T1>>>,
            >,
        >,
    >,
> & Omit<
    NonStageKeys<T7>,
    Exclude<
        keyof KnownKeys<
            PipedPassthrough<
                T6,
                PipedPassthrough<
                    T5,
                    PipedPassthrough<
                        T4,
                        PipedPassthrough<T3, PipedPassthrough<T2, NonStageKeys<(...)>>>,
                    >,
                >,
            >,
        >,
        AllStageKeys,
    >,
>

HTPipe<
    T8 extends AllStagesOptionalShape,
    T7 extends AllStagesOptionalShape,
    T6 extends AllStagesOptionalShape,
    T5 extends AllStagesOptionalShape,
    T4 extends AllStagesOptionalShape,
    T3 extends AllStagesOptionalShape,
    T2 extends AllStagesOptionalShape,
    T1 extends AllStagesOptionalShape,
>(
    obj8: T8,
    obj7: T7,
    obj6: T6,
    obj5: T5,
    obj4: T4,
    obj3: T3,
    obj2: T2,
    obj1: T1,
): PipedExtractAmbient<
    T8,
    PipedAll<
        T7,
        PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
    >,
> & PipedExtractInputs<
    T8,
    PipedAll<
        T7,
        PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
    >,
> & PipedSanitizeInputs<
    T8,
    PipedAll<
        T7,
        PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
    >,
> & PipedPreAuthorize<
    T8,
    PipedAll<
        T7,
        PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
    >,
> & PipedLoadResources<
    T8,
    PipedAll<
        T7,
        PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
    >,
> & PipedFinalAuthorize<
    T8,
    PipedAll<
        T7,
        PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
    >,
> & PipedExecute<
    T8,
    PipedAll<
        T7,
        PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
    >,
> & PipedRedactResponse<
    T8,
    PipedAll<
        T7,
        PipedAll<T6, PipedAll<T5, PipedAll<T4, PipedAll<T3, PipedAll<T2, T1>>>>>,
    >,
> & NonStageKeys<
    PipedPassthrough<
        T7,
        PipedPassthrough<
            T6,
            PipedPassthrough<
                T5,
                PipedPassthrough<
                    T4,
                    PipedPassthrough<T3, PipedPassthrough<T2, NonStageKeys<T1>>>,
                >,
            >,
        >,
    >,
> & Omit<
    NonStageKeys<T8>,
    Exclude<
        keyof KnownKeys<
            PipedPassthrough<
                T7,
                PipedPassthrough<
                    T6,
                    PipedPassthrough<
                        T5,
                        PipedPassthrough<
                            T4,
                            PipedPassthrough<T3, PipedPassthrough<(...), (...)>>,
                        >,
                    >,
                >,
            >,
        >,
        AllStageKeys,
    >,
>