@algorandfoundation/puya-ts 1.0.0-alpha.4

package/node_modules/typescript/package.json

@@ -0,0 +1,121 @@
+{
+    "name": "typescript",
+    "author": "Microsoft Corp.",
+    "homepage": "https://www.typescriptlang.org/",
+    "version": "5.6.2",
+    "license": "Apache-2.0",
+    "description": "TypeScript is a language for application scale JavaScript development",
+    "keywords": [
+        "TypeScript",
+        "Microsoft",
+        "compiler",
+        "language",
+        "javascript"
+    ],
+    "bugs": {
+        "url": "https://github.com/microsoft/TypeScript/issues"
+    },
+    "repository": {
+        "type": "git",
+        "url": "https://github.com/microsoft/TypeScript.git"
+    },
+    "main": "./lib/typescript.js",
+    "typings": "./lib/typescript.d.ts",
+    "bin": {
+        "tsc": "./bin/tsc",
+        "tsserver": "./bin/tsserver"
+    },
+    "engines": {
+        "node": ">=14.17"
+    },
+    "files": [
+        "bin",
+        "lib",
+        "!lib/enu",
+        "LICENSE.txt",
+        "README.md",
+        "SECURITY.md",
+        "ThirdPartyNoticeText.txt",
+        "!**/.gitattributes"
+    ],
+    "devDependencies": {
+        "@dprint/formatter": "^0.4.1",
+        "@dprint/typescript": "0.91.6",
+        "@esfx/canceltoken": "^1.0.0",
+        "@eslint/js": "^9.9.0",
+        "@octokit/rest": "^21.0.1",
+        "@types/chai": "^4.3.17",
+        "@types/diff": "^5.2.1",
+        "@types/minimist": "^1.2.5",
+        "@types/mocha": "^10.0.7",
+        "@types/ms": "^0.7.34",
+        "@types/node": "latest",
+        "@types/source-map-support": "^0.5.10",
+        "@types/which": "^3.0.4",
+        "@typescript-eslint/rule-tester": "^8.1.0",
+        "@typescript-eslint/type-utils": "^8.1.0",
+        "@typescript-eslint/utils": "^8.1.0",
+        "azure-devops-node-api": "^14.0.2",
+        "c8": "^10.1.2",
+        "chai": "^4.5.0",
+        "chalk": "^4.1.2",
+        "chokidar": "^3.6.0",
+        "diff": "^5.2.0",
+        "dprint": "^0.47.2",
+        "esbuild": "^0.23.0",
+        "eslint": "^9.9.0",
+        "eslint-formatter-autolinkable-stylish": "^1.4.0",
+        "eslint-plugin-regexp": "^2.6.0",
+        "fast-xml-parser": "^4.4.1",
+        "glob": "^10.4.5",
+        "globals": "^15.9.0",
+        "hereby": "^1.9.0",
+        "jsonc-parser": "^3.3.1",
+        "knip": "^5.27.2",
+        "minimist": "^1.2.8",
+        "mocha": "^10.7.3",
+        "mocha-fivemat-progress-reporter": "^0.1.0",
+        "monocart-coverage-reports": "^2.10.2",
+        "ms": "^2.1.3",
+        "node-fetch": "^3.3.2",
+        "playwright": "^1.46.0",
+        "source-map-support": "^0.5.21",
+        "tslib": "^2.6.3",
+        "typescript": "^5.5.4",
+        "typescript-eslint": "^8.1.0",
+        "which": "^3.0.1"
+    },
+    "overrides": {
+        "typescript@*": "$typescript"
+    },
+    "scripts": {
+        "test": "hereby runtests-parallel --light=false",
+        "test:eslint-rules": "hereby run-eslint-rules-tests",
+        "build": "npm run build:compiler && npm run build:tests",
+        "build:compiler": "hereby local",
+        "build:tests": "hereby tests",
+        "build:tests:notypecheck": "hereby tests --no-typecheck",
+        "clean": "hereby clean",
+        "gulp": "hereby",
+        "lint": "hereby lint",
+        "knip": "hereby knip",
+        "format": "dprint fmt",
+        "setup-hooks": "node scripts/link-hooks.mjs"
+    },
+    "browser": {
+        "fs": false,
+        "os": false,
+        "path": false,
+        "crypto": false,
+        "buffer": false,
+        "source-map-support": false,
+        "inspector": false,
+        "perf_hooks": false
+    },
+    "packageManager": "npm@8.19.4",
+    "volta": {
+        "node": "20.1.0",
+        "npm": "8.19.4"
+    },
+    "gitHead": "a7e3374f13327483fbe94e32806d65785b0b6cda"
+}

package/package.json

@@ -0,0 +1,42 @@
+{
+  "scripts": {},
+  "files": [
+    "**"
+  ],
+  "name": "@algorandfoundation/puya-ts",
+  "version": "1.0.0-alpha.4",
+  "description": "Compiles Algorand TypeScript into byte code which runs on the Algorand Virtual Machine (AVM)",
+  "private": false,
+  "author": "Algorand foundation",
+  "license": "MIT",
+  "dependencies": {
+    "chalk": "^5.3.0",
+    "change-case": "^5.4.4",
+    "commander": "^12.1.0",
+    "cross-spawn": "^7.0.3",
+    "glob": "^11.0.0",
+    "polytype": "^0.17.0",
+    "typescript": "^5.6.2",
+    "zod": "^3.23.8"
+  },
+  "bundledDependencies": [
+    "typescript"
+  ],
+  "module": "./index.mjs",
+  "types": "./index.d.ts",
+  "type": "module",
+  "bin": {
+    "puya-ts": "./bin/run-cli.mjs",
+    "puyats": "./bin/run-cli.mjs"
+  },
+  "exports": {
+    ".": {
+      "types": "./index.d.ts",
+      "import": "./index.mjs"
+    },
+    "./cli": {
+      "types": "./cli.d.ts",
+      "import": "./cli.mjs"
+    }
+  }
+}

package/parser/index.d.ts

@@ -0,0 +1,13 @@
+import ts from 'typescript';
+import type { CompileOptions } from '../compile-options';
+export type SourceFileMapping = Record<string, ts.SourceFile>;
+export type CreateProgramResult = {
+    sourceFiles: SourceFileMapping;
+    program: ts.Program;
+};
+export declare function createTsProgram(options: CompileOptions): {
+    sourceFiles: {
+        [k: string]: ts.SourceFile;
+    };
+    program: ts.Program;
+};

package/parser/json-serialize-source-files.d.ts

@@ -0,0 +1,2 @@
+import type { SourceFileMapping } from './index';
+export declare function jsonSerializeSourceFiles(sourceFiles: SourceFileMapping, programDirectory: string): string;

package/parser/resolve-module-name-literals.d.ts

@@ -0,0 +1,2 @@
+import ts from 'typescript';
+export declare function resolveModuleNameLiterals(moduleLiterals: readonly ts.StringLiteralLike[], containingFile: string, redirectedReference: ts.ResolvedProjectReference | undefined, options: ts.CompilerOptions): readonly ts.ResolvedModuleWithFailedLookupLocations[];

package/puya/build-compilation-set-mapping.d.ts

@@ -0,0 +1,10 @@
+import type { CompilationSet } from '../awst/models';
+import type { AWST } from '../awst/nodes';
+import type { CompilationSetMapping } from './options';
+export declare function buildCompilationSetMapping({ awst, inputPaths, programDirectory, compilationSet, outDir, }: {
+    awst: AWST[];
+    inputPaths: string[];
+    programDirectory: string;
+    outDir: string;
+    compilationSet: CompilationSet;
+}): CompilationSetMapping;

package/puya/index.d.ts

@@ -0,0 +1,13 @@
+import type { CompilationSet } from '../awst/models';
+import type { AWST } from '../awst/nodes';
+import type { CompileOptions } from '../compile-options';
+import type { SourceFileMapping } from '../parser';
+import type { PuyaPassThroughOptions } from './options';
+export declare function invokePuya({ moduleAwst, programDirectory, sourceFiles, compileOptions, compilationSet, passThroughOptions, }: {
+    moduleAwst: AWST[];
+    programDirectory: string;
+    sourceFiles: SourceFileMapping;
+    compileOptions: CompileOptions;
+    compilationSet: CompilationSet;
+    passThroughOptions: PuyaPassThroughOptions;
+}): void;

package/puya/options.d.ts

@@ -0,0 +1,29 @@
+export declare enum LocalsCoalescingStrategy {
+    root_operand = "root_operand",
+    root_operand_excluding_args = "root_operand_excluding_args",
+    aggressive = "aggressive"
+}
+export type CompilationSetMapping = Record<string, string>;
+export declare const defaultPuyaOptions: PuyaPassThroughOptions;
+export type PuyaPassThroughOptions = Omit<PuyaOptions, 'compilationSet'>;
+export declare class PuyaOptions {
+    outputTeal: boolean;
+    outputArc32: boolean;
+    outputSsaIr: boolean;
+    outputOptimizationIr: boolean;
+    outputDestructuredIr: boolean;
+    outputMemoryIr: boolean;
+    outputBytecode: boolean;
+    matchAlgodBytecode: boolean;
+    debugLevel: number;
+    optimizationLevel: number;
+    targetAvmVersion: number;
+    cliTemplateDefinitions: string[];
+    templateVarsPrefix: string;
+    localsCoalescingStrategy: LocalsCoalescingStrategy;
+    compilationSet: CompilationSetMapping;
+    constructor({ passThroughOptions, compilationSet, }: {
+        passThroughOptions: PuyaPassThroughOptions;
+        compilationSet: CompilationSetMapping;
+    });
+}

package/puya/run-child-proc.d.ts

@@ -0,0 +1,5 @@
+export declare function runChildProc({ command, args, cwd }: {
+    command: string;
+    args: string[];
+    cwd?: string;
+}): void;

package/util/base-32.d.ts

@@ -0,0 +1,2 @@
+export declare const base32ToUint8Array: (value: string) => Uint8Array;
+export declare const uint8ArrayToBase32: (value: Uint8Array) => string;

package/util/base-85.d.ts

@@ -0,0 +1,10 @@
+/**
+ * This implementation of base85 encoding matches python's base64.b85encode(...) function which is based on the character set of rfc1924
+ * but supports arbitrary sized input.
+ *
+ * It IS NOT an ascii85 implementation
+ */
+export declare function buildBase85Encoder(): {
+    encode(b: Uint8Array): string;
+    encodeUtf8(s: string): string;
+};

package/util/default-map.d.ts

@@ -0,0 +1 @@
+export declare function defaultRecord<TKey extends PropertyKey, TValue>(defaultInit: (key: TKey) => TValue): Record<TKey, TValue>;

package/util/generate-temp-file.d.ts

@@ -0,0 +1,9 @@
+import type { WriteFileOptions } from 'node:fs';
+export type TempFile = {
+    writeFileSync(data: NodeJS.ArrayBufferView, options?: WriteFileOptions): void;
+    writeFileSync(data: string, options?: WriteFileOptions): void;
+    readonly filePath: string;
+} & Disposable;
+export declare function generateTempFile(options?: {
+    ext?: string;
+}): TempFile;

package/util/index.d.ts

@@ -0,0 +1,43 @@
+import type { SourceLocation } from '../awst/source-location';
+import type { DeliberateAny } from '../typescript-helpers';
+export { base32ToUint8Array, uint8ArrayToBase32 } from './base-32';
+export declare function invariant(condition: unknown, message: string): asserts condition;
+export declare function codeInvariant(condition: unknown, message: string, sourceLocation?: SourceLocation): asserts condition;
+export declare const convertEnum: <TEnumIn, TEnumOut, TKeys extends string>(value: TEnumIn, fromEnum: Record<TKeys, TEnumIn>, toEnum: Record<TKeys, TEnumOut>) => TEnumOut;
+export declare const tryConvertEnum: <TEnumIn, TEnumOut, TKeys extends string>(value: TEnumIn, fromEnum: Record<TKeys, TEnumIn>, toEnum: Record<string, TEnumOut>) => TEnumOut | undefined;
+export declare const expandMaybeArray: <T>(maybeArray: T | T[]) => T[];
+export declare const hexToUint8Array: (value: string) => Uint8Array;
+export declare const base64ToUint8Array: (value: string) => Uint8Array;
+export declare const utf8ToUint8Array: (value: string) => Uint8Array;
+export declare const uint8ArrayToUtf8: (value: Uint8Array) => string;
+export declare const bigIntToUint8Array: (val: bigint, fixedSize?: number | "dynamic") => Uint8Array;
+export declare const hasFlags: <T extends number>(value: T, flags: T) => boolean;
+export declare const intersectsFlags: <T extends number>(value: T, flags: T) => boolean;
+export declare function enumerate<T>(iterable: Iterable<T>): IterableIterator<readonly [number, T]>;
+export declare function toSubScript(num: number): string;
+export declare function instanceOfAny<T extends Array<{
+    new (...args: DeliberateAny[]): DeliberateAny;
+}>>(x: unknown, ...types: T): x is InstanceType<T[number]>;
+/**
+ * Normalise a file path to only include relevant segments.
+ *
+ *  - Anything in /node_modules/ is truncated to <package-name>/path.ext
+ *  - Anything in workingDirectory is truncated relative to the workingDirectory
+ *  - Forward slashes are used to segment paths
+ * @param filePath
+ * @param workingDirectory
+ */
+export declare function normalisePath(filePath: string, workingDirectory: string): string;
+type SortDir = 'asc' | 'desc';
+export declare const sortBy: <T, TKey>(keySelector: (item: T) => TKey, dir?: SortDir) => (a: T, b: T) => number;
+/**
+ * Can be used to filter a collection to a set of distinct items as determined by a specified key.
+ * @param keySelector A lambda which when given an item, returns the items unique identifier
+ *
+ * Usage:
+ *
+ * ```
+ * const distinctItems = nonDistinctItems.filter(distinct(x => x.uniqueId))
+ * ```
+ */
+export declare const distinct: <T>(keySelector?: (item: T) => unknown) => (item: T) => boolean;