semantifold 0.3.0 → 0.4.0

package/build/src/frontends/javascript-typescript.d.ts

@@ -3,17 +3,85 @@ export type BabelTokenIndex = {
     byStart: Map<number, BabelToken>;
     tokens: BabelToken[];
 };
+export type JavaScriptFunctionSignature = {
+    name: string;
+    nameLocation: import("../semantic/types.js").SourceLocation;
+    parameters: import("../semantic/types.js").Parameter[];
+    returnType: import("../semantic/types.js").SemanticFunctionReturnType;
+    typeParameters?: import("../semantic/types.js").TypeParameter[];
+    location: import("../semantic/types.js").SourceLocation;
+};
+export type JavaScriptConversionContext = {
+    bindings: Map<string, import("../semantic/types.js").SemanticBindingType>;
+    classes: Map<string, import("../semantic/types.js").ClassDeclaration>;
+    currentClass?: import("../semantic/types.js").ClassDeclaration;
+    errors: Map<string, import("../semantic/types.js").ErrorDeclaration>;
+    errorNames: Map<string, import("../semantic/types.js").ErrorDeclaration>;
+    functions: Map<string, JavaScriptFunctionSignature>;
+    lexicalValueNames?: Set<string>;
+    orderedMapDeclarations?: Set<object>;
+    recordNames: Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>;
+    records: Map<string, import("../semantic/types.js").RecordDeclaration>;
+    returnType?: import("../semantic/types.js").SemanticFunctionReturnType;
+    typeParameters?: Map<string, import("../semantic/types.js").TypeParameter>;
+    valueRecordNames: Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration>;
+};
 /**
  * Parses JavaScript or TypeScript into the shared semantic module.
  * @param {object} input - Parser input.
  * @param {string} input.filename - Source filename.
  * @param {"javascript" | "typescript"} input.language - Frontend language.
  * @param {string} input.source - Source text.
+ * @param {readonly import("../semantic/types.js").EffectCapabilityDeclaration[]} [input.capabilities] - Compiler-authorized declarations.
+ * @param {{isEntry: boolean, functions: Map<string, import("../semantic/types.js").FunctionDeclaration>, records: Map<string, import("../semantic/types.js").RecordDeclaration>, errors?: Map<string, import("../semantic/types.js").ErrorDeclaration>, valueRecords?: Map<string, import("../semantic/types.js").RecordDeclaration>}} [input.program] - Resolved program imports and entry role.
  * @returns {import("../semantic/types.js").SemanticModule} Semantic module.
  */
-export declare function parseJavaScriptTypeScript({ filename, language, source }: {
+export declare function parseJavaScriptTypeScript({ capabilities, filename, language, source, program }: {
     filename: string;
     language: "javascript" | "typescript";
     source: string;
+    capabilities?: readonly import("../semantic/types.js").EffectCapabilityDeclaration[];
+    program?: {
+        isEntry: boolean;
+        functions: Map<string, import("../semantic/types.js").FunctionDeclaration>;
+        records: Map<string, import("../semantic/types.js").RecordDeclaration>;
+        errors?: Map<string, import("../semantic/types.js").ErrorDeclaration>;
+        valueRecords?: Map<string, import("../semantic/types.js").RecordDeclaration>;
+    };
 }): import("../semantic/types.js").SemanticModule;
+/**
+ * Reads only parser-owned ESM import/export declarations for program assembly.
+ * @param {object} input - Parser input.
+ * @param {string} input.filename - Source filename.
+ * @param {"javascript" | "typescript"} input.language - Frontend language.
+ * @param {string} input.source - Source text.
+ * @returns {{imports: {declarationLocation: import("../semantic/types.js").SourceLocation, importedName: string, importedNameLocation: import("../semantic/types.js").SourceLocation, localName: string, localNameLocation: import("../semantic/types.js").SourceLocation, location: import("../semantic/types.js").SourceLocation, pathLocation: import("../semantic/types.js").SourceLocation, specifier: string, stdlibCandidate?: true, typeOnly: boolean}[], exports: {declarationLocation?: import("../semantic/types.js").SourceLocation, exportedName: string, exportedNameLocation?: import("../semantic/types.js").SourceLocation, localName: string, localNameLocation?: import("../semantic/types.js").SourceLocation, location: import("../semantic/types.js").SourceLocation, typeOnly: boolean}[]}} Parser-owned ESM module header.
+ */
+export declare function inspectJavaScriptTypeScriptModule({ filename, language, source }: {
+    filename: string;
+    language: "javascript" | "typescript";
+    source: string;
+}): {
+    imports: {
+        declarationLocation: import("../semantic/types.js").SourceLocation;
+        importedName: string;
+        importedNameLocation: import("../semantic/types.js").SourceLocation;
+        localName: string;
+        localNameLocation: import("../semantic/types.js").SourceLocation;
+        location: import("../semantic/types.js").SourceLocation;
+        pathLocation: import("../semantic/types.js").SourceLocation;
+        specifier: string;
+        stdlibCandidate?: true;
+        typeOnly: boolean;
+    }[];
+    exports: {
+        declarationLocation?: import("../semantic/types.js").SourceLocation;
+        exportedName: string;
+        exportedNameLocation?: import("../semantic/types.js").SourceLocation;
+        localName: string;
+        localNameLocation?: import("../semantic/types.js").SourceLocation;
+        location: import("../semantic/types.js").SourceLocation;
+        typeOnly: boolean;
+    }[];
+};
 //# sourceMappingURL=javascript-typescript.d.ts.map

package/build/src/frontends/javascript-typescript.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"javascript-typescript.d.ts","sourceRoot":"","sources":["../../../src/frontends/javascript-typescript.js"],"names":[],"mappings":"AAWI,YAA2G,UAAU,GAA3G,WAAW,CAAC,OAAO,eAAe,EAAE,WAAW,CAAC,OAAO,cAAc,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAY;AACrH,YAAoE,eAAe,GAAzE;IAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAAC,MAAM,EAAE,UAAU,EAAE,CAAA;CAAC,CAAiB;AA8mBvF;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,EAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAC,EALnE;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAA2C,QAAQ,EAA3C,YAAY,GAAG,YAAY,CACnC;IAAsB,MAAM,EAApB,MAAM,CACd;CAEmE,GAFzD,OAAO,sBAAsB,EAAE,cAAc,CAoCzD"}
+{"version":3,"file":"javascript-typescript.d.ts","sourceRoot":"","sources":["../../../src/frontends/javascript-typescript.js"],"names":[],"mappings":"AAeI,YAA2G,UAAU,GAA3G,WAAW,CAAC,OAAO,eAAe,EAAE,WAAW,CAAC,OAAO,cAAc,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAY;AACrH,YAAoE,eAAe,GAAzE;IAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAAC,MAAM,EAAE,UAAU,EAAE,CAAA;CAAC,CAAiB;AACnF,YAAgV,2BAA2B,GAAjW;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;IAAC,UAAU,EAAE,OAAO,sBAAsB,EAAE,SAAS,EAAE,CAAC;IAAC,UAAU,EAAE,OAAO,sBAAsB,EAAE,0BAA0B,CAAC;IAAC,cAAc,CAAC,EAAE,OAAO,sBAAsB,EAAE,aAAa,EAAE,CAAC;IAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAA;CAAC,CAA6B;AAC3W,YAAkgC,2BAA2B,GAAnhC;IAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,mBAAmB,CAAC,CAAC;IAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC;IAAC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CAAC;IAAC,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CAAC;IAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,2BAA2B,CAAC,CAAC;IAAC,iBAAiB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAAC,sBAAsB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,GAAG,OAAO,sBAAsB,EAAE,gBAAgB,GAAG,OAAO,sBAAsB,EAAE,yBAAyB,CAAC,CAAC;IAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,CAAC,CAAC;IAAC,UAAU,CAAC,EAAE,OAAO,sBAAsB,EAAE,0BAA0B,CAAC;IAAC,cAAc,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,aAAa,CAAC,CAAC;IAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,GAAG,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CAAA;CAAC,CAA6B;AAokEjiC;;;;;;;;;GASG;AACH,wBAAgB,yBAAyB,CAAC,EAAC,YAAiB,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAC,EAP/F;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAA2C,QAAQ,EAA3C,YAAY,GAAG,YAAY,CACnC;IAAsB,MAAM,EAApB,MAAM,CACd;IAAsF,YAAY,AAAlG,CACA,EADQ,SAAS,OAAO,sBAAsB,EAAE,2BAA2B,EAAE,CAC7E;IAA4U,OAAO,AAAnV,CACA,EADQ;QAAC,OAAO,EAAE,OAAO,CAAC;QAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,mBAAmB,CAAC,CAAC;QAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CAAC;QAAC,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,CAAC,CAAA;KAAC,CACnU;CAE+F,GAFrF,OAAO,sBAAsB,EAAE,cAAc,CA4KzD;AA4ED;;;;;;;GAOG;AACH,wBAAgB,iCAAiC,CAAC,EAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAC,EAL3E;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAA2C,QAAQ,EAA3C,YAAY,GAAG,YAAY,CACnC;IAAsB,MAAM,EAApB,MAAM,CACd;CAE2E,GAFjE;IAAC,OAAO,EAAE;QAAC,mBAAmB,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,oBAAoB,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,iBAAiB,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,YAAY,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,eAAe,CAAC,EAAE,IAAI,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAC,EAAE,CAAC;IAAC,OAAO,EAAE;QAAC,mBAAmB,CAAC,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,oBAAoB,CAAC,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,iBAAiB,CAAC,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAC,EAAE,CAAA;CAAC,CAuGjxB"}