@helios-lang/contract-utils 0.2.54 → 0.2.56

package/package.json

@@ -1,45 +1,44 @@
 {
-    "name": "@helios-lang/contract-utils",
-    "version": "0.2.54",
-    "description": "Convenience and type-safety utilities for using Helios validators from within Typescript",
-    "main": "src/index.js",
-    "types": "types/index.d.ts",
-    "type": "module",
-    "bin": {
-        "hl2ts": "src/hl2ts.js"
-    },
-    "scripts": {
-        "build": "pnpm run prettify && pnpm run build:types && pnpm run test:suite",
-        "build:types": "tsc -p jsconfig.json --noEmit false --emitDeclarationOnly",
-        "prepack": "pnpm run build",
-        "prettify": "prettier . --write",
-        "test": "pnpm run test:pretty && pnpm run test:types && pnpm run test:suite",
-        "test:pretty": "prettier . --check",
-        "test:suite": "node --test",
-        "test:types": "pnpm run build:types"
-    },
-    "author": "Christian Schmitz",
-    "license": "BSD-3-Clause",
-    "devDependencies": {
-        "@types/node": "^20.11.24",
-        "prettier": "^3.1.0",
-        "typescript": "^5.3.2"
-    },
-    "prettier": {
-        "trailingComma": "none",
-        "tabWidth": 4,
-        "semi": false,
-        "singleQuote": false
-    },
-    "peerDependencies": {
-        "@helios-lang/compiler": "*"
-    },
-    "dependencies": {
-        "@helios-lang/cli-utils": "^0.1.6",
-        "@helios-lang/codec-utils": "^0.1.34",
-        "@helios-lang/compiler-utils": "^0.1.25",
-        "@helios-lang/ledger": "^0.4.10",
-        "@helios-lang/type-utils": "^0.1.21",
-        "@helios-lang/uplc": "^0.3.5"
-    }
-}
+  "name": "@helios-lang/contract-utils",
+  "version": "0.2.56",
+  "description": "Convenience and type-safety utilities for using Helios validators from within Typescript",
+  "main": "src/index.js",
+  "types": "types/index.d.ts",
+  "type": "module",
+  "bin": {
+    "hl2ts": "src/hl2ts.js"
+  },
+  "author": "Christian Schmitz",
+  "license": "BSD-3-Clause",
+  "devDependencies": {
+    "@types/node": "^20.11.24",
+    "prettier": "^3.1.0",
+    "typescript": "^5.3.2"
+  },
+  "prettier": {
+    "trailingComma": "none",
+    "tabWidth": 4,
+    "semi": false,
+    "singleQuote": false
+  },
+  "peerDependencies": {
+    "@helios-lang/compiler": "*"
+  },
+  "dependencies": {
+    "@helios-lang/cli-utils": "^0.1.6",
+    "@helios-lang/codec-utils": "^0.1.34",
+    "@helios-lang/compiler-utils": "^0.1.25",
+    "@helios-lang/ledger": "^0.4.10",
+    "@helios-lang/type-utils": "^0.1.21",
+    "@helios-lang/uplc": "^0.3.5"
+  },
+  "scripts": {
+    "build": "pnpm run prettify && pnpm run build:types && pnpm run test:suite",
+    "build:types": "tsc -p jsconfig.json --noEmit false --emitDeclarationOnly",
+    "prettify": "prettier . --write",
+    "test": "pnpm run test:pretty && pnpm run test:types && pnpm run test:suite",
+    "test:pretty": "prettier . --check",
+    "test:suite": "node --test",
+    "test:types": "pnpm run build:types"
+  }
+}

package/src/cast/Cast.js

@@ -4,6 +4,7 @@ import {
     AssetClass,
     DatumHash,
     MintingPolicyHash,
+    PubKey,
     PubKeyHash,
     ScriptHash,
     SpendingCredential,
@@ -143,6 +144,8 @@ function schemaToUplc(schema, x, defs = {}) {
                     return new IntData(x)
                 case "MintingPolicyHash":
                     return MintingPolicyHash.new(x).toUplcData()
+                case "PubKey":
+                    return PubKey.new(x).toUplcData()
                 case "PubKeyHash":
                     return PubKeyHash.new(x).toUplcData()
                 case "Real":
@@ -331,6 +334,8 @@ function uplcToSchema(schema, data, config, defs = {}) {
                     return IntData.expect(data).value
                 case "MintingPolicyHash":
                     return MintingPolicyHash.fromUplcData(data)
+                case "PubKey":
+                    return PubKey.fromUplcData(data)
                 case "PubKeyHash":
                     return PubKeyHash.fromUplcData(data)
                 case "Ratio": {
@@ -362,6 +367,8 @@ function uplcToSchema(schema, data, config, defs = {}) {
                     return TxInput.fromUplcData(config.isMainnet, data)
                 case "TxOutput":
                     return TxOutput.fromUplcData(config.isMainnet, data)
+                case "TxOutputDatum":
+                    return TxOutputDatum.fromUplcData(data)
                 case "TxOutputId":
                     return TxOutputId.fromUplcData(data)
                 case "ValidatorHash":

package/src/cast/UserFunc.js

@@ -13,6 +13,7 @@ import { Cast } from "./Cast.js"
  */
 
 /**
+ * `returns` is optional to accomodate main functions that return void
  * @typedef {{
  *   name: string
  *   requiresScriptContext: boolean
@@ -23,7 +24,7 @@ import { Cast } from "./Cast.js"
  *     isOptional: boolean
  *     isIgnored?: boolean
  *   }[]
- *   returns: TypeSchema
+ *   returns?: TypeSchema
  *   validatorIndices?: Record<string, number>
  *   castConfig: CastConfig
  * }} UserFuncProps
@@ -103,14 +104,19 @@ export class UserFunc {
             /** @type {UnsafeArgsT<ArgsT>} */ (unsafeNamedArgs)
         )
 
-        return new Cast(this.props.returns, this.props.castConfig).fromUplcData(
-            result
-        )
+        if (this.props.returns) {
+            return new Cast(
+                this.props.returns,
+                this.props.castConfig
+            ).fromUplcData(expectSome(/** @type {any} */ (result)))
+        } else {
+            return /** @type {any} */ (undefined)
+        }
     }
 
     /**
      * @param {UnsafeArgsT<ArgsT>} namedArgs
-     * @returns {UplcData}
+     * @returns {RetT extends void ? void : UplcData}
      */
     evalUnsafe(namedArgs) {
         const result = this.profile(namedArgs).result
@@ -118,9 +124,11 @@ export class UserFunc {
         if (isLeft(result)) {
             throw new Error(result.left.error)
         } else if (!isString(result.right) && result.right.kind == "data") {
-            return result.right.value
-        } else {
+            return /** @type {any} */ (result.right.value)
+        } else if (this.props.returns) {
             throw new Error(`${result.right.toString()} isn't a UplcDataValue`)
+        } else {
+            return /** @type {any} */ (undefined)
         }
     }
 

package/src/codegen/LoadedScriptsWriter.js

@@ -179,9 +179,11 @@ export class LoadedScriptsWriter {
             "Address",
             "AssetClass",
             "DatumHash",
+            "DCert",
             "MintingPolicyHash",
             "PubKey",
             "PubKeyHash",
+            "ScriptHash",
             "SpendingCredential",
             "StakingCredential",
             "StakingHash",
@@ -191,6 +193,7 @@ export class LoadedScriptsWriter {
             "TxInput",
             "TxOutput",
             "TxOutputDatum",
+            "TxOutputId",
             "ValidatorHash",
             "Value"
         )
@@ -202,7 +205,7 @@ export class LoadedScriptsWriter {
             ["TStrict", "TPermissive"]
         )
         this.writeImportType("@helios-lang/ledger", "TimeLike")
-        this.writeImportType("@helios-lang/ledger", "UplcData")
+        this.writeImportType("@helios-lang/uplc", "UplcData")
         this.writeImportType("@helios-lang/uplc", "UplcProgram")
     }
 
@@ -412,7 +415,7 @@ function genFuncType(fn) {
     })
 
     const argsTypeStr = `{${fields.join(", ")}}`
-    const retTypeStr = genTypes(fn.returns)[0]
+    const retTypeStr = fn?.returns ? genTypes(fn.returns)[0] : "void"
 
     return [argsTypeStr, retTypeStr]
 }

package/src/codegen/TypeCheckedModule.js

@@ -5,6 +5,7 @@ export {}
  */
 
 /**
+ * `returns` is optional to accomodate main functions that return undefined
  * @typedef {{
  *   name: string
  *   requiresScriptContext: boolean
@@ -15,7 +16,7 @@ export {}
  *     isOptional: boolean
  *     isIgnored?: boolean
  *   }[]
- *   returns: TypeSchema
+ *   returns?: TypeSchema
  * }} TypeCheckedUserFunc
  */
 

package/src/codegen/TypeSchema.js

@@ -2,6 +2,8 @@
  * @typedef {import("@helios-lang/type-utils").TypeSchema} TypeSchema
  */
 
+const NONE = "null"
+
 /**
  * TODO: handle recursive data structures
  * @param {TypeSchema} schema
@@ -82,8 +84,8 @@ export function genTypes(schema) {
                     return ["TxOutput", "TxOutput"]
                 case "TxOutputDatum":
                     return [
-                        "TxOutputDatum | null",
-                        "TxOutputDatum | null | undefined | DatumHash | UplcData"
+                        `TxOutputDatum | ${NONE}`,
+                        `TxOutputDatum | ${NONE} | undefined | DatumHash | UplcData`
                     ]
                 case "TxOutputId":
                     return ["TxOutputId", "TxOutputId | string"]
@@ -120,7 +122,7 @@ export function genTypes(schema) {
         }
         case "option": {
             const [c, p] = genTypes(schema.someType)
-            return [`(${c}) | null`, `(${p}) | null | undefined`]
+            return [`(${c}) | ${NONE}`, `(${p}) | null | undefined`]
         }
         case "struct": {
             const fieldTypes = schema.fieldTypes.map(({ name, type }) => ({

package/types/cast/Cast.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Cast.d.ts","sourceRoot":"","sources":["../../src/cast/Cast.js"],"names":[],"mappings":"AA4gBA;;;;;;GAMG;AACH,8BANa,OAAO,EACP,WAAW,QACb,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,UAC9B,UAAU,GACR,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAQtC;AArfD;;;GAGG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;;GAKG;AAEH;;;GAGG;AACH,kBAHa,OAAO,EACP,WAAW;IAepB;;;OAGG;IACH,oBAHW,UAAU,UACV,UAAU,EAKpB;IAnBD;;;OAGG;IACH,iBAFU,UAAU,CAEd;IAEN;;;OAGG;IACH,iBAFU,UAAU,CAEd;IAWN;;;OAGG;IACH,mBAHW,QAAQ,GACN,OAAO,CAInB;IAED;;;OAGG;IACH,cAHW,WAAW,GACT,QAAQ,CAIpB;CACJ;uBAhEY,OAAO,mBAAmB,EAAE,QAAQ;yBACpC,OAAO,qBAAqB,EAAE,UAAU;yBAIxC;IACZ,SAAa,EAAE,OAAO,CAAA;CACnB;6BAIS,OAAO,EACP,WAAW,IACX,CAAC,MAAM,EAAE,UAAU,KAAK,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC;;;;qBAKlD,OAAO,EACP,WAAW,IACX,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC"}
+{"version":3,"file":"Cast.d.ts","sourceRoot":"","sources":["../../src/cast/Cast.js"],"names":[],"mappings":"AAmhBA;;;;;;GAMG;AACH,8BANa,OAAO,EACP,WAAW,QACb,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,UAC9B,UAAU,GACR,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAQtC;AA3fD;;;GAGG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;;GAKG;AAEH;;;GAGG;AACH,kBAHa,OAAO,EACP,WAAW;IAepB;;;OAGG;IACH,oBAHW,UAAU,UACV,UAAU,EAKpB;IAnBD;;;OAGG;IACH,iBAFU,UAAU,CAEd;IAEN;;;OAGG;IACH,iBAFU,UAAU,CAEd;IAWN;;;OAGG;IACH,mBAHW,QAAQ,GACN,OAAO,CAInB;IAED;;;OAGG;IACH,cAHW,WAAW,GACT,QAAQ,CAIpB;CACJ;uBAhEY,OAAO,mBAAmB,EAAE,QAAQ;yBACpC,OAAO,qBAAqB,EAAE,UAAU;yBAIxC;IACZ,SAAa,EAAE,OAAO,CAAA;CACnB;6BAIS,OAAO,EACP,WAAW,IACX,CAAC,MAAM,EAAE,UAAU,KAAK,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC;;;;qBAKlD,OAAO,EACP,WAAW,IACX,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC"}

package/types/cast/UserFunc.d.ts

@@ -7,6 +7,7 @@
  * @typedef {import("./Cast.js").CastConfig} CastConfig
  */
 /**
+ * `returns` is optional to accomodate main functions that return void
  * @typedef {{
  *   name: string
  *   requiresScriptContext: boolean
@@ -17,7 +18,7 @@
  *     isOptional: boolean
  *     isIgnored?: boolean
  *   }[]
- *   returns: TypeSchema
+ *   returns?: TypeSchema
  *   validatorIndices?: Record<string, number>
  *   castConfig: CastConfig
  * }} UserFuncProps
@@ -60,9 +61,9 @@ export class UserFunc<ArgsT extends {
     eval(namedArgs: ArgsT): RetT;
     /**
      * @param {UnsafeArgsT<ArgsT>} namedArgs
-     * @returns {UplcData}
+     * @returns {RetT extends void ? void : UplcData}
      */
-    evalUnsafe(namedArgs: UnsafeArgsT<ArgsT>): UplcData;
+    evalUnsafe(namedArgs: UnsafeArgsT<ArgsT>): RetT extends void ? void : UplcData;
     /**
      * @param {UnsafeArgsT<ArgsT>} namedArgs
      * @returns {CekResult}
@@ -75,6 +76,9 @@ export type UplcData = import("@helios-lang/uplc").UplcData;
 export type UplcProgram = import("@helios-lang/uplc").UplcProgram;
 export type UplcValue = import("@helios-lang/uplc").UplcValue;
 export type CastConfig = import("./Cast.js").CastConfig;
+/**
+ * `returns` is optional to accomodate main functions that return void
+ */
 export type UserFuncProps = {
     name: string;
     requiresScriptContext: boolean;
@@ -85,7 +89,7 @@ export type UserFuncProps = {
         isOptional: boolean;
         isIgnored?: boolean;
     }[];
-    returns: TypeSchema;
+    returns?: TypeSchema;
     validatorIndices?: Record<string, number>;
     castConfig: CastConfig;
 };

package/types/cast/UserFunc.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"UserFunc.d.ts","sourceRoot":"","sources":["../../src/cast/UserFunc.js"],"names":[],"mappings":"AAKA;;;;;;;GAOG;AAEH;;;;;;;;;;;;;;;GAeG;AAEH;;;GAGG;AAEH;;;GAGG;AACH,sBAHwC,KAAK,SAAhC;IAAE,CAAC,OAAO,EAAE,MAAM,GAAG,GAAG,CAAA;CAAE,EAC1B,IAAI;IAgBb;;;OAGG;IACH,kBAHW,WAAW,SACX,aAAa,EAKvB;IApBD;;;OAGG;IACH,eAFU,WAAW,CAEjB;IAEJ;;;;OAIG;IACH,uBAAK;IAWL;;OAEG;IACH,mBAEC;IAED;;;OAGG;IACH,gBAHW,KAAK,GACH,IAAI,CAoChB;IAED;;;OAGG;IACH,sBAHW,WAAW,CAAC,KAAK,CAAC,GAChB,QAAQ,CAYpB;IAED;;;OAGG;IACH,mBAHW,WAAW,CAAC,KAAK,CAAC,GAChB,SAAS,CAyGrB;CACJ;yBApOY,OAAO,yBAAyB,EAAE,UAAU;wBAC5C,OAAO,mBAAmB,EAAE,SAAS;uBACrC,OAAO,mBAAmB,EAAE,QAAQ;0BACpC,OAAO,mBAAmB,EAAE,WAAW;wBACvC,OAAO,mBAAmB,EAAE,SAAS;yBACrC,OAAO,WAAW,EAAE,UAAU;4BAI9B;IACZ,IAAQ,EAAE,MAAM,CAAA;IAChB,qBAAyB,EAAE,OAAO,CAAA;IAClC,qBAAyB,EAAE,OAAO,CAAA;IAClC,SAAa,EAAE;QACf,IAAU,EAAE,MAAM,CAAA;QAClB,IAAU,EAAE,UAAU,CAAA;QACtB,UAAgB,EAAE,OAAO,CAAA;QACzB,SAAe,CAAC,EAAE,OAAO,CAAA;KACpB,EAAE,CAAA;IACP,OAAW,EAAE,UAAU,CAAA;IACvB,gBAAoB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7C,UAAc,EAAE,UAAU,CAAA;CACvB;wBAIS,KAAK,IACL,GAAE,CAAgB,IAAX,MAAM,KAAK,GAAG,CAAC,SAAS,gBAAgB,GAAG,MAAM,GAAG,QAAQ,GAAC"}
+{"version":3,"file":"UserFunc.d.ts","sourceRoot":"","sources":["../../src/cast/UserFunc.js"],"names":[],"mappings":"AAKA;;;;;;;GAOG;AAEH;;;;;;;;;;;;;;;;GAgBG;AAEH;;;GAGG;AAEH;;;GAGG;AACH,sBAHwC,KAAK,SAAhC;IAAE,CAAC,OAAO,EAAE,MAAM,GAAG,GAAG,CAAA;CAAE,EAC1B,IAAI;IAgBb;;;OAGG;IACH,kBAHW,WAAW,SACX,aAAa,EAKvB;IApBD;;;OAGG;IACH,eAFU,WAAW,CAEjB;IAEJ;;;;OAIG;IACH,uBAAK;IAWL;;OAEG;IACH,mBAEC;IAED;;;OAGG;IACH,gBAHW,KAAK,GACH,IAAI,CAyChB;IAED;;;OAGG;IACH,sBAHW,WAAW,CAAC,KAAK,CAAC,GAChB,IAAI,SAAS,IAAI,GAAG,IAAI,GAAG,QAAQ,CAc/C;IAED;;;OAGG;IACH,mBAHW,WAAW,CAAC,KAAK,CAAC,GAChB,SAAS,CAyGrB;CACJ;yBA5OY,OAAO,yBAAyB,EAAE,UAAU;wBAC5C,OAAO,mBAAmB,EAAE,SAAS;uBACrC,OAAO,mBAAmB,EAAE,QAAQ;0BACpC,OAAO,mBAAmB,EAAE,WAAW;wBACvC,OAAO,mBAAmB,EAAE,SAAS;yBACrC,OAAO,WAAW,EAAE,UAAU;;;;4BAK9B;IACZ,IAAQ,EAAE,MAAM,CAAA;IAChB,qBAAyB,EAAE,OAAO,CAAA;IAClC,qBAAyB,EAAE,OAAO,CAAA;IAClC,SAAa,EAAE;QACf,IAAU,EAAE,MAAM,CAAA;QAClB,IAAU,EAAE,UAAU,CAAA;QACtB,UAAgB,EAAE,OAAO,CAAA;QACzB,SAAe,CAAC,EAAE,OAAO,CAAA;KACpB,EAAE,CAAA;IACP,OAAW,CAAC,EAAE,UAAU,CAAA;IACxB,gBAAoB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7C,UAAc,EAAE,UAAU,CAAA;CACvB;wBAIS,KAAK,IACL,GAAE,CAAgB,IAAX,MAAM,KAAK,GAAG,CAAC,SAAS,gBAAgB,GAAG,MAAM,GAAG,QAAQ,GAAC"}

package/types/codegen/LoadedScriptsWriter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"LoadedScriptsWriter.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedScriptsWriter.js"],"names":[],"mappings":"AAIA;;;;;GAKG;AAEH;IAUI;;;OAGG;IACH,gBAFa,mBAAmB,CAQ/B;IAfG,yBAAoC;IACpC,0BAAqC;IACrC,uBAAkC;IAetC;;;OAGG;IACH,iBAHW;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAAA;KAAC,GACjC,mBAAmB,CAgC/B;IAED;;;OAGG;IACH,4BAHW;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,oBAAoB,CAAA;KAAC,GACpC,mBAAmB,CAoC/B;IAED;;OAEG;IACH,YAFa,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAQpC;IAED;;;;;OAKG;IACH,cAKC;IAED;;;;;OAKG;IACH,sBALW,MAAM,YACN,MAAM,eACN,MAAM,EAAE,GACN,mBAAmB,CAmB/B;IAED;;;;OAIG;IACH,kBAJW,MAAM,kBACN,MAAM,EAAE,GACN,mBAAmB,CAQ/B;IAED;;OAEG;IACH,qBAgCC;IAED;;OAEG;IACH,kBAFW,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,QAyBpC;IAED;;OAEG;IACH,0BAFW,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,QA2B7C;IAED;;;OAGG;IACH,oBA6BC;IAED;;;OAGG;IACH,uBAqDC;IAED;;OAEG;IACH,kCAFW,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,QAuB9C;CACJ;gCA5XY,OAAO,wBAAwB,EAAE,iBAAiB;kCAClD,OAAO,wBAAwB,EAAE,mBAAmB;mCACpD,OAAO,2BAA2B,EAAE,oBAAoB;yBACxD,OAAO,iBAAiB,EAAE,UAAU;6BARpB,0BAA0B"}
+{"version":3,"file":"LoadedScriptsWriter.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedScriptsWriter.js"],"names":[],"mappings":"AAIA;;;;;GAKG;AAEH;IAUI;;;OAGG;IACH,gBAFa,mBAAmB,CAQ/B;IAfG,yBAAoC;IACpC,0BAAqC;IACrC,uBAAkC;IAetC;;;OAGG;IACH,iBAHW;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAAA;KAAC,GACjC,mBAAmB,CAgC/B;IAED;;;OAGG;IACH,4BAHW;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,oBAAoB,CAAA;KAAC,GACpC,mBAAmB,CAoC/B;IAED;;OAEG;IACH,YAFa,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAQpC;IAED;;;;;OAKG;IACH,cAKC;IAED;;;;;OAKG;IACH,sBALW,MAAM,YACN,MAAM,eACN,MAAM,EAAE,GACN,mBAAmB,CAmB/B;IAED;;;;OAIG;IACH,kBAJW,MAAM,kBACN,MAAM,EAAE,GACN,mBAAmB,CAQ/B;IAED;;OAEG;IACH,qBAmCC;IAED;;OAEG;IACH,kBAFW,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,QAyBpC;IAED;;OAEG;IACH,0BAFW,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,QA2B7C;IAED;;;OAGG;IACH,oBA6BC;IAED;;;OAGG;IACH,uBAqDC;IAED;;OAEG;IACH,kCAFW,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,QAuB9C;CACJ;gCA/XY,OAAO,wBAAwB,EAAE,iBAAiB;kCAClD,OAAO,wBAAwB,EAAE,mBAAmB;mCACpD,OAAO,2BAA2B,EAAE,oBAAoB;yBACxD,OAAO,iBAAiB,EAAE,UAAU;6BARpB,0BAA0B"}

package/types/codegen/TypeCheckedModule.d.ts

@@ -1,4 +1,7 @@
 export type TypeSchema = import("./TypeSchema.js").TypeSchema;
+/**
+ * `returns` is optional to accomodate main functions that return undefined
+ */
 export type TypeCheckedUserFunc = {
     name: string;
     requiresScriptContext: boolean;
@@ -9,7 +12,7 @@ export type TypeCheckedUserFunc = {
         isOptional: boolean;
         isIgnored?: boolean;
     }[];
-    returns: TypeSchema;
+    returns?: TypeSchema;
 };
 export type TypeCheckedModule = {
     name: string;

package/types/codegen/TypeCheckedModule.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TypeCheckedModule.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeCheckedModule.js"],"names":[],"mappings":"yBAGa,OAAO,iBAAiB,EAAE,UAAU;kCAIpC;IACZ,IAAQ,EAAE,MAAM,CAAA;IAChB,qBAAyB,EAAE,OAAO,CAAA;IAClC,qBAAyB,EAAE,OAAO,CAAA;IAClC,SAAa,EAAE;QACf,IAAU,EAAE,MAAM,CAAA;QAClB,IAAU,EAAE,UAAU,CAAA;QACtB,UAAgB,EAAE,OAAO,CAAA;QACzB,SAAe,CAAC,EAAE,OAAO,CAAA;KACpB,EAAE,CAAA;IACP,OAAW,EAAE,UAAU,CAAA;CACpB;gCAIS;IACZ,IAAQ,EAAE,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;IACtB,iBAAqB,EAAE,MAAM,EAAE,CAAA;IAC/B,KAAS,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACrC,SAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;CAChD"}
+{"version":3,"file":"TypeCheckedModule.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeCheckedModule.js"],"names":[],"mappings":"yBAGa,OAAO,iBAAiB,EAAE,UAAU;;;;kCAKpC;IACZ,IAAQ,EAAE,MAAM,CAAA;IAChB,qBAAyB,EAAE,OAAO,CAAA;IAClC,qBAAyB,EAAE,OAAO,CAAA;IAClC,SAAa,EAAE;QACf,IAAU,EAAE,MAAM,CAAA;QAClB,IAAU,EAAE,UAAU,CAAA;QACtB,UAAgB,EAAE,OAAO,CAAA;QACzB,SAAe,CAAC,EAAE,OAAO,CAAA;KACpB,EAAE,CAAA;IACP,OAAW,CAAC,EAAE,UAAU,CAAA;CACrB;gCAIS;IACZ,IAAQ,EAAE,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;IACtB,iBAAqB,EAAE,MAAM,EAAE,CAAA;IAC/B,KAAS,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACrC,SAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;CAChD"}

package/types/codegen/TypeSchema.d.ts

@@ -1,6 +1,3 @@
-/**
- * @typedef {import("@helios-lang/type-utils").TypeSchema} TypeSchema
- */
 /**
  * TODO: handle recursive data structures
  * @param {TypeSchema} schema

package/types/codegen/TypeSchema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TypeSchema.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeSchema.js"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;GAIG;AACH,iCAHW,UAAU,GACR,CAAC,MAAM,EAAE,MAAM,CAAC,CAgK5B;yBAtKY,OAAO,yBAAyB,EAAE,UAAU"}
+{"version":3,"file":"TypeSchema.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeSchema.js"],"names":[],"mappings":"AAMA;;;;GAIG;AACH,iCAHW,UAAU,GACR,CAAC,MAAM,EAAE,MAAM,CAAC,CAgK5B;yBAxKY,OAAO,yBAAyB,EAAE,UAAU"}