@elliots/typical 0.1.6 → 0.1.8

package/dist/src/config.d.ts

@@ -14,6 +14,23 @@ export interface TypicalConfig {
      * Example: ["React.*", "Express.Request", "*.Event"]
      */
     ignoreTypes?: string[];
+    /**
+     * Skip validation for DOM types (Document, Element, Node, etc.) and their subclasses.
+     * These types have complex Window intersections that typia cannot process.
+     * Default: true
+     */
+    ignoreDOMTypes?: boolean;
+    /**
+     * Validate function parameters and return types at runtime.
+     * When enabled, typed function parameters get runtime validation calls injected.
+     * Default: true
+     */
+    validateFunctions?: boolean;
 }
 export declare const defaultConfig: TypicalConfig;
+/**
+ * DOM types that typia cannot process due to Window global intersections.
+ * These are the base DOM types - classes extending them are checked separately.
+ */
+export declare const DOM_TYPES_TO_IGNORE: string[];
 export declare function loadConfig(configPath?: string): TypicalConfig;

package/dist/src/config.js

@@ -3,11 +3,54 @@ export const defaultConfig = {
     exclude: ["node_modules/**", "**/*.d.ts", "dist/**", "build/**"],
     reusableValidators: true,
     validateCasts: false,
+    validateFunctions: true,
     hoistRegex: true,
+    ignoreDOMTypes: true,
     debug: {
         writeIntermediateFiles: false,
     },
 };
+// FIXME: find a better way to work out which types to ignore
+/**
+ * DOM types that typia cannot process due to Window global intersections.
+ * These are the base DOM types - classes extending them are checked separately.
+ */
+export const DOM_TYPES_TO_IGNORE = [
+    // Core DOM types
+    "Document",
+    "DocumentFragment",
+    "Element",
+    "Node",
+    "ShadowRoot",
+    "Window",
+    "EventTarget",
+    // HTML Elements
+    "HTML*Element",
+    "HTMLElement",
+    "HTMLCollection",
+    // SVG Elements
+    "SVG*Element",
+    "SVGElement",
+    // Events
+    "*Event",
+    // Other common DOM types
+    "NodeList",
+    "DOMTokenList",
+    "NamedNodeMap",
+    "CSSStyleDeclaration",
+    "Selection",
+    "Range",
+    "Text",
+    "Comment",
+    "CDATASection",
+    "ProcessingInstruction",
+    "DocumentType",
+    "Attr",
+    "Table",
+    "TableRow",
+    "TableCell",
+    "StyleSheet",
+];
 import fs from 'fs';
 import path from 'path';
 export function loadConfig(configPath) {

package/dist/src/config.js.map

@@ -1 +1 @@
-{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/config.ts"],"names":[],"mappings":"AAmBA,MAAM,CAAC,MAAM,aAAa,GAAkB;IAC1C,OAAO,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;IAChC,OAAO,EAAE,CAAC,iBAAiB,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,CAAC;IAChE,kBAAkB,EAAE,IAAI;IACxB,aAAa,EAAE,KAAK;IACpB,UAAU,EAAE,IAAI;IAChB,KAAK,EAAE;QACL,sBAAsB,EAAE,KAAK;KAC9B;CACF,CAAC;AAEF,OAAO,EAAE,MAAM,IAAI,CAAC;AACpB,OAAO,IAAI,MAAM,MAAM,CAAC;AAExB,MAAM,UAAU,UAAU,CAAC,UAAmB;IAC5C,MAAM,UAAU,GAAG,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,cAAc,CAAC,CAAC;IAE1E,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YAC1D,MAAM,UAAU,GAA2B,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YAErE,OAAO;gBACL,GAAG,aAAa;gBAChB,GAAG,UAAU;aACd,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,+BAA+B,UAAU,GAAG,EAAE,KAAK,CAAC,CAAC;YAClE,OAAO,aAAa,CAAC;QACvB,CAAC;IACH,CAAC;IAED,OAAO,aAAa,CAAC;AACvB,CAAC"}
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../src/config.ts"],"names":[],"mappings":"AA+BA,MAAM,CAAC,MAAM,aAAa,GAAkB;IAC1C,OAAO,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC;IAChC,OAAO,EAAE,CAAC,iBAAiB,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,CAAC;IAChE,kBAAkB,EAAE,IAAI;IACxB,aAAa,EAAE,KAAK;IACpB,iBAAiB,EAAE,IAAI;IACvB,UAAU,EAAE,IAAI;IAChB,cAAc,EAAE,IAAI;IACpB,KAAK,EAAE;QACL,sBAAsB,EAAE,KAAK;KAC9B;CACF,CAAC;AAEF,6DAA6D;AAC7D;;;GAGG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,iBAAiB;IACjB,UAAU;IACV,kBAAkB;IAClB,SAAS;IACT,MAAM;IACN,YAAY;IACZ,QAAQ;IACR,aAAa;IACb,gBAAgB;IAChB,cAAc;IACd,aAAa;IACb,gBAAgB;IAChB,eAAe;IACf,aAAa;IACb,YAAY;IACZ,SAAS;IACT,QAAQ;IACR,yBAAyB;IACzB,UAAU;IACV,cAAc;IACd,cAAc;IACd,qBAAqB;IACrB,WAAW;IACX,OAAO;IACP,MAAM;IACN,SAAS;IACT,cAAc;IACd,uBAAuB;IACvB,cAAc;IACd,MAAM;IACN,OAAO;IACP,UAAU;IACV,WAAW;IACX,YAAY;CACb,CAAC;AAEF,OAAO,EAAE,MAAM,IAAI,CAAC;AACpB,OAAO,IAAI,MAAM,MAAM,CAAC;AAExB,MAAM,UAAU,UAAU,CAAC,UAAmB;IAC5C,MAAM,UAAU,GAAG,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,cAAc,CAAC,CAAC;IAE1E,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YAC1D,MAAM,UAAU,GAA2B,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YAErE,OAAO;gBACL,GAAG,aAAa;gBAChB,GAAG,UAAU;aACd,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,+BAA+B,UAAU,GAAG,EAAE,KAAK,CAAC,CAAC;YAClE,OAAO,aAAa,CAAC;QACvB,CAAC;IACH,CAAC;IAED,OAAO,aAAa,CAAC;AACvB,CAAC"}

package/dist/src/transformer.d.ts

@@ -14,33 +14,64 @@ export declare class TypicalTransformer {
     private typeParsers;
     constructor(config?: TypicalConfig, program?: ts.Program, tsInstance?: typeof ts);
     createSourceFile(fileName: string, content: string): ts.SourceFile;
-    transform(sourceFile: ts.SourceFile | string, mode: "basic" | "typia" | "js"): string;
-    getTransformer(withTypia: boolean): ts.TransformerFactory<ts.SourceFile>;
+    transform(sourceFile: ts.SourceFile | string, mode: "basic" | "typia" | "js", skippedTypes?: Set<string>): string;
+    /**
+     * Apply typia transformation in a separate ts.transform() context.
+     * This avoids mixing program contexts and eliminates the need for import recreation.
+     * Returns either the transformed code string, or a retry signal with the failed type.
+     */
+    private applyTypiaTransform;
     /**
-     * Re-create an import declaration as a fully synthetic node.
-     * This prevents TypeScript from trying to look up symbol bindings
-     * and eliding the import as "unused".
+     * Get a transformer that only applies typical's transformations (no typia).
+     * @param skippedTypes Set of type strings to skip validation for (used for retry after typia errors)
      */
-    private recreateImportDeclaration;
+    private getTypicalOnlyTransformer;
+    /**
+     * Get a combined transformer for use with ts-patch/ttsc.
+     * This is used by the TSC plugin where we need a single transformer factory.
+     *
+     * Note: Even for ts-patch, we need to create a new program with the transformed
+     * source so typia can resolve the types from our generated typia.createAssert<T>() calls.
+     */
+    getTransformer(withTypia: boolean): ts.TransformerFactory<ts.SourceFile>;
     /**
      * Transform a single source file with TypeScript AST
      */
     private transformSourceFile;
     shouldTransformFile(fileName: string): boolean;
     /**
-     * Check if a TypeNode represents any or unknown type.
-     * These types are intentional escape hatches and shouldn't be validated.
+     * Check if a TypeNode represents a type that shouldn't be validated.
+     * This includes:
+     * - any/unknown (intentional escape hatches)
+     * - Type parameters (generics like T)
+     * - Constructor types (new (...args: any[]) => T)
+     * - Function types ((...args) => T)
      */
     private isAnyOrUnknownType;
     /**
-     * Check if a Type has any or unknown flags.
+     * Check if a type contains any unvalidatable parts (type parameters, constructor types, etc.)
+     * This recursively checks intersection and union types.
+     */
+    private containsUnvalidatableType;
+    /**
+     * Check if a Type has any or unknown flags, or is a type parameter or function/constructor.
      */
     private isAnyOrUnknownTypeFlags;
     /**
      * Check if a type name matches any of the ignoreTypes patterns.
      * Supports wildcards: "React.*" matches "React.FormEvent", "React.ChangeEvent", etc.
+     * Also handles union types: "Document | Element" is ignored if "Document" or "Element" is in ignoreTypes.
      */
     private isIgnoredType;
+    /**
+     * Check if a single type (not a union) should be ignored.
+     * Checks both the type name and its base classes.
+     */
+    private isIgnoredSingleType;
+    /**
+     * Check if a single type name matches any ignore pattern.
+     */
+    private matchesIgnorePattern;
     /**
      * Find untransformed typia calls in the output code.
      * These indicate types that typia could not process.
@@ -73,6 +104,17 @@ export declare class TypicalTransformer {
      *                getTypeFromTypeNode doesn't work correctly on them
      */
     private getTypeKey;
+    /**
+     * Simple string hash for creating unique identifiers from type strings.
+     */
+    private hashString;
+    /**
+     * Format typia's error message into a cleaner list format.
+     * Typia outputs verbose messages like:
+     *   "unsupported type detected\n\n- Window.ondevicemotion: unknown\n  - nonsensible intersection\n\n- Window.ondeviceorientation..."
+     * We want to extract just the problematic types and their issues.
+     */
+    private formatTypiaError;
     /**
      * Creates a readable name suffix from a type string.
      * For simple identifiers like "User" or "string", returns the name directly.