@helios-lang/contract-utils 0.2.24 → 0.2.27

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@helios-lang/contract-utils",
-    "version": "0.2.24",
+    "version": "0.2.27",
     "description": "Convenience and type-safety utilities for using Helios validators from within Typescript",
     "main": "src/index.js",
     "types": "types/index.d.ts",

package/src/cast/UserFunc.js

@@ -1,12 +1,13 @@
+import { expectSome, isLeft } from "@helios-lang/type-utils"
+import { ConstrData, UplcDataValue, UplcProgramV2 } from "@helios-lang/uplc"
+
 /**
  * @typedef {import("@helios-lang/type-utils").TypeSchema} TypeSchema
  * @typedef {import("@helios-lang/uplc").UplcData} UplcData
  * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
+ * @typedef {import("@helios-lang/uplc").UplcValue} UplcValue
  */
 
-import { expectSome, isLeft } from "@helios-lang/type-utils"
-import { ConstrData, UplcDataValue } from "@helios-lang/uplc"
-
 /**
  * @typedef {{
  *   requiresScriptContext: boolean
@@ -91,9 +92,24 @@ export class UserFunc {
                     args.push(new ConstrData(index, []))
                 }
 
-                const result = this.uplc.eval(
-                    args.map((a) => new UplcDataValue(a))
-                ).result
+                const argValues = args.map((a) => new UplcDataValue(a))
+
+                const result = this.uplc.eval(argValues).result
+
+                if (
+                    "alt" in this.uplc &&
+                    this.uplc.alt instanceof UplcProgramV2
+                ) {
+                    const resultUnoptim = this.uplc.alt.eval(argValues).result
+                    const resultUnoptimStr = evalResultToString(resultUnoptim)
+                    const resultStr = evalResultToString(result)
+
+                    if (resultStr != resultUnoptimStr) {
+                        throw new Error(
+                            `Critical error: contact Helios maintainers, expected ${resultUnoptimStr}, got ${resultStr}`
+                        )
+                    }
+                }
 
                 if (isLeft(result)) {
                     throw new Error(result.left.error)
@@ -108,3 +124,22 @@ export class UserFunc {
         )
     }
 }
+
+/**
+ * @param {Either<{error: string}, string | UplcValue>} result
+ * @returns {string}
+ */
+function evalResultToString(result) {
+    if (isLeft(result)) {
+        console.error(result.left.error)
+        return "error"
+    } else {
+        if (typeof result.right == "string") {
+            return result.right
+        } else if (result.right instanceof UplcDataValue) {
+            return result.right.value.toString()
+        } else {
+            return result.right.toString()
+        }
+    }
+}

package/src/context/DagCompiler.js

@@ -1,6 +1,7 @@
 import { bytesToHex } from "@helios-lang/codec-utils"
 import {
     MintingPolicyHash,
+    ScriptHash,
     StakingValidatorHash,
     ValidatorHash
 } from "@helios-lang/ledger"
@@ -117,6 +118,7 @@ export class DagCompiler {
                     isTestnet: isTestnet,
                     excludeUserFuncs: excludeUserFuncs,
                     onCompileUserFunc: (name, cborHex, plutusVersion) => {
+                        console.log(`Compiled user function ${name}`)
                         this.cachedUserFuncs[name] =
                             plutusVersion == "PlutusScriptV1"
                                 ? UplcProgramV1.fromCbor(cborHex)
@@ -219,6 +221,13 @@ export class DagCompiler {
                     datum: configureCast(validator.$Datum, this.castConfig)
                 })
                 break
+            case "mixed":
+                this.cachedValidators[name] = new ScriptHash(hash, {
+                    program,
+                    redeemer,
+                    datum: configureCast(validator.$Datum, this.castConfig)
+                })
+                break
             case "minting":
                 this.cachedValidators[name] = new MintingPolicyHash(hash, {
                     program,
@@ -234,7 +243,9 @@ export class DagCompiler {
                 })
                 break
             default:
-                throw new Error("unhandled purpose")
+                throw new Error(
+                    `unhandled purpose '${/** @type {any} */ (validator).$purpose}'`
+                )
         }
     }
 

package/types/cast/UserFunc.d.ts

@@ -1,3 +1,9 @@
+/**
+ * @typedef {import("@helios-lang/type-utils").TypeSchema} TypeSchema
+ * @typedef {import("@helios-lang/uplc").UplcData} UplcData
+ * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
+ * @typedef {import("@helios-lang/uplc").UplcValue} UplcValue
+ */
 /**
  * @typedef {{
  *   requiresScriptContext: boolean
@@ -40,6 +46,7 @@ export class UserFunc<T> {
 export type TypeSchema = import("@helios-lang/type-utils").TypeSchema;
 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 UserFuncProps = {
     requiresScriptContext: boolean;
     requiresCurrentScript: boolean;

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

@@ -1 +1 @@
-{"version":3,"file":"UserFunc.d.ts","sourceRoot":"","sources":["../../src/cast/UserFunc.js"],"names":[],"mappings":"AASA;;;;;;;;;;;;GAYG;AAEH;;GAEG;AACH;IAeI;;;OAGG;IACH,kBAHW,WAAW,SACX,aAAa,EAKvB;IArBD;;;;OAIG;IACH,sBAAI;IAEJ;;;;OAIG;IACH,uBAAK;IAWL;;OAEG;IACH,oBAuDC;CACJ;yBA5GY,OAAO,yBAAyB,EAAE,UAAU;uBAC5C,OAAO,mBAAmB,EAAE,QAAQ;0BACpC,OAAO,mBAAmB,EAAE,WAAW;4BAOvC;IACZ,qBAAyB,EAAE,OAAO,CAAA;IAClC,qBAAyB,EAAE,OAAO,CAAA;IAClC,SAAa,EAAE;QACf,MAAY,MAAM,CAAA;QAClB,IAAU,EAAE,UAAU,CAAA;QACtB,UAAgB,EAAE,OAAO,CAAA;KACpB,EAAE,CAAA;IACP,OAAW,EAAE,UAAU,CAAA;IACvB,gBAAoB,CAAC,EAAE,OAAO,MAAM,EAAE,MAAM,CAAC,CAAA;CAC1C"}
+{"version":3,"file":"UserFunc.d.ts","sourceRoot":"","sources":["../../src/cast/UserFunc.js"],"names":[],"mappings":"AAGA;;;;;GAKG;AAEH;;;;;;;;;;;;GAYG;AAEH;;GAEG;AACH;IAeI;;;OAGG;IACH,kBAHW,WAAW,SACX,aAAa,EAKvB;IArBD;;;;OAIG;IACH,sBAAI;IAEJ;;;;OAIG;IACH,uBAAK;IAWL;;OAEG;IACH,oBAsEC;CACJ;yBAzHY,OAAO,yBAAyB,EAAE,UAAU;uBAC5C,OAAO,mBAAmB,EAAE,QAAQ;0BACpC,OAAO,mBAAmB,EAAE,WAAW;wBACvC,OAAO,mBAAmB,EAAE,SAAS;4BAIrC;IACZ,qBAAyB,EAAE,OAAO,CAAA;IAClC,qBAAyB,EAAE,OAAO,CAAA;IAClC,SAAa,EAAE;QACf,MAAY,MAAM,CAAA;QAClB,IAAU,EAAE,UAAU,CAAA;QACtB,UAAgB,EAAE,OAAO,CAAA;KACpB,EAAE,CAAA;IACP,OAAW,EAAE,UAAU,CAAA;IACvB,gBAAoB,CAAC,EAAE,OAAO,MAAM,EAAE,MAAM,CAAC,CAAA;CAC1C"}

package/types/context/DagCompiler.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"DagCompiler.d.ts","sourceRoot":"","sources":["../../src/context/DagCompiler.js"],"names":[],"mappings":"AAsUA;;;GAGG;AACH,iDAHW,eAAe,GACb,MAAM,EAAE,CAsBpB;AApVD;;;;;;GAMG;AAEH;;;;;GAKG;AAEH;;GAEG;AACH;IA6BI;;;OAGG;IACH,iBAHW,WAAW,cACX,UAAU,EAOpB;IArCD;;;;OAIG;IACH,qBAAG;IAEH;;;;OAIG;IACH,wBAAM;IAEN;;;;OAIG;IACH,kCAAgB;IAEhB;;;;OAIG;IACH,iCAAe;IAQX,iDAA4B;IAKhC;;;;;;OAMG;IACH,kBANW,eAAe,EAAE,cACjB,OAAO,MAAM,EAAE,GAAG,CAAC,aACnB,OAAO;;SAEL,iBAAiB,CAgI7B;IAED;;;;;OAKG;IACH,4BA6BC;IAED;;;;;OAKG;IACH,yBA0BC;IAED;;;;;OAKG;IACH,qBAoBC;IAED;;;;;OAKG;IACH,4BAeC;CACJ;0BAzTY,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,kBAAkB,EAAE,UAAU;8BACrC,OAAO,+BAA+B,EAAE,eAAe;0BACvD,OAAO,sBAAsB,EAAE,WAAW;0CAC1C,OAAO,sBAAsB,EAAE,2BAA2B"}
+{"version":3,"file":"DagCompiler.d.ts","sourceRoot":"","sources":["../../src/context/DagCompiler.js"],"names":[],"mappings":"AAiVA;;;GAGG;AACH,iDAHW,eAAe,GACb,MAAM,EAAE,CAsBpB;AA9VD;;;;;;GAMG;AAEH;;;;;GAKG;AAEH;;GAEG;AACH;IA6BI;;;OAGG;IACH,iBAHW,WAAW,cACX,UAAU,EAOpB;IArCD;;;;OAIG;IACH,qBAAG;IAEH;;;;OAIG;IACH,wBAAM;IAEN;;;;OAIG;IACH,kCAAgB;IAEhB;;;;OAIG;IACH,iCAAe;IAQX,iDAA4B;IAKhC;;;;;;OAMG;IACH,kBANW,eAAe,EAAE,cACjB,OAAO,MAAM,EAAE,GAAG,CAAC,aACnB,OAAO;;SAEL,iBAAiB,CAiI7B;IAED;;;;;OAKG;IACH,4BAsCC;IAED;;;;;OAKG;IACH,yBA0BC;IAED;;;;;OAKG;IACH,qBAoBC;IAED;;;;;OAKG;IACH,4BAeC;CACJ;0BAnUY,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,kBAAkB,EAAE,UAAU;8BACrC,OAAO,+BAA+B,EAAE,eAAe;0BACvD,OAAO,sBAAsB,EAAE,WAAW;0CAC1C,OAAO,sBAAsB,EAAE,2BAA2B"}