@helios-lang/effect 0.3.0 → 0.4.31

package/dist/Cardano/Uplc/Builtins.js

@@ -1,7 +1,7 @@
-import { Data, Either } from "effect";
+import { Data, Either, Encoding } from "effect";
 import * as Bytes from "../../Codecs/Bytes.js";
 import * as Utf8 from "../../Codecs/Utf8.js";
-import * as Crypto from "../../Crypto";
+import * as Crypto from "../../Crypto/index.js";
 import * as Cost from "./Cost.js";
 import { toString as dataToString, encode as encodeData } from "./Data.js";
 import * as Type from "./Type.js";
@@ -39,6 +39,12 @@ export const addIntegerV1 = {
     cpuModel: Cost.Linear(0, 1)(Cost.Max),
     memModel: Cost.Linear(2, 3)(Cost.Max),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in addInteger()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in addInteger");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -64,6 +70,12 @@ export const subtractIntegerV1 = {
     cpuModel: Cost.Linear(145, 146)(Cost.Max),
     memModel: Cost.Linear(147, 148)(Cost.Max),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in subtractInteger()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in subtractInteger()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -99,6 +111,12 @@ export const multiplyIntegerV1 = {
     cpuModel: Cost.Linear(115, 116)(Cost.Sum),
     memModel: Cost.Linear(117, 118)(Cost.Sum),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in multiplyInteger()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in multiplyInteger()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -134,6 +152,12 @@ export const divideIntegerV1 = {
     cpuModel: Cost.ConstantBelowDiag(49)(Cost.Linear(50, 51)(Cost.Prod)),
     memModel: Cost.AtLeast(53)(Cost.Diff),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in divideInteger()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in divideInteger()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -168,6 +192,12 @@ export const quotientIntegerV1 = {
     cpuModel: Cost.ConstantBelowDiag(121)(Cost.Linear(122, 123)(Cost.Prod)),
     memModel: Cost.AtLeast(125)(Cost.Diff),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in quotientInteger()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in quotientInteger()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -208,6 +238,12 @@ export const remainderIntegerV1 = {
     cpuModel: Cost.ConstantBelowDiag(127)(Cost.Linear(128, 129)(Cost.Prod)),
     memModel: Cost.AtLeast(131)(Cost.Diff),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in remainderInteger()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in remainderInteger()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -248,6 +284,12 @@ export const modIntegerV1 = {
     cpuModel: Cost.ConstantBelowDiag(109)(Cost.Linear(110, 111)(Cost.Prod)),
     memModel: Cost.AtLeast(113)(Cost.Diff),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in modInteger()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in modInteger()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -297,6 +339,12 @@ export const equalsIntegerV1 = {
     cpuModel: Cost.Linear(66, 67)(Cost.Min),
     memModel: Cost.Constant(68),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in equalsInteger()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in equalsInteger()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -327,6 +375,12 @@ export const lessThanIntegerV1 = {
     cpuModel: Cost.Linear(94, 95)(Cost.Min),
     memModel: Cost.Constant(96),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in lessThanInteger()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in lessThanInteger()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -357,6 +411,12 @@ export const lessThanEqualsIntegerV1 = {
     cpuModel: Cost.Linear(91, 92)(Cost.Min),
     memModel: Cost.Constant(93),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in lessThanEqualsInteger()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in lessThanEqualsInteger()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -387,6 +447,12 @@ export const appendByteStringV1 = {
     cpuModel: Cost.Linear(4, 5)(Cost.Sum),
     memModel: Cost.Linear(6, 7)(Cost.Sum),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in appendByteString()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in appendByteString()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -412,6 +478,12 @@ export const consByteStringV1 = {
     cpuModel: Cost.Linear(39, 40)(Cost.Second),
     memModel: Cost.Linear(41, 42)(Cost.Sum),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in consByteString()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in consByteString()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -437,6 +509,15 @@ export const sliceByteStringV1 = {
     cpuModel: Cost.Linear(139, 140)(Cost.Third),
     memModel: Cost.Linear(141, 142)(Cost.Third),
     call: ([a, b, c]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in sliceByteString()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in sliceByteString()");
+        }
+        if (c === undefined) {
+            throw new Error("c is undefined in sliceByteString()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -482,6 +563,9 @@ export const lengthOfByteStringV1 = {
     cpuModel: Cost.Constant(83),
     memModel: Cost.Constant(84),
     call: ([a]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in lengthOfByteString()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -506,6 +590,12 @@ export const indexByteStringV1 = {
     cpuModel: Cost.Constant(81),
     memModel: Cost.Constant(82),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in indexByteString()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in indexByteString()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -541,6 +631,12 @@ export const equalsByteStringV1 = {
     cpuModel: Cost.ConstantOffDiag(59)(Cost.Linear(60, 61)(Cost.First)),
     memModel: Cost.Constant(62),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in equalsByteString()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in equalsByteString()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -571,6 +667,12 @@ export const lessThanByteStringV1 = {
     cpuModel: Cost.Linear(85, 86)(Cost.Min),
     memModel: Cost.Constant(87),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in lessThanByteString()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in lessThanByteString()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -601,6 +703,12 @@ export const lessThanEqualsByteStringV1 = {
     cpuModel: Cost.Linear(88, 89)(Cost.Min),
     memModel: Cost.Constant(90),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in lessThanEqualsByteString()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in lessThanEqualsByteString()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -631,6 +739,9 @@ export const sha2_256V1 = {
     cpuModel: Cost.Linear(133, 134)(Cost.First),
     memModel: Cost.Constant(135),
     call: ([a]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in sha2_256()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -660,6 +771,9 @@ export const sha3_256V1 = {
     cpuModel: Cost.Linear(136, 137)(Cost.First),
     memModel: Cost.Constant(138),
     call: ([a]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in sha3_256()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -689,6 +803,9 @@ export const blake2b_256V1 = {
     cpuModel: Cost.Linear(14, 15)(Cost.First),
     memModel: Cost.Constant(16),
     call: ([a]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in blake2b_256()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -708,6 +825,15 @@ export const verifyEd25519SignatureV1 = {
     cpuModel: Cost.Linear(163, 164)(Cost.Third),
     memModel: Cost.Constant(165),
     call: ([pk, message, signature]) => {
+        if (pk === undefined) {
+            throw new Error("pk is undefined in verifyEd25519Signature()");
+        }
+        if (message === undefined) {
+            throw new Error("message is undefined in verifyEd25519Signature()");
+        }
+        if (signature === undefined) {
+            throw new Error("signature is undefined in verifyEd25519Signature()");
+        }
         if (pk._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", pk._tag));
         }
@@ -757,6 +883,12 @@ export const appendStringV1 = {
     cpuModel: Cost.Linear(8, 9)(Cost.Sum),
     memModel: Cost.Linear(10, 11)(Cost.Sum),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in appendString()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in appendString()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -782,6 +914,12 @@ export const equalsStringV1 = {
     cpuModel: Cost.ConstantOffDiag(69)(Cost.Linear(70, 71)(Cost.First)),
     memModel: Cost.Constant(72),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in equalsString()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in equalsString()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -812,6 +950,9 @@ export const encodeUtf8V1 = {
     cpuModel: Cost.Linear(55, 56)(Cost.First),
     memModel: Cost.Linear(57, 58)(Cost.First),
     call: ([a]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in encodeUtf8()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -836,6 +977,9 @@ export const decodeUtf8V1 = {
     cpuModel: Cost.Linear(45, 46)(Cost.First),
     memModel: Cost.Linear(47, 48)(Cost.First),
     call: ([a]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in decodeUtf8()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -852,6 +996,15 @@ export const ifThenElseV1 = {
     cpuModel: Cost.Constant(79),
     memModel: Cost.Constant(80),
     call: ([cond, a, b]) => {
+        if (cond === undefined) {
+            throw new Error("cond is undefined in ifThenElse()");
+        }
+        if (a === undefined) {
+            throw new Error("a is undefined in ifThenElse()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in ifThenElse()");
+        }
         if (cond._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", cond._tag));
         }
@@ -873,6 +1026,12 @@ export const chooseUnitV1 = {
     cpuModel: Cost.Constant(37),
     memModel: Cost.Constant(38),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in chooseUnit()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in chooseUnit()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -889,6 +1048,12 @@ export const traceV1 = {
     cpuModel: Cost.Constant(151),
     memModel: Cost.Constant(152),
     call: ([message, after], ctx) => {
+        if (message === undefined) {
+            throw new Error("message is undefined in trace()");
+        }
+        if (after === undefined) {
+            throw new Error("after is undefined in trace()");
+        }
         if (message._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", message._tag));
         }
@@ -916,6 +1081,9 @@ export const fstPairV1 = {
     cpuModel: Cost.Constant(73),
     memModel: Cost.Constant(74),
     call: ([a]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in fstPair()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -940,6 +1108,9 @@ export const sndPairV1 = {
     cpuModel: Cost.Constant(143),
     memModel: Cost.Constant(144),
     call: ([a]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in sndPair()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -969,6 +1140,15 @@ export const chooseListV1 = {
     cpuModel: Cost.Constant(35),
     memModel: Cost.Constant(36),
     call: ([lst, a, b]) => {
+        if (lst === undefined) {
+            throw new Error("lst is undefined in chooseList()");
+        }
+        if (a === undefined) {
+            throw new Error("a is undefined in chooseList()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in chooseList()");
+        }
         if (lst._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", lst._tag));
         }
@@ -987,6 +1167,12 @@ export const mkConsV1 = {
     cpuModel: Cost.Constant(101),
     memModel: Cost.Constant(102),
     call: ([item, list]) => {
+        if (item === undefined) {
+            throw new Error("item is undefined in mkCons()");
+        }
+        if (list === undefined) {
+            throw new Error("list is undefined in mkCons()");
+        }
         if (list._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", list._tag));
         }
@@ -1021,21 +1207,23 @@ export const headListV1 = {
     nArgs: 1,
     cpuModel: Cost.Constant(75),
     memModel: Cost.Constant(76),
-    call: ([list]) => {
-        if (list._tag != "Const") {
-            return Either.left(new WrongArgType(0, "Const", list._tag));
+    call: ([l]) => {
+        if (l === undefined) {
+            throw new Error("list is undefined in headList()");
         }
-        if (!(typeof list.value == "object" &&
-            list.value != null &&
-            "items" in list.value)) {
-            return Either.left(new WrongArgType(0, "list", Value.describeType(list.value)));
+        if (l._tag != "Const") {
+            return Either.left(new WrongArgType(0, "Const", l._tag));
+        }
+        if (!(typeof l.value == "object" && l.value != null && "items" in l.value)) {
+            return Either.left(new WrongArgType(0, "list", Value.describeType(l.value)));
         }
-        if (list.value.items.length == 0) {
+        if (l.value.items.length == 0) {
             return Either.left(new OutOfRange(0, 0));
         }
+        const head = l.value.items[0];
         return Either.right({
             _tag: "Const",
-            value: list.value.items[0]
+            value: head
         });
     }
 };
@@ -1050,23 +1238,24 @@ export const tailListV1 = {
     nArgs: 1,
     cpuModel: Cost.Constant(149),
     memModel: Cost.Constant(150),
-    call: ([list]) => {
-        if (list._tag != "Const") {
-            return Either.left(new WrongArgType(0, "Const", list._tag));
+    call: ([l]) => {
+        if (l === undefined) {
+            throw new Error("list is undefined in tailList()");
         }
-        if (!(typeof list.value == "object" &&
-            list.value != null &&
-            "items" in list.value)) {
-            return Either.left(new WrongArgType(0, "list", Value.describeType(list.value)));
+        if (l._tag != "Const") {
+            return Either.left(new WrongArgType(0, "Const", l._tag));
+        }
+        if (!(typeof l.value == "object" && l.value != null && "items" in l.value)) {
+            return Either.left(new WrongArgType(0, "list", Value.describeType(l.value)));
         }
-        if (list.value.items.length == 0) {
+        if (l.value.items.length == 0) {
             return Either.left(new OutOfRange(0, 0));
         }
         return Either.right({
             _tag: "Const",
             value: {
-                itemType: list.value.itemType,
-                items: list.value.items.slice(1)
+                itemType: l.value.itemType,
+                items: l.value.items.slice(1)
             }
         });
     }
@@ -1087,18 +1276,19 @@ export const nullListV1 = {
     nArgs: 1,
     cpuModel: Cost.Constant(119),
     memModel: Cost.Constant(120),
-    call: ([list]) => {
-        if (list._tag != "Const") {
-            return Either.left(new WrongArgType(0, "Const", list._tag));
+    call: ([l]) => {
+        if (l === undefined) {
+            throw new Error("list is undefined in nullList()");
         }
-        if (!(typeof list.value == "object" &&
-            list.value != null &&
-            "items" in list.value)) {
-            return Either.left(new WrongArgType(0, "list", Value.describeType(list.value)));
+        if (l._tag != "Const") {
+            return Either.left(new WrongArgType(0, "Const", l._tag));
+        }
+        if (!(typeof l.value == "object" && l.value != null && "items" in l.value)) {
+            return Either.left(new WrongArgType(0, "list", Value.describeType(l.value)));
         }
         return Either.right({
             _tag: "Const",
-            value: list.value.items.length == 0
+            value: l.value.items.length == 0
         });
     }
 };
@@ -1114,6 +1304,24 @@ export const chooseDataV1 = {
     cpuModel: Cost.Constant(33),
     memModel: Cost.Constant(34),
     call: ([cond, constrCase, mapCase, listCase, intCase, bytesCase]) => {
+        if (cond === undefined) {
+            throw new Error("cond is undefined in chooseData()");
+        }
+        if (constrCase === undefined) {
+            throw new Error("constrCase is undefined in chooseData()");
+        }
+        if (mapCase === undefined) {
+            throw new Error("mapCase is undefined in chooseData()");
+        }
+        if (listCase === undefined) {
+            throw new Error("listCase is undefined in chooseData()");
+        }
+        if (intCase === undefined) {
+            throw new Error("intCase is undefined in chooseData()");
+        }
+        if (bytesCase === undefined) {
+            throw new Error("bytesCase is undefined in chooseData()");
+        }
         if (cond._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", cond._tag));
         }
@@ -1150,6 +1358,12 @@ export const constrDataV1 = {
     cpuModel: Cost.Constant(43),
     memModel: Cost.Constant(44),
     call: ([tag, fields]) => {
+        if (tag === undefined) {
+            throw new Error("tag is undefined in constrData()");
+        }
+        if (fields === undefined) {
+            throw new Error("fields is undefined in constrData()");
+        }
         if (tag._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", tag._tag));
         }
@@ -1185,6 +1399,9 @@ export const mapDataV1 = {
     cpuModel: Cost.Constant(99),
     memModel: Cost.Constant(100),
     call: ([pairs]) => {
+        if (pairs === undefined) {
+            throw new Error("pairs is undefined in mapData()");
+        }
         if (pairs._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", pairs._tag));
         }
@@ -1227,6 +1444,9 @@ export const listDataV1 = {
     cpuModel: Cost.Constant(97),
     memModel: Cost.Constant(98),
     call: ([list]) => {
+        if (list === undefined) {
+            throw new Error("list is undefined in listData()");
+        }
         if (list._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", list._tag));
         }
@@ -1260,6 +1480,9 @@ export const iDataV1 = {
     cpuModel: Cost.Constant(77),
     memModel: Cost.Constant(78),
     call: ([x]) => {
+        if (x === undefined) {
+            throw new Error("x is undefined in iData()");
+        }
         if (x._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", x._tag));
         }
@@ -1288,6 +1511,9 @@ export const bDataV1 = {
     cpuModel: Cost.Constant(12),
     memModel: Cost.Constant(13),
     call: ([b]) => {
+        if (b === undefined) {
+            throw new Error("b is undefined in bData()");
+        }
         if (b._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", b._tag));
         }
@@ -1311,6 +1537,9 @@ export const unConstrDataV1 = {
     cpuModel: Cost.Constant(155),
     memModel: Cost.Constant(156),
     call: ([data]) => {
+        if (data === undefined) {
+            throw new Error("data is undefined in unConstrData()");
+        }
         if (data._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", data._tag));
         }
@@ -1318,7 +1547,7 @@ export const unConstrDataV1 = {
             return Either.left(new WrongArgType(0, "data", Value.describeType(data.value)));
         }
         if (!("fields" in data.value.data)) {
-            return Either.left(new WrongArgType(0, "constr data", Value.describeType(data.value)));
+            return Either.left(new WrongArgType(0, "constr data", Object.keys(data.value.data).join("")));
         }
         return Either.right({
             _tag: "Const",
@@ -1349,6 +1578,9 @@ export const unMapDataV1 = {
     cpuModel: Cost.Constant(161),
     memModel: Cost.Constant(162),
     call: ([data]) => {
+        if (data === undefined) {
+            throw new Error("data is undefined in unMapData()");
+        }
         if (data._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", data._tag));
         }
@@ -1387,6 +1619,9 @@ export const unListDataV1 = {
     cpuModel: Cost.Constant(159),
     memModel: Cost.Constant(160),
     call: ([data]) => {
+        if (data === undefined) {
+            throw new Error("data is undefined in unListData()");
+        }
         if (data._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", data._tag));
         }
@@ -1422,6 +1657,9 @@ export const unIDataV1 = {
     cpuModel: Cost.Constant(157),
     memModel: Cost.Constant(158),
     call: ([data]) => {
+        if (data === undefined) {
+            throw new Error("data is undefined in unIData()");
+        }
         if (data._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", data._tag));
         }
@@ -1454,6 +1692,9 @@ export const unBDataV1 = {
     cpuModel: Cost.Constant(153),
     memModel: Cost.Constant(154),
     call: ([data]) => {
+        if (data === undefined) {
+            throw new Error("data is undefined in unBData()");
+        }
         if (data._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", data._tag));
         }
@@ -1482,10 +1723,16 @@ export const unBDataV3 = {
 export const equalsDataV1 = {
     name: "equalsData",
     forceCount: 0,
-    nArgs: 1,
+    nArgs: 2,
     cpuModel: Cost.Linear(63, 64)(Cost.Min),
     memModel: Cost.Constant(65),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in equalsData()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in equalsData()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -1516,6 +1763,12 @@ export const mkPairDataV1 = {
     cpuModel: Cost.Constant(107),
     memModel: Cost.Constant(108),
     call: ([a, b]) => {
+        if (a === undefined) {
+            throw new Error("a is undefined in mkPairData()");
+        }
+        if (b === undefined) {
+            throw new Error("b is undefined in mkPairData()");
+        }
         if (a._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", a._tag));
         }
@@ -1549,6 +1802,9 @@ export const mkNilDataV1 = {
     cpuModel: Cost.Constant(103),
     memModel: Cost.Constant(104),
     call: ([unit]) => {
+        if (unit === undefined) {
+            throw new Error("unit is undefined in mkNilData()");
+        }
         if (unit._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", unit._tag));
         }
@@ -1576,13 +1832,15 @@ export const mkNilPairDataV1 = {
     cpuModel: Cost.Constant(105),
     memModel: Cost.Constant(106),
     call: ([unit]) => {
+        if (unit === undefined) {
+            throw new Error("unit is undefined in mkNilPairData()");
+        }
         if (unit._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", unit._tag));
         }
         if (unit.value !== null) {
             return Either.left(new WrongArgType(0, "null", Value.describeType(unit.value)));
         }
-        console.log("RETURNING", Type.DataPair);
         return Either.right({
             _tag: "Const",
             value: {
@@ -1604,6 +1862,9 @@ export const serialiseDataV2 = {
     cpuModel: Cost.Linear(133, 134)(Cost.First),
     memModel: Cost.Linear(135, 136)(Cost.First),
     call: ([data]) => {
+        if (data === undefined) {
+            throw new Error("data is undefined in serialiseData()");
+        }
         if (data._tag != "Const") {
             return Either.left(new WrongArgType(0, "Const", data._tag));
         }