@typeslayer/validate 0.1.26 → 0.1.28

package/dist/index.d.mts

@@ -1,4 +1,7 @@
 import { z } from "zod/v4";
+import * as _mui_material_SvgIcon0 from "@mui/material/SvgIcon";
+import * as _mui_material_OverridableComponent0 from "@mui/material/OverridableComponent";
+import { SvgIconComponent } from "@mui/icons-material";
 
 //#region src/package-name.d.ts
 declare const packageNameRegex: RegExp;
@@ -305,6 +308,72 @@ declare const depthLimits: (z.ZodObject<{
   ts: z.ZodNumber;
 }, z.core.$strict>)[];
 type DepthLimitNames = EventChecktypes__CheckCrossProductUnion_DepthLimit["name"] | EventChecktypes__CheckTypeRelatedTo_DepthLimit["name"] | EventChecktypes__GetTypeAtFlowNode_DepthLimit["name"] | EventChecktypes__InstantiateType_DepthLimit["name"] | EventChecktypes__RecursiveTypeRelatedTo_DepthLimit["name"] | EventChecktypes__RemoveSubtypes_DepthLimit["name"] | EventChecktypes__TraceUnionsOrIntersectionsTooLarge_DepthLimit["name"] | EventChecktypes__TypeRelatedToDiscriminatedType_DepthLimit["name"];
+declare const depthLimitInfo: {
+  instantiateType_DepthLimit: {
+    title: string;
+    notFound: string;
+    route: string;
+    icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+  };
+  recursiveTypeRelatedTo_DepthLimit: {
+    title: string;
+    notFound: string;
+    route: string;
+    icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+  };
+  typeRelatedToDiscriminatedType_DepthLimit: {
+    title: string;
+    notFound: string;
+    route: string;
+    icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+  };
+  checkCrossProductUnion_DepthLimit: {
+    title: string;
+    notFound: string;
+    route: string;
+    icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+  };
+  checkTypeRelatedTo_DepthLimit: {
+    title: string;
+    notFound: string;
+    route: string;
+    icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+  };
+  getTypeAtFlowNode_DepthLimit: {
+    title: string;
+    notFound: string;
+    route: string;
+    icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+  };
+  removeSubtypes_DepthLimit: {
+    title: string;
+    notFound: string;
+    route: string;
+    icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+  };
+  traceUnionsOrIntersectionsTooLarge_DepthLimit: {
+    title: string;
+    notFound: string;
+    route: string;
+    icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+  };
+};
 declare const traceEvent: z.ZodDiscriminatedUnion<[z.ZodObject<{
   cat: z.ZodLiteral<"disabled-by-default-devtools.timeline">;
   name: z.ZodLiteral<"TracingStartedInBrowser">;
@@ -1624,89 +1693,340 @@ declare const CPU_PROFILE_FILENAME = "tsc.cpuprofile";
 //#region src/types-json.d.ts
 declare const TYPES_JSON_FILENAME = "types.json";
 interface TypeRelationInfo {
-  title: string;
-  unit: string;
-}
-declare const typeRelationInfo: {
-  typeArguments: {
+  source: {
     title: string;
+    description: string;
     unit: string;
   };
-  unionTypes: {
+  target: {
     title: string;
+    description: string;
     unit: string;
   };
-  intersectionTypes: {
-    title: string;
-    unit: string;
+  route: string;
+  icon: SvgIconComponent;
+}
+declare const typeRelationOrder: readonly ["unionTypes", "intersectionTypes", "typeArguments", "instantiatedType", "aliasTypeArguments", "conditionalCheckType", "conditionalExtendsType", "conditionalFalseType", "conditionalTrueType", "indexedAccessObjectType", "indexedAccessIndexType", "keyofType", "reverseMappedSourceType", "reverseMappedMappedType", "reverseMappedConstraintType", "substitutionBaseType", "constraintType", "evolvingArrayElementType", "evolvingArrayFinalType", "aliasType"];
+declare const typeRelationInfo: {
+  readonly unionTypes: {
+    readonly source: {
+      readonly title: "Union";
+      readonly unit: "union members";
+      readonly description: "Type whose union has the greatest number of distinct members (breadth of possible shapes).";
+    };
+    readonly target: {
+      readonly title: "Union Member";
+      readonly unit: "unions";
+      readonly description: "The type most frequently included in unions.";
+    };
+    readonly route: "union-types";
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
   };
-  aliasTypeArguments: {
-    title: string;
-    unit: string;
+  readonly intersectionTypes: {
+    readonly source: {
+      readonly title: "Intersection";
+      readonly unit: "intersections";
+      readonly description: "Type whose intersection combines the greatest number of constituent types (breadth of constraints).";
+    };
+    readonly target: {
+      readonly title: "Intersection Member";
+      readonly unit: "intersections";
+      readonly description: "The type most frequently included in intersections.";
+    };
+    readonly route: "intersection-types";
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
   };
-  instantiatedType: {
-    title: string;
-    unit: string;
+  readonly typeArguments: {
+    readonly source: {
+      readonly title: "Type Arguments";
+      readonly unit: "type arguments";
+      readonly description: "Generic type with the largest number of supplied type arguments at its most complex instantiation.";
+    };
+    readonly target: {
+      readonly title: "Type Argument";
+      readonly unit: "type arguments";
+      readonly description: "The type most frequently used as a type argument (indicating complex generic interactions).";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "type-arguments";
   };
-  substitutionBaseType: {
-    title: string;
-    unit: string;
+  readonly instantiatedType: {
+    readonly source: {
+      readonly title: "Instantiated";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Instantiated By";
+      readonly unit: "instantiations";
+      readonly description: "Type that was instantiated the most, indicating high reuse.";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "instantiated-type";
   };
-  constraintType: {
-    title: string;
-    unit: string;
+  readonly aliasTypeArguments: {
+    readonly source: {
+      readonly title: "Generic Argument";
+      readonly unit: "generic arguments";
+      readonly description: "Type alias pulling in the greatest number of distinct generic arguments through its resolution layers.";
+    };
+    readonly target: {
+      readonly title: "Generic Arguments";
+      readonly unit: "alias type-arguments";
+      readonly description: "The types most often used as generic arguments.  The TypeScript compiler calls this \"alias type-arguments.\"  There are technically other kinds of types that can show up here, but it's mostly generic type arguments.";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "alias-type-arguments";
   };
-  indexedAccessObjectType: {
-    title: string;
-    unit: string;
+  readonly conditionalCheckType: {
+    readonly source: {
+      readonly title: "Conditional Check";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Conditional Check Condition";
+      readonly unit: "conditional checks";
+      readonly description: "Type most often used as the checked type in conditional types (the `T` in `T extends U ? A : B`).";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "conditional-check-type";
   };
-  indexedAccessIndexType: {
-    title: string;
-    unit: string;
+  readonly conditionalExtendsType: {
+    readonly source: {
+      readonly title: "Conditional Extends";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Conditional Extends";
+      readonly unit: "extends uses";
+      readonly description: "Type most frequently appearing on the `extends` side of conditional types (the `U` in `T extends U ? A : B`)), indicating common constraint relationships.";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "conditional-extends-type";
   };
-  conditionalCheckType: {
-    title: string;
-    unit: string;
+  readonly conditionalFalseType: {
+    readonly source: {
+      readonly title: "Conditional False";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Conditional False Branch";
+      readonly unit: "false-branch uses";
+      readonly description: "Type that most often appears as the `false` branch result of conditional types. Indicates fallback/resolution patterns.";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "conditional-false-type";
   };
-  conditionalExtendsType: {
-    title: string;
-    unit: string;
+  readonly conditionalTrueType: {
+    readonly source: {
+      readonly title: "Conditional True";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Conditional True Branch";
+      readonly unit: "true-branch uses";
+      readonly description: "Type that most often appears as the `true` branch result of conditional types. Indicates favored resolution outcomes.";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "conditional-true-type";
   };
-  conditionalTrueType: {
-    title: string;
-    unit: string;
+  readonly indexedAccessObjectType: {
+    readonly source: {
+      readonly title: "Indexed Access Object";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Object Indexed Access By";
+      readonly unit: "indexed-accesses";
+      readonly description: "Type most frequently used as the object operand in indexed access (e.g. `T[K]`), indicating dynamic property shape usage.";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "indexed-access-object-type";
   };
-  conditionalFalseType: {
-    title: string;
-    unit: string;
+  readonly indexedAccessIndexType: {
+    readonly source: {
+      readonly title: "Indexed Access Index";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Tuple Indexed Access By";
+      readonly unit: "indexed-accesses";
+      readonly description: "Type most frequently used as the index operand in indexed access of a tuple (e.g. `SomeTuple[K]`).";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "indexed-access-index-type";
   };
-  keyofType: {
-    title: string;
-    unit: string;
+  readonly keyofType: {
+    readonly source: {
+      readonly title: "Keyof";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Keyof Uses";
+      readonly unit: "keyof uses";
+      readonly description: "Type most frequently used within 'keyof' operations, often indicating dynamic property access patterns.";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "keyof-type";
   };
-  aliasType: {
-    title: string;
-    unit: string;
+  readonly reverseMappedSourceType: {
+    readonly source: {
+      readonly title: "Reverse Mapped Source";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Reverse-Map Source";
+      readonly unit: "reverse-mappings";
+      readonly description: "Type most commonly appearing as the source in reverse-mapped type transforms (utility mapped types in reverse).";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "reverse-mapped-source-type";
   };
-  evolvingArrayElementType: {
-    title: string;
-    unit: string;
+  readonly reverseMappedMappedType: {
+    readonly source: {
+      readonly title: "Reverse Mapped Mapped";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Reverse-Map Mapped By";
+      readonly unit: "reverse-mapped sources";
+      readonly description: "Type most commonly produced by reverse-mapped transformations.";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "reverse-mapped-mapped-type";
   };
-  evolvingArrayFinalType: {
-    title: string;
-    unit: string;
+  readonly reverseMappedConstraintType: {
+    readonly source: {
+      readonly title: "Reverse Mapped Constraint";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Reverse-Map Constraints";
+      readonly unit: "reverse-mapping constraints";
+      readonly description: "Type that often serves as a constraint in reverse-mapped transformations, indicating mapped type bounds.";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "reverse-mapped-constraint-type";
   };
-  reverseMappedSourceType: {
-    title: string;
-    unit: string;
+  readonly substitutionBaseType: {
+    readonly source: {
+      readonly title: "Substitution Base";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Substitution Bases";
+      readonly unit: "substitution uses";
+      readonly description: "Type used as a substitution base during type substitution operations, signaling types that commonly serve as generic inference placeholders.";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "substitution-base-type";
   };
-  reverseMappedMappedType: {
-    title: string;
-    unit: string;
+  readonly constraintType: {
+    readonly source: {
+      readonly title: "Constraint";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Generic Constraints";
+      readonly unit: "constraint uses";
+      readonly description: "Type most often appearing as a generic constraint (e.g. in `extends` clauses) when resolving generics and conditionals.";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "constraint-type";
   };
-  reverseMappedConstraintType: {
-    title: string;
-    unit: string;
+  readonly evolvingArrayElementType: {
+    readonly source: {
+      readonly title: "Evolving Array Element";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Evolving Array Element";
+      readonly unit: "array element uses";
+      readonly description: "Type most commonly used as the evolving array element during array widening/folding operations in inference.";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "evolving-array-element-type";
+  };
+  readonly evolvingArrayFinalType: {
+    readonly source: {
+      readonly title: "Evolving Array Final";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Evolving Array Final";
+      readonly unit: "array final uses";
+      readonly description: "Type that frequently becomes the final element type after array evolution/widening, useful to spot common widened shapes.";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "evolving-array-final-type";
+  };
+  readonly aliasType: {
+    readonly source: {
+      readonly title: "Alias";
+      readonly unit: "";
+      readonly description: "";
+    };
+    readonly target: {
+      readonly title: "Aliased As";
+      readonly unit: "alias uses";
+      readonly description: "Type most frequently used as an alias target, shows which aliases are heavily reused across the codebase.";
+    };
+    readonly icon: _mui_material_OverridableComponent0.OverridableComponent<_mui_material_SvgIcon0.SvgIconTypeMap<{}, "svg">> & {
+      muiName: string;
+    };
+    readonly route: "alias-type";
   };
 };
 declare const resolvedType: z.ZodObject<{
@@ -2028,5 +2348,5 @@ declare const createTypeRegistry: (typesJson: ResolvedType[]) => TypeRegistry;
 declare const typeId: z.ZodUnion<[z.ZodNumber, z.ZodLiteral<-1>]>;
 type TypeId = z.infer<typeof typeId>;
 //#endregion
-export { CPU_PROFILE_FILENAME, type DepthLimitNames, type EventChecktypes__CheckCrossProductUnion_DepthLimit, type EventChecktypes__CheckTypeRelatedTo_DepthLimit, type EventChecktypes__GetTypeAtFlowNode_DepthLimit, type EventChecktypes__InstantiateType_DepthLimit, type EventChecktypes__RecursiveTypeRelatedTo_DepthLimit, type EventChecktypes__RemoveSubtypes_DepthLimit, type EventChecktypes__TraceUnionsOrIntersectionsTooLarge_DepthLimit, type EventChecktypes__TypeRelatedToDiscriminatedType_DepthLimit, type ResolvedType, TRACE_JSON_FILENAME, TYPES_JSON_FILENAME, type TraceEvent, type TraceJsonSchema, type TypeId, type TypeRegistry, type TypeRelationInfo, type TypesJsonSchema, createTypeRegistry, depthLimits, eventPhase, event_checktypes__checkCrossProductUnion_DepthLimit, event_checktypes__checkTypeRelatedTo_DepthLimit, event_checktypes__getTypeAtFlowNode_DepthLimit, event_checktypes__instantiateType_DepthLimit, event_checktypes__recursiveTypeRelatedTo_DepthLimit, event_checktypes__removeSubtypes_DepthLimit, event_checktypes__traceUnionsOrIntersectionsTooLarge_DepthLimit, event_checktypes__typeRelatedToDiscriminatedType_DepthLimit, extractPackageName, packageNameRegex, relativizePath, resolvedType, traceEvent, traceJsonSchema, typeRelationInfo, typesJsonSchema };
+export { CPU_PROFILE_FILENAME, type DepthLimitNames, type EventChecktypes__CheckCrossProductUnion_DepthLimit, type EventChecktypes__CheckTypeRelatedTo_DepthLimit, type EventChecktypes__GetTypeAtFlowNode_DepthLimit, type EventChecktypes__InstantiateType_DepthLimit, type EventChecktypes__RecursiveTypeRelatedTo_DepthLimit, type EventChecktypes__RemoveSubtypes_DepthLimit, type EventChecktypes__TraceUnionsOrIntersectionsTooLarge_DepthLimit, type EventChecktypes__TypeRelatedToDiscriminatedType_DepthLimit, type ResolvedType, TRACE_JSON_FILENAME, TYPES_JSON_FILENAME, type TraceEvent, type TraceJsonSchema, type TypeId, type TypeRegistry, type TypeRelationInfo, type TypesJsonSchema, createTypeRegistry, depthLimitInfo, depthLimits, eventPhase, event_checktypes__checkCrossProductUnion_DepthLimit, event_checktypes__checkTypeRelatedTo_DepthLimit, event_checktypes__getTypeAtFlowNode_DepthLimit, event_checktypes__instantiateType_DepthLimit, event_checktypes__recursiveTypeRelatedTo_DepthLimit, event_checktypes__removeSubtypes_DepthLimit, event_checktypes__traceUnionsOrIntersectionsTooLarge_DepthLimit, event_checktypes__typeRelatedToDiscriminatedType_DepthLimit, extractPackageName, packageNameRegex, relativizePath, resolvedType, traceEvent, traceJsonSchema, typeRelationInfo, typeRelationOrder, typesJsonSchema };
 //# sourceMappingURL=index.d.mts.map