import { type IntersectReduce } from "https://deno.land/x/typebox@0.25.13/src/typebox.ts";
definition: T extends [infer A, ...infer B] ? IntersectReduce<I & A, B> : I extends object ? I : { }
Module
x/typebox/src/typebox.ts>IntersectReduce
JSON Schema Type Builder with Static Type Resolution for TypeScript
compilerconditionalcustomerrorsformatguardhashvalueTypeBuilderArrayOptionsDateOptionsNumericOptionsObjectOptionsSchemaOptionsStringOptionsTAnyTArrayTBooleanTConstructorTDateTEnumTEnumOptionTFunctionTIntegerTIntersectTKeyOfTLiteralTNeverTNullTNumberTObjectTOmitTPartialTPromiseTPropertiesTRecordTRecursiveTRefTRequiredTSchemaTSelfTStringTTupleTUint8ArrayTUndefinedTUnionTUnknownTUnsafeTVoidUint8ArrayOptionsUnsafeOptionsIntersectEvaluateIntersectPropertiesIntersectReduceObjectPropertiesObjectPropertyKeysOptionalPropertyKeysPropertiesReduceReadonlyOptionalPropertyKeysReadonlyPropertyKeysRequiredPropertyKeysStaticStaticContructorParametersStaticFunctionParametersStringFormatOptionTAdditionalPropertiesTAnySchemaTConstructorParametersTInstanceTypeTLiteralValueTModifierTNumericTOptionalTParametersTPickTReadonlyTReadonlyOptionalTRecordKeyTRecordPropertiesTRecursiveReduceTReturnTypeTupleToArrayUnionLastUnionLiteralsFromObjectUnionStringLiteralToTupleUnionToIntersectUnionToTupleHintKindModifierType
typebox.ts
c
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
v
v
v