@formspec/build 0.1.0-alpha.49 → 0.1.0-alpha.50

package/dist/extensions/resolve-custom-type.d.ts

@@ -0,0 +1,37 @@
+import * as ts from "typescript";
+import type { ExtensionRegistry, ExtensionTypeLookupResult } from "./registry.js";
+/**
+ * Resolves a TypeScript type to an extension-registered custom type, trying
+ * all three registration mechanisms in order of precision:
+ *
+ * 1. **Name-based** (via `sourceNode` AST walk) — matches the user-written
+ *    alias identifier (e.g. `amount: Decimal` → `"Decimal"`). Requires a
+ *    source node to walk; used by the direct-field code path.
+ * 2. **Symbol-based** — matches `ts.Symbol` identity via
+ *    `ExtensionRegistry.findTypeBySymbol`, populated from
+ *    `defineCustomType<T>()` type parameter extraction. Works for any type
+ *    regardless of import aliases or name collisions.
+ * 3. **Brand-based** — matches the `brand` identifier encoded into
+ *    intersection types as computed-property keys (e.g.
+ *    `string & { [__decimalBrand]: true }`). Structural; independent of
+ *    declaration names.
+ *
+ * Name-based resolution also has a symbol-fallback path that uses
+ * `type.aliasSymbol?.getName()` when no `sourceNode` is provided, so
+ * path-resolved types can still match name-registered custom types.
+ *
+ * Nullable unions (`T | null`, `T | undefined`, `T | null | undefined`) are
+ * stripped before every detection attempt, so registrations apply through
+ * nullable wrappers transparently.
+ *
+ * Returns `null` when no registered custom type matches.
+ */
+export declare function resolveCustomTypeFromTsType(type: ts.Type, checker: ts.TypeChecker, registry: ExtensionRegistry | undefined, sourceNode?: ts.Node): ExtensionTypeLookupResult | null;
+/**
+ * Returns the fully-qualified type ID for a resolved custom-type lookup.
+ *
+ * Type IDs have the form `${extensionId}/${typeName}`, matching the format
+ * produced elsewhere in the build pipeline.
+ */
+export declare function customTypeIdFromLookup(result: ExtensionTypeLookupResult): string;
+//# sourceMappingURL=resolve-custom-type.d.ts.map

package/dist/extensions/resolve-custom-type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve-custom-type.d.ts","sourceRoot":"","sources":["../../src/extensions/resolve-custom-type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAIjC,OAAO,KAAK,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AAoDlF;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,QAAQ,EAAE,iBAAiB,GAAG,SAAS,EACvC,UAAU,CAAC,EAAE,EAAE,CAAC,IAAI,GACnB,yBAAyB,GAAG,IAAI,CA8ClC;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,yBAAyB,GAAG,MAAM,CAEhF"}

package/dist/extensions/symbol-registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"symbol-registry.d.ts","sourceRoot":"","sources":["../../src/extensions/symbol-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,KAAK,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AAMlF;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,EAAE,CAAC,OAAO,EACnB,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,iBAAiB,EAAE,iBAAiB,GACnC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,yBAAyB,CAAC,CA+D3C"}
+{"version":3,"file":"symbol-registry.d.ts","sourceRoot":"","sources":["../../src/extensions/symbol-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,KAAK,EAAE,iBAAiB,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AAOlF;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,EAAE,CAAC,OAAO,EACnB,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,iBAAiB,EAAE,iBAAiB,GACnC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,yBAAyB,CAAC,CA+D3C"}

package/dist/extensions/ts-type-utils.d.ts

@@ -0,0 +1,40 @@
+import * as ts from "typescript";
+/**
+ * Collects all brand identifier texts from an intersection type's computed
+ * property names.
+ *
+ * Walks `type.getProperties()` looking for computed property names backed
+ * by plain identifiers — the standard `unique symbol` brand pattern. Returns
+ * all matching identifiers so that types with multiple brands (e.g.,
+ * `number & { [__integerBrand]: true } & { [__otherBrand]: true }`) are
+ * fully inspected regardless of property order.
+ */
+export declare function collectBrandIdentifiers(type: ts.Type): readonly string[];
+/**
+ * Resolves a TypeScript type to its canonical `ts.Symbol`, following alias chains.
+ *
+ * `aliasSymbol` tracks type aliases (e.g. `type Foo = Bar`); `getSymbol()` tracks
+ * the structural symbol. We prefer `aliasSymbol` when present so that aliased
+ * types resolve to the declaration site rather than the structural shape.
+ *
+ * Returns `undefined` for bare primitives and anonymous types, which have no
+ * symbol.
+ */
+export declare function resolveCanonicalSymbol(type: ts.Type, checker: ts.TypeChecker): ts.Symbol | undefined;
+/**
+ * Extracts the `ts.TypeNode` backing a property / parameter / type-alias
+ * declaration. Returns the node itself when `sourceNode` is already a type
+ * node, or `undefined` otherwise.
+ */
+export declare function extractTypeNodeFromSource(sourceNode: ts.Node): ts.TypeNode | undefined;
+/**
+ * Resolves a `ts.TypeReferenceNode` to its declaring `ts.TypeAliasDeclaration`,
+ * if the reference names a type alias — following import aliases so that
+ * `import { Foo } from "./types"; field: Foo` resolves through to the
+ * original `type Foo = ...` declaration.
+ *
+ * Returns `undefined` for references to non-alias declarations (interfaces,
+ * classes, modules, etc.).
+ */
+export declare function getTypeAliasDeclarationFromTypeReference(typeNode: ts.TypeReferenceNode, checker: ts.TypeChecker): ts.TypeAliasDeclaration | undefined;
+//# sourceMappingURL=ts-type-utils.d.ts.map

package/dist/extensions/ts-type-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-type-utils.d.ts","sourceRoot":"","sources":["../../src/extensions/ts-type-utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,SAAS,MAAM,EAAE,CAcxE;AAED;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,EAAE,CAAC,WAAW,GACtB,EAAE,CAAC,MAAM,GAAG,SAAS,CAIvB;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,QAAQ,GAAG,SAAS,CAatF;AAUD;;;;;;;;GAQG;AACH,wBAAgB,wCAAwC,CACtD,QAAQ,EAAE,EAAE,CAAC,iBAAiB,EAC9B,OAAO,EAAE,EAAE,CAAC,WAAW,GACtB,EAAE,CAAC,oBAAoB,GAAG,SAAS,CAGrC"}