Socket
Socket
Sign inDemoInstall

@harmoniclabs/uplc

Package Overview
Dependencies
Maintainers
1
Versions
8
Alerts
File Explorer

Advanced tools

Socket logo

Install Socket

Detect and block malicious and high-risk dependencies

Install

@harmoniclabs/uplc - npm Package Compare versions

Comparing version 1.0.0 to 1.0.1

4

dist/UPLCDecoder/index.js

@@ -281,3 +281,3 @@ "use strict";

return undefined;
if (t[0] === 5 /* ConstTyTag.list */) {
if (t[0] === ConstType_1.ConstTyTag.list) {
var tyArg = ConstType_1.constListTypeUtils.getTypeArgument(t);

@@ -290,3 +290,3 @@ var list = [];

}
if (t[0] === 6 /* ConstTyTag.pair */) {
if (t[0] === ConstType_1.ConstTyTag.pair) {
return new pair_1.Pair(readConstValueOfType(ConstType_1.constPairTypeUtils.getFirstTypeArgument(t)), readConstValueOfType(ConstType_1.constPairTypeUtils.getSecondTypeArgument(t)));

@@ -293,0 +293,0 @@ }

@@ -89,3 +89,3 @@ "use strict";

function _serializeConstTyTagToUPLCBinaryString(typeTag) {
if (typeTag === 5 /* ConstTyTag.list */) {
if (typeTag === ConstType_1.ConstTyTag.list) {
return ("1" + "0111" + // cons + (7).toString(2).padStart( 4, '0' ) // type application

@@ -96,3 +96,3 @@ "1" + "0101" // cons + (5).toString(2).padStart( 4, '0' ) // list

}
else if (typeTag === 6 /* ConstTyTag.pair */) {
else if (typeTag === ConstType_1.ConstTyTag.pair) {
return ("1" + "0111" + // cons + (7).toString(2).padStart( 4, '0' ) // type application

@@ -99,0 +99,0 @@ "1" + "0111" + // cons + (7).toString(2).padStart( 4, '0' ) // type application

@@ -118,6 +118,6 @@ "use strict";

function showConstType(t) {
if (t[0] === 5 /* ConstTyTag.list */) {
if (t[0] === ConstType_1.ConstTyTag.list) {
return "list( ".concat(showConstType(ConstType_1.constListTypeUtils.getTypeArgument(t)), " )");
}
if (t[0] === 6 /* ConstTyTag.pair */) {
if (t[0] === ConstType_1.ConstTyTag.pair) {
return "pair( ".concat(showConstType(ConstType_1.constPairTypeUtils.getFirstTypeArgument(t)), ", ").concat(showConstType(ConstType_1.constPairTypeUtils.getSecondTypeArgument(t)), " )");

@@ -124,0 +124,0 @@ }

@@ -62,3 +62,3 @@ "use strict";

Object.defineProperty(Builtin, "addInteger", {
get: function () { return new Builtin(0 /* UPLCBuiltinTag.addInteger */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.addInteger); },
enumerable: false,

@@ -68,3 +68,3 @@ configurable: true

Object.defineProperty(Builtin, "subtractInteger", {
get: function () { return new Builtin(1 /* UPLCBuiltinTag.subtractInteger */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.subtractInteger); },
enumerable: false,

@@ -74,3 +74,3 @@ configurable: true

Object.defineProperty(Builtin, "multiplyInteger", {
get: function () { return new Builtin(2 /* UPLCBuiltinTag.multiplyInteger */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.multiplyInteger); },
enumerable: false,

@@ -80,3 +80,3 @@ configurable: true

Object.defineProperty(Builtin, "divideInteger", {
get: function () { return new Builtin(3 /* UPLCBuiltinTag.divideInteger */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.divideInteger); },
enumerable: false,

@@ -86,3 +86,3 @@ configurable: true

Object.defineProperty(Builtin, "quotientInteger", {
get: function () { return new Builtin(4 /* UPLCBuiltinTag.quotientInteger */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.quotientInteger); },
enumerable: false,

@@ -92,3 +92,3 @@ configurable: true

Object.defineProperty(Builtin, "remainderInteger", {
get: function () { return new Builtin(5 /* UPLCBuiltinTag.remainderInteger */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.remainderInteger); },
enumerable: false,

@@ -98,3 +98,3 @@ configurable: true

Object.defineProperty(Builtin, "modInteger", {
get: function () { return new Builtin(6 /* UPLCBuiltinTag.modInteger */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.modInteger); },
enumerable: false,

@@ -105,3 +105,3 @@ configurable: true

// integers comparison operaitons
get: function () { return new Builtin(7 /* UPLCBuiltinTag.equalsInteger */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.equalsInteger); },
enumerable: false,

@@ -111,3 +111,3 @@ configurable: true

Object.defineProperty(Builtin, "lessThanInteger", {
get: function () { return new Builtin(8 /* UPLCBuiltinTag.lessThanInteger */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.lessThanInteger); },
enumerable: false,

@@ -117,3 +117,3 @@ configurable: true

Object.defineProperty(Builtin, "lessThanEqualInteger", {
get: function () { return new Builtin(9 /* UPLCBuiltinTag.lessThanEqualInteger */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.lessThanEqualInteger); },
enumerable: false,

@@ -124,3 +124,3 @@ configurable: true

// bytestring operations
get: function () { return new Builtin(10 /* UPLCBuiltinTag.appendByteString */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.appendByteString); },
enumerable: false,

@@ -130,3 +130,3 @@ configurable: true

Object.defineProperty(Builtin, "consByteString", {
get: function () { return new Builtin(11 /* UPLCBuiltinTag.consByteString */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.consByteString); },
enumerable: false,

@@ -136,3 +136,3 @@ configurable: true

Object.defineProperty(Builtin, "sliceByteString", {
get: function () { return new Builtin(12 /* UPLCBuiltinTag.sliceByteString */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.sliceByteString); },
enumerable: false,

@@ -142,3 +142,3 @@ configurable: true

Object.defineProperty(Builtin, "lengthOfByteString", {
get: function () { return new Builtin(13 /* UPLCBuiltinTag.lengthOfByteString */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.lengthOfByteString); },
enumerable: false,

@@ -148,3 +148,3 @@ configurable: true

Object.defineProperty(Builtin, "indexByteString", {
get: function () { return new Builtin(14 /* UPLCBuiltinTag.indexByteString */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.indexByteString); },
enumerable: false,

@@ -155,3 +155,3 @@ configurable: true

// bytestring comparison operations
get: function () { return new Builtin(15 /* UPLCBuiltinTag.equalsByteString */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.equalsByteString); },
enumerable: false,

@@ -161,3 +161,3 @@ configurable: true

Object.defineProperty(Builtin, "lessThanByteString", {
get: function () { return new Builtin(16 /* UPLCBuiltinTag.lessThanByteString */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.lessThanByteString); },
enumerable: false,

@@ -167,3 +167,3 @@ configurable: true

Object.defineProperty(Builtin, "lessThanEqualsByteString", {
get: function () { return new Builtin(17 /* UPLCBuiltinTag.lessThanEqualsByteString */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.lessThanEqualsByteString); },
enumerable: false,

@@ -174,3 +174,3 @@ configurable: true

// hashes
get: function () { return new Builtin(18 /* UPLCBuiltinTag.sha2_256 */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.sha2_256); },
enumerable: false,

@@ -180,3 +180,3 @@ configurable: true

Object.defineProperty(Builtin, "sha3_256", {
get: function () { return new Builtin(19 /* UPLCBuiltinTag.sha3_256 */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.sha3_256); },
enumerable: false,

@@ -186,3 +186,3 @@ configurable: true

Object.defineProperty(Builtin, "blake2b_256", {
get: function () { return new Builtin(20 /* UPLCBuiltinTag.blake2b_256 */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.blake2b_256); },
enumerable: false,

@@ -192,3 +192,3 @@ configurable: true

Object.defineProperty(Builtin, "verifyEd25519Signature", {
get: function () { return new Builtin(21 /* UPLCBuiltinTag.verifyEd25519Signature */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.verifyEd25519Signature); },
enumerable: false,

@@ -199,3 +199,3 @@ configurable: true

// string operations
get: function () { return new Builtin(22 /* UPLCBuiltinTag.appendString */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.appendString); },
enumerable: false,

@@ -205,3 +205,3 @@ configurable: true

Object.defineProperty(Builtin, "equalsString", {
get: function () { return new Builtin(23 /* UPLCBuiltinTag.equalsString */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.equalsString); },
enumerable: false,

@@ -211,3 +211,3 @@ configurable: true

Object.defineProperty(Builtin, "encodeUtf8", {
get: function () { return new Builtin(24 /* UPLCBuiltinTag.encodeUtf8 */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.encodeUtf8); },
enumerable: false,

@@ -217,3 +217,3 @@ configurable: true

Object.defineProperty(Builtin, "decodeUtf8", {
get: function () { return new Builtin(25 /* UPLCBuiltinTag.decodeUtf8 */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.decodeUtf8); },
enumerable: false,

@@ -224,3 +224,3 @@ configurable: true

// control flow
get: function () { return new Builtin(26 /* UPLCBuiltinTag.ifThenElse */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.ifThenElse); },
enumerable: false,

@@ -230,3 +230,3 @@ configurable: true

Object.defineProperty(Builtin, "chooseUnit", {
get: function () { return new Builtin(27 /* UPLCBuiltinTag.chooseUnit */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.chooseUnit); },
enumerable: false,

@@ -237,3 +237,3 @@ configurable: true

// tracing
get: function () { return new Builtin(28 /* UPLCBuiltinTag.trace */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.trace); },
enumerable: false,

@@ -244,3 +244,3 @@ configurable: true

// data
get: function () { return new Builtin(29 /* UPLCBuiltinTag.fstPair */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.fstPair); },
enumerable: false,

@@ -250,3 +250,3 @@ configurable: true

Object.defineProperty(Builtin, "sndPair", {
get: function () { return new Builtin(30 /* UPLCBuiltinTag.sndPair */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.sndPair); },
enumerable: false,

@@ -256,3 +256,3 @@ configurable: true

Object.defineProperty(Builtin, "chooseList", {
get: function () { return new Builtin(31 /* UPLCBuiltinTag.chooseList */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.chooseList); },
enumerable: false,

@@ -262,3 +262,3 @@ configurable: true

Object.defineProperty(Builtin, "mkCons", {
get: function () { return new Builtin(32 /* UPLCBuiltinTag.mkCons */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.mkCons); },
enumerable: false,

@@ -268,3 +268,3 @@ configurable: true

Object.defineProperty(Builtin, "headList", {
get: function () { return new Builtin(33 /* UPLCBuiltinTag.headList */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.headList); },
enumerable: false,

@@ -274,3 +274,3 @@ configurable: true

Object.defineProperty(Builtin, "tailList", {
get: function () { return new Builtin(34 /* UPLCBuiltinTag.tailList */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.tailList); },
enumerable: false,

@@ -280,3 +280,3 @@ configurable: true

Object.defineProperty(Builtin, "nullList", {
get: function () { return new Builtin(35 /* UPLCBuiltinTag.nullList */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.nullList); },
enumerable: false,

@@ -286,3 +286,3 @@ configurable: true

Object.defineProperty(Builtin, "chooseData", {
get: function () { return new Builtin(36 /* UPLCBuiltinTag.chooseData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.chooseData); },
enumerable: false,

@@ -292,3 +292,3 @@ configurable: true

Object.defineProperty(Builtin, "constrData", {
get: function () { return new Builtin(37 /* UPLCBuiltinTag.constrData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.constrData); },
enumerable: false,

@@ -298,3 +298,3 @@ configurable: true

Object.defineProperty(Builtin, "mapData", {
get: function () { return new Builtin(38 /* UPLCBuiltinTag.mapData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.mapData); },
enumerable: false,

@@ -304,3 +304,3 @@ configurable: true

Object.defineProperty(Builtin, "listData", {
get: function () { return new Builtin(39 /* UPLCBuiltinTag.listData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.listData); },
enumerable: false,

@@ -310,3 +310,3 @@ configurable: true

Object.defineProperty(Builtin, "iData", {
get: function () { return new Builtin(40 /* UPLCBuiltinTag.iData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.iData); },
enumerable: false,

@@ -316,3 +316,3 @@ configurable: true

Object.defineProperty(Builtin, "bData", {
get: function () { return new Builtin(41 /* UPLCBuiltinTag.bData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.bData); },
enumerable: false,

@@ -322,3 +322,3 @@ configurable: true

Object.defineProperty(Builtin, "unConstrData", {
get: function () { return new Builtin(42 /* UPLCBuiltinTag.unConstrData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.unConstrData); },
enumerable: false,

@@ -328,3 +328,3 @@ configurable: true

Object.defineProperty(Builtin, "unMapData", {
get: function () { return new Builtin(43 /* UPLCBuiltinTag.unMapData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.unMapData); },
enumerable: false,

@@ -334,3 +334,3 @@ configurable: true

Object.defineProperty(Builtin, "unListData", {
get: function () { return new Builtin(44 /* UPLCBuiltinTag.unListData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.unListData); },
enumerable: false,

@@ -340,3 +340,3 @@ configurable: true

Object.defineProperty(Builtin, "unIData", {
get: function () { return new Builtin(45 /* UPLCBuiltinTag.unIData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.unIData); },
enumerable: false,

@@ -346,3 +346,3 @@ configurable: true

Object.defineProperty(Builtin, "unBData", {
get: function () { return new Builtin(46 /* UPLCBuiltinTag.unBData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.unBData); },
enumerable: false,

@@ -352,3 +352,3 @@ configurable: true

Object.defineProperty(Builtin, "equalsData", {
get: function () { return new Builtin(47 /* UPLCBuiltinTag.equalsData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.equalsData); },
enumerable: false,

@@ -358,3 +358,3 @@ configurable: true

Object.defineProperty(Builtin, "mkPairData", {
get: function () { return new Builtin(48 /* UPLCBuiltinTag.mkPairData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.mkPairData); },
enumerable: false,

@@ -364,3 +364,3 @@ configurable: true

Object.defineProperty(Builtin, "mkNilData", {
get: function () { return new Builtin(49 /* UPLCBuiltinTag.mkNilData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.mkNilData); },
enumerable: false,

@@ -370,3 +370,3 @@ configurable: true

Object.defineProperty(Builtin, "mkNilPairData", {
get: function () { return new Builtin(50 /* UPLCBuiltinTag.mkNilPairData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.mkNilPairData); },
enumerable: false,

@@ -377,3 +377,3 @@ configurable: true

// Vasil (Plutus V2: Builtin)
get: function () { return new Builtin(51 /* UPLCBuiltinTag.serialiseData */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.serialiseData); },
enumerable: false,

@@ -383,3 +383,3 @@ configurable: true

Object.defineProperty(Builtin, "verifyEcdsaSecp256k1Signature", {
get: function () { return new Builtin(52 /* UPLCBuiltinTag.verifyEcdsaSecp256k1Signature */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.verifyEcdsaSecp256k1Signature); },
enumerable: false,

@@ -389,3 +389,3 @@ configurable: true

Object.defineProperty(Builtin, "verifySchnorrSecp256k1Signature", {
get: function () { return new Builtin(53 /* UPLCBuiltinTag.verifySchnorrSecp256k1Signature */); },
get: function () { return new Builtin(UPLCBuiltinTag_1.UPLCBuiltinTag.verifySchnorrSecp256k1Signature); },
enumerable: false,

@@ -392,0 +392,0 @@ configurable: true

@@ -5,3 +5,3 @@ export type UPLCBuiltinTagNumber = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53;

*/
export declare const enum UPLCBuiltinTag {
export declare enum UPLCBuiltinTag {
addInteger = 0,

@@ -8,0 +8,0 @@ subtractInteger = 1,

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.builtinTagToString = exports.isV2Supported = exports.isV1Supported = exports.getNRequiredForces = exports.isUPLCBuiltinTag = void 0;
exports.builtinTagToString = exports.isV2Supported = exports.isV1Supported = exports.getNRequiredForces = exports.isUPLCBuiltinTag = exports.UPLCBuiltinTag = void 0;
var assert_1 = require("../../utils/assert.js");
/**
* to encode as 7-bits
*/
var UPLCBuiltinTag;
(function (UPLCBuiltinTag) {
// integers monoidal operations
UPLCBuiltinTag[UPLCBuiltinTag["addInteger"] = 0] = "addInteger";
UPLCBuiltinTag[UPLCBuiltinTag["subtractInteger"] = 1] = "subtractInteger";
UPLCBuiltinTag[UPLCBuiltinTag["multiplyInteger"] = 2] = "multiplyInteger";
UPLCBuiltinTag[UPLCBuiltinTag["divideInteger"] = 3] = "divideInteger";
UPLCBuiltinTag[UPLCBuiltinTag["quotientInteger"] = 4] = "quotientInteger";
UPLCBuiltinTag[UPLCBuiltinTag["remainderInteger"] = 5] = "remainderInteger";
UPLCBuiltinTag[UPLCBuiltinTag["modInteger"] = 6] = "modInteger";
// integers comparison operaitons
UPLCBuiltinTag[UPLCBuiltinTag["equalsInteger"] = 7] = "equalsInteger";
UPLCBuiltinTag[UPLCBuiltinTag["lessThanInteger"] = 8] = "lessThanInteger";
UPLCBuiltinTag[UPLCBuiltinTag["lessThanEqualInteger"] = 9] = "lessThanEqualInteger";
// bytestring operations
UPLCBuiltinTag[UPLCBuiltinTag["appendByteString"] = 10] = "appendByteString";
UPLCBuiltinTag[UPLCBuiltinTag["consByteString"] = 11] = "consByteString";
UPLCBuiltinTag[UPLCBuiltinTag["sliceByteString"] = 12] = "sliceByteString";
UPLCBuiltinTag[UPLCBuiltinTag["lengthOfByteString"] = 13] = "lengthOfByteString";
UPLCBuiltinTag[UPLCBuiltinTag["indexByteString"] = 14] = "indexByteString";
// bytestring comparison operations
UPLCBuiltinTag[UPLCBuiltinTag["equalsByteString"] = 15] = "equalsByteString";
UPLCBuiltinTag[UPLCBuiltinTag["lessThanByteString"] = 16] = "lessThanByteString";
UPLCBuiltinTag[UPLCBuiltinTag["lessThanEqualsByteString"] = 17] = "lessThanEqualsByteString";
// hashes
UPLCBuiltinTag[UPLCBuiltinTag["sha2_256"] = 18] = "sha2_256";
UPLCBuiltinTag[UPLCBuiltinTag["sha3_256"] = 19] = "sha3_256";
UPLCBuiltinTag[UPLCBuiltinTag["blake2b_256"] = 20] = "blake2b_256";
UPLCBuiltinTag[UPLCBuiltinTag["verifyEd25519Signature"] = 21] = "verifyEd25519Signature";
// string operations
UPLCBuiltinTag[UPLCBuiltinTag["appendString"] = 22] = "appendString";
UPLCBuiltinTag[UPLCBuiltinTag["equalsString"] = 23] = "equalsString";
UPLCBuiltinTag[UPLCBuiltinTag["encodeUtf8"] = 24] = "encodeUtf8";
UPLCBuiltinTag[UPLCBuiltinTag["decodeUtf8"] = 25] = "decodeUtf8";
// control flow
UPLCBuiltinTag[UPLCBuiltinTag["ifThenElse"] = 26] = "ifThenElse";
UPLCBuiltinTag[UPLCBuiltinTag["chooseUnit"] = 27] = "chooseUnit";
// tracing
UPLCBuiltinTag[UPLCBuiltinTag["trace"] = 28] = "trace";
// data
UPLCBuiltinTag[UPLCBuiltinTag["fstPair"] = 29] = "fstPair";
UPLCBuiltinTag[UPLCBuiltinTag["sndPair"] = 30] = "sndPair";
UPLCBuiltinTag[UPLCBuiltinTag["chooseList"] = 31] = "chooseList";
UPLCBuiltinTag[UPLCBuiltinTag["mkCons"] = 32] = "mkCons";
UPLCBuiltinTag[UPLCBuiltinTag["headList"] = 33] = "headList";
UPLCBuiltinTag[UPLCBuiltinTag["tailList"] = 34] = "tailList";
UPLCBuiltinTag[UPLCBuiltinTag["nullList"] = 35] = "nullList";
UPLCBuiltinTag[UPLCBuiltinTag["chooseData"] = 36] = "chooseData";
UPLCBuiltinTag[UPLCBuiltinTag["constrData"] = 37] = "constrData";
UPLCBuiltinTag[UPLCBuiltinTag["mapData"] = 38] = "mapData";
UPLCBuiltinTag[UPLCBuiltinTag["listData"] = 39] = "listData";
UPLCBuiltinTag[UPLCBuiltinTag["iData"] = 40] = "iData";
UPLCBuiltinTag[UPLCBuiltinTag["bData"] = 41] = "bData";
UPLCBuiltinTag[UPLCBuiltinTag["unConstrData"] = 42] = "unConstrData";
UPLCBuiltinTag[UPLCBuiltinTag["unMapData"] = 43] = "unMapData";
UPLCBuiltinTag[UPLCBuiltinTag["unListData"] = 44] = "unListData";
UPLCBuiltinTag[UPLCBuiltinTag["unIData"] = 45] = "unIData";
UPLCBuiltinTag[UPLCBuiltinTag["unBData"] = 46] = "unBData";
UPLCBuiltinTag[UPLCBuiltinTag["equalsData"] = 47] = "equalsData";
UPLCBuiltinTag[UPLCBuiltinTag["mkPairData"] = 48] = "mkPairData";
UPLCBuiltinTag[UPLCBuiltinTag["mkNilData"] = 49] = "mkNilData";
UPLCBuiltinTag[UPLCBuiltinTag["mkNilPairData"] = 50] = "mkNilPairData";
// Vasil (Plutus V2)
UPLCBuiltinTag[UPLCBuiltinTag["serialiseData"] = 51] = "serialiseData";
UPLCBuiltinTag[UPLCBuiltinTag["verifyEcdsaSecp256k1Signature"] = 52] = "verifyEcdsaSecp256k1Signature";
UPLCBuiltinTag[UPLCBuiltinTag["verifySchnorrSecp256k1Signature"] = 53] = "verifySchnorrSecp256k1Signature";
})(UPLCBuiltinTag = exports.UPLCBuiltinTag || (exports.UPLCBuiltinTag = {}));
function isUPLCBuiltinTag(tag) {

@@ -15,20 +85,20 @@ return (Math.round(Math.abs(tag)) === tag // tag is a non-negative integer

if (tag <= 25 ||
(tag >= 37 /* UPLCBuiltinTag.constrData */ && tag < 53)) {
(tag >= UPLCBuiltinTag.constrData && tag < 53)) {
return 0;
}
// tags that do have one type parameter; 1 force
if (tag === 26 /* UPLCBuiltinTag.ifThenElse */ ||
tag === 27 /* UPLCBuiltinTag.chooseUnit */ ||
tag === 28 /* UPLCBuiltinTag.trace */ ||
tag === 32 /* UPLCBuiltinTag.mkCons */ ||
tag === 33 /* UPLCBuiltinTag.headList */ ||
tag === 34 /* UPLCBuiltinTag.tailList */ ||
tag === 35 /* UPLCBuiltinTag.nullList */ ||
tag === 36 /* UPLCBuiltinTag.chooseData */) {
if (tag === UPLCBuiltinTag.ifThenElse ||
tag === UPLCBuiltinTag.chooseUnit ||
tag === UPLCBuiltinTag.trace ||
tag === UPLCBuiltinTag.mkCons ||
tag === UPLCBuiltinTag.headList ||
tag === UPLCBuiltinTag.tailList ||
tag === UPLCBuiltinTag.nullList ||
tag === UPLCBuiltinTag.chooseData) {
return 1;
}
// tags that do have two types paramters; two forces
if (tag === 29 /* UPLCBuiltinTag.fstPair */ ||
tag === 30 /* UPLCBuiltinTag.sndPair */ ||
tag === 31 /* UPLCBuiltinTag.chooseList */) {
if (tag === UPLCBuiltinTag.fstPair ||
tag === UPLCBuiltinTag.sndPair ||
tag === UPLCBuiltinTag.chooseList) {
return 2;

@@ -50,56 +120,56 @@ }

switch (tag) {
case 0 /* UPLCBuiltinTag.addInteger */: return "addInteger";
case 1 /* UPLCBuiltinTag.subtractInteger */: return "subtractInteger";
case 2 /* UPLCBuiltinTag.multiplyInteger */: return "multiplyInteger";
case 3 /* UPLCBuiltinTag.divideInteger */: return "divideInteger";
case 4 /* UPLCBuiltinTag.quotientInteger */: return "quotientInteger";
case 5 /* UPLCBuiltinTag.remainderInteger */: return "remainderInteger";
case 6 /* UPLCBuiltinTag.modInteger */: return "modInteger";
case 7 /* UPLCBuiltinTag.equalsInteger */: return "equalsInteger";
case 8 /* UPLCBuiltinTag.lessThanInteger */: return "lessThanInteger";
case 9 /* UPLCBuiltinTag.lessThanEqualInteger */: return "lessThanEqualInteger";
case 10 /* UPLCBuiltinTag.appendByteString */: return "appendByteString";
case 11 /* UPLCBuiltinTag.consByteString */: return "consByteString";
case 12 /* UPLCBuiltinTag.sliceByteString */: return "sliceByteString";
case 13 /* UPLCBuiltinTag.lengthOfByteString */: return "lengthOfByteString";
case 14 /* UPLCBuiltinTag.indexByteString */: return "indexByteString";
case 15 /* UPLCBuiltinTag.equalsByteString */: return "equalsByteString";
case 16 /* UPLCBuiltinTag.lessThanByteString */: return "lessThanByteString";
case 17 /* UPLCBuiltinTag.lessThanEqualsByteString */: return "lessThanEqualsByteString";
case 18 /* UPLCBuiltinTag.sha2_256 */: return "sha2_256";
case 19 /* UPLCBuiltinTag.sha3_256 */: return "sha3_256";
case 20 /* UPLCBuiltinTag.blake2b_256 */: return "blake2b_256";
case 21 /* UPLCBuiltinTag.verifyEd25519Signature */: return "verifyEd25519Signature";
case 22 /* UPLCBuiltinTag.appendString */: return "appendString";
case 23 /* UPLCBuiltinTag.equalsString */: return "equalsString";
case 24 /* UPLCBuiltinTag.encodeUtf8 */: return "encodeUtf8";
case 25 /* UPLCBuiltinTag.decodeUtf8 */: return "decodeUtf8";
case 26 /* UPLCBuiltinTag.ifThenElse */: return "ifThenElse";
case 27 /* UPLCBuiltinTag.chooseUnit */: return "chooseUnit";
case 28 /* UPLCBuiltinTag.trace */: return "trace";
case 29 /* UPLCBuiltinTag.fstPair */: return "fstPair";
case 30 /* UPLCBuiltinTag.sndPair */: return "sndPair";
case 31 /* UPLCBuiltinTag.chooseList */: return "chooseList";
case 32 /* UPLCBuiltinTag.mkCons */: return "mkCons";
case 33 /* UPLCBuiltinTag.headList */: return "headList";
case 34 /* UPLCBuiltinTag.tailList */: return "tailList";
case 35 /* UPLCBuiltinTag.nullList */: return "nullList";
case 36 /* UPLCBuiltinTag.chooseData */: return "chooseData";
case 37 /* UPLCBuiltinTag.constrData */: return "constrData";
case 38 /* UPLCBuiltinTag.mapData */: return "mapData";
case 39 /* UPLCBuiltinTag.listData */: return "listData";
case 40 /* UPLCBuiltinTag.iData */: return "iData";
case 41 /* UPLCBuiltinTag.bData */: return "bData";
case 42 /* UPLCBuiltinTag.unConstrData */: return "unConstrData";
case 43 /* UPLCBuiltinTag.unMapData */: return "unMapData";
case 44 /* UPLCBuiltinTag.unListData */: return "unListData";
case 45 /* UPLCBuiltinTag.unIData */: return "unIData";
case 46 /* UPLCBuiltinTag.unBData */: return "unBData";
case 47 /* UPLCBuiltinTag.equalsData */: return "equalsData";
case 48 /* UPLCBuiltinTag.mkPairData */: return "mkPairData";
case 49 /* UPLCBuiltinTag.mkNilData */: return "mkNilData";
case 50 /* UPLCBuiltinTag.mkNilPairData */: return "mkNilPairData";
case 51 /* UPLCBuiltinTag.serialiseData */: return "serialiseData";
case 52 /* UPLCBuiltinTag.verifyEcdsaSecp256k1Signature */: return "verifyEcdsaSecp256k1Signature";
case 53 /* UPLCBuiltinTag.verifySchnorrSecp256k1Signature */: return "verifySchnorrSecp256k1Signature";
case UPLCBuiltinTag.addInteger: return "addInteger";
case UPLCBuiltinTag.subtractInteger: return "subtractInteger";
case UPLCBuiltinTag.multiplyInteger: return "multiplyInteger";
case UPLCBuiltinTag.divideInteger: return "divideInteger";
case UPLCBuiltinTag.quotientInteger: return "quotientInteger";
case UPLCBuiltinTag.remainderInteger: return "remainderInteger";
case UPLCBuiltinTag.modInteger: return "modInteger";
case UPLCBuiltinTag.equalsInteger: return "equalsInteger";
case UPLCBuiltinTag.lessThanInteger: return "lessThanInteger";
case UPLCBuiltinTag.lessThanEqualInteger: return "lessThanEqualInteger";
case UPLCBuiltinTag.appendByteString: return "appendByteString";
case UPLCBuiltinTag.consByteString: return "consByteString";
case UPLCBuiltinTag.sliceByteString: return "sliceByteString";
case UPLCBuiltinTag.lengthOfByteString: return "lengthOfByteString";
case UPLCBuiltinTag.indexByteString: return "indexByteString";
case UPLCBuiltinTag.equalsByteString: return "equalsByteString";
case UPLCBuiltinTag.lessThanByteString: return "lessThanByteString";
case UPLCBuiltinTag.lessThanEqualsByteString: return "lessThanEqualsByteString";
case UPLCBuiltinTag.sha2_256: return "sha2_256";
case UPLCBuiltinTag.sha3_256: return "sha3_256";
case UPLCBuiltinTag.blake2b_256: return "blake2b_256";
case UPLCBuiltinTag.verifyEd25519Signature: return "verifyEd25519Signature";
case UPLCBuiltinTag.appendString: return "appendString";
case UPLCBuiltinTag.equalsString: return "equalsString";
case UPLCBuiltinTag.encodeUtf8: return "encodeUtf8";
case UPLCBuiltinTag.decodeUtf8: return "decodeUtf8";
case UPLCBuiltinTag.ifThenElse: return "ifThenElse";
case UPLCBuiltinTag.chooseUnit: return "chooseUnit";
case UPLCBuiltinTag.trace: return "trace";
case UPLCBuiltinTag.fstPair: return "fstPair";
case UPLCBuiltinTag.sndPair: return "sndPair";
case UPLCBuiltinTag.chooseList: return "chooseList";
case UPLCBuiltinTag.mkCons: return "mkCons";
case UPLCBuiltinTag.headList: return "headList";
case UPLCBuiltinTag.tailList: return "tailList";
case UPLCBuiltinTag.nullList: return "nullList";
case UPLCBuiltinTag.chooseData: return "chooseData";
case UPLCBuiltinTag.constrData: return "constrData";
case UPLCBuiltinTag.mapData: return "mapData";
case UPLCBuiltinTag.listData: return "listData";
case UPLCBuiltinTag.iData: return "iData";
case UPLCBuiltinTag.bData: return "bData";
case UPLCBuiltinTag.unConstrData: return "unConstrData";
case UPLCBuiltinTag.unMapData: return "unMapData";
case UPLCBuiltinTag.unListData: return "unListData";
case UPLCBuiltinTag.unIData: return "unIData";
case UPLCBuiltinTag.unBData: return "unBData";
case UPLCBuiltinTag.equalsData: return "equalsData";
case UPLCBuiltinTag.mkPairData: return "mkPairData";
case UPLCBuiltinTag.mkNilData: return "mkNilData";
case UPLCBuiltinTag.mkNilPairData: return "mkNilPairData";
case UPLCBuiltinTag.serialiseData: return "serialiseData";
case UPLCBuiltinTag.verifyEcdsaSecp256k1Signature: return "verifyEcdsaSecp256k1Signature";
case UPLCBuiltinTag.verifySchnorrSecp256k1Signature: return "verifySchnorrSecp256k1Signature";
default:

@@ -106,0 +176,0 @@ // tag; // check that is of type 'never'

@@ -1,2 +0,2 @@

export declare const enum ConstTyTag {
export declare enum ConstTyTag {
int = 0,

@@ -3,0 +3,0 @@ byteStr = 1,

@@ -28,4 +28,16 @@ "use strict";

Object.defineProperty(exports, "__esModule", { value: true });
exports.constPairTypeUtils = exports.constListTypeUtils = exports.constTypeToStirng = exports.constTypeTagToStirng = exports.isConstTypeTag = exports.constT = exports.constTypeEq = exports.isWellFormedConstType = void 0;
exports.constPairTypeUtils = exports.constListTypeUtils = exports.constTypeToStirng = exports.constTypeTagToStirng = exports.isConstTypeTag = exports.constT = exports.constTypeEq = exports.isWellFormedConstType = exports.ConstTyTag = void 0;
var assert_1 = require("../../../utils/assert.js");
var ConstTyTag;
(function (ConstTyTag) {
ConstTyTag[ConstTyTag["int"] = 0] = "int";
ConstTyTag[ConstTyTag["byteStr"] = 1] = "byteStr";
ConstTyTag[ConstTyTag["str"] = 2] = "str";
ConstTyTag[ConstTyTag["unit"] = 3] = "unit";
ConstTyTag[ConstTyTag["bool"] = 4] = "bool";
ConstTyTag[ConstTyTag["list"] = 5] = "list";
ConstTyTag[ConstTyTag["pair"] = 6] = "pair";
// tyApp = 7, // only used internally for types like list and pair
ConstTyTag[ConstTyTag["data"] = 8] = "data";
})(ConstTyTag = exports.ConstTyTag || (exports.ConstTyTag = {}));
// maybe this one is to strict?

@@ -47,4 +59,4 @@ // = [ ConstTyTag.int ]

return false;
if (type[0] !== 5 /* ConstTyTag.list */ &&
type[0] !== 6 /* ConstTyTag.pair */)
if (type[0] !== ConstTyTag.list &&
type[0] !== ConstTyTag.pair)
return (type.length === 1);

@@ -55,4 +67,4 @@ // keeps track of the missing terms to provide as argument

var stack = [1];
if (type[0] !== 5 /* ConstTyTag.list */ &&
type[0] !== 6 /* ConstTyTag.pair */) {
if (type[0] !== ConstTyTag.list &&
type[0] !== ConstTyTag.pair) {
// returning false anyway in producton, type has too many arguments, not well-formed

@@ -71,3 +83,3 @@ return false;

var ty = type[i];
if (ty === 5 /* ConstTyTag.list */) {
if (ty === ConstTyTag.list) {
if (!((i + 1) < type.length))

@@ -78,3 +90,3 @@ return false;

}
else if (ty === 6 /* ConstTyTag.pair */) {
else if (ty === ConstTyTag.pair) {
if (!((i + 2) < type.length))

@@ -124,28 +136,28 @@ return false;

exports.constT = Object.freeze({
int: [0 /* ConstTyTag.int */],
byteStr: [1 /* ConstTyTag.byteStr */],
str: [2 /* ConstTyTag.str */],
unit: [3 /* ConstTyTag.unit */],
bool: [4 /* ConstTyTag.bool */],
int: [ConstTyTag.int],
byteStr: [ConstTyTag.byteStr],
str: [ConstTyTag.str],
unit: [ConstTyTag.unit],
bool: [ConstTyTag.bool],
listOf: function (tyArg) {
(0, assert_1.assert)(isWellFormedConstType(tyArg), "provided argument to 'constT.listOf' should be a well formed type, try using types exposed by the 'constT' object itself");
return __spreadArray([5 /* ConstTyTag.list */], __read(tyArg), false);
return __spreadArray([ConstTyTag.list], __read(tyArg), false);
},
pairOf: function (tyArg1, tyArg2) {
(0, assert_1.assert)(isWellFormedConstType(tyArg1) && isWellFormedConstType(tyArg2), "provided argument to 'constT.pairOf' should be a well formed type, try using types exposed by the 'constT' object itself");
return __spreadArray(__spreadArray([6 /* ConstTyTag.pair */], __read(tyArg1), false), __read(tyArg2), false);
return __spreadArray(__spreadArray([ConstTyTag.pair], __read(tyArg1), false), __read(tyArg2), false);
},
data: [8 /* ConstTyTag.data */]
data: [ConstTyTag.data]
});
function isConstTypeTag(constTy) {
constTy = constTy;
return (constTy === 0 /* ConstTyTag.int */ ||
constTy === 1 /* ConstTyTag.byteStr */ ||
constTy === 2 /* ConstTyTag.str */ ||
constTy === 3 /* ConstTyTag.unit */ ||
constTy === 4 /* ConstTyTag.bool */ ||
constTy === 5 /* ConstTyTag.list */ ||
constTy === 6 /* ConstTyTag.pair */ ||
return (constTy === ConstTyTag.int ||
constTy === ConstTyTag.byteStr ||
constTy === ConstTyTag.str ||
constTy === ConstTyTag.unit ||
constTy === ConstTyTag.bool ||
constTy === ConstTyTag.list ||
constTy === ConstTyTag.pair ||
// (constTyTag as number) === 7 || // uncomment if tyApp should be considered
constTy === 8 /* ConstTyTag.data */);
constTy === ConstTyTag.data);
}

@@ -155,10 +167,10 @@ exports.isConstTypeTag = isConstTypeTag;

switch (ty) {
case 0 /* ConstTyTag.int */: return "integer";
case 1 /* ConstTyTag.byteStr */: return "bytestring";
case 2 /* ConstTyTag.str */: return "string";
case 3 /* ConstTyTag.unit */: return "unit";
case 4 /* ConstTyTag.bool */: return "boolean";
case 5 /* ConstTyTag.list */: return "list";
case 6 /* ConstTyTag.pair */: return "pair";
case 8 /* ConstTyTag.data */: return "data";
case ConstTyTag.int: return "integer";
case ConstTyTag.byteStr: return "bytestring";
case ConstTyTag.str: return "string";
case ConstTyTag.unit: return "unit";
case ConstTyTag.bool: return "boolean";
case ConstTyTag.list: return "list";
case ConstTyTag.pair: return "pair";
case ConstTyTag.data: return "data";
default:

@@ -175,3 +187,3 @@ throw new Error("'constTypeTAgToStirng' is supposed to have a member of the 'ConstTy' enum as input but got: " + ty);

function getConstListTypeArgument(listTy) {
(0, assert_1.assert)(listTy.length > 0 && listTy[0] === 5 /* ConstTyTag.list */ && isWellFormedConstType(listTy), "in 'constListTypeUtils.getTypeArgument', input type was not a valid list type");
(0, assert_1.assert)(listTy.length > 0 && listTy[0] === ConstTyTag.list && isWellFormedConstType(listTy), "in 'constListTypeUtils.getTypeArgument', input type was not a valid list type");
return listTy.slice(1);

@@ -181,3 +193,3 @@ }

function getNonWellFormedConstListTypeArgument(listTy) {
(0, assert_1.assert)(listTy.length > 0 && listTy[0] === 5 /* ConstTyTag.list */, "in 'constListTypeUtils.getTypeArgument', input type was not a valid list type");
(0, assert_1.assert)(listTy.length > 0 && listTy[0] === ConstTyTag.list, "in 'constListTypeUtils.getTypeArgument', input type was not a valid list type");
var rawArg = listTy.slice(1);

@@ -188,13 +200,13 @@ if (rawArg.length === 0)

return rawArg;
if (rawArg[0] !== 5 /* ConstTyTag.list */ &&
rawArg[0] !== 6 /* ConstTyTag.pair */) {
if (rawArg[0] !== ConstTyTag.list &&
rawArg[0] !== ConstTyTag.pair) {
return [rawArg[0]];
}
if (rawArg[0] === 5 /* ConstTyTag.list */) {
if (rawArg[0] === ConstTyTag.list) {
var tyArgOfList = getNonWellFormedConstListTypeArgument(rawArg);
if (tyArgOfList === undefined)
return undefined;
return __spreadArray([5 /* ConstTyTag.list */], __read(tyArgOfList), false);
return __spreadArray([ConstTyTag.list], __read(tyArgOfList), false);
}
if (rawArg[0] === 6 /* ConstTyTag.pair */) {
if (rawArg[0] === ConstTyTag.pair) {
var firstArg = getNonWellFormedConstPairFirstTypeArgument(rawArg);

@@ -227,3 +239,3 @@ if (firstArg === undefined) {

function getConstPairFirstTypeArgument(pairTy) {
(0, assert_1.assert)(pairTy.length > 0 && pairTy[0] === 6 /* ConstTyTag.pair */ && isWellFormedConstType(pairTy), "in 'constPairTypeUtils.getFirstTypeArgument', input type was not a valid pair type");
(0, assert_1.assert)(pairTy.length > 0 && pairTy[0] === ConstTyTag.pair && isWellFormedConstType(pairTy), "in 'constPairTypeUtils.getFirstTypeArgument', input type was not a valid pair type");
var rawArg = pairTy.slice(1);

@@ -233,8 +245,8 @@ if (rawArg.length === 0) {

}
if (rawArg[0] !== 5 /* ConstTyTag.list */ &&
rawArg[0] !== 6 /* ConstTyTag.pair */) {
if (rawArg[0] !== ConstTyTag.list &&
rawArg[0] !== ConstTyTag.pair) {
// argument takes no more arguments
return [pairTy[1]];
}
if (rawArg[0] === 5 /* ConstTyTag.list */) {
if (rawArg[0] === ConstTyTag.list) {
// non well formed in order to ignore the second argument

@@ -247,5 +259,5 @@ var listTyArg = getNonWellFormedConstListTypeArgument(rawArg);

}
return __spreadArray([5 /* ConstTyTag.list */], __read(listTyArg), false);
return __spreadArray([ConstTyTag.list], __read(listTyArg), false);
}
if (rawArg[0] === 6 /* ConstTyTag.pair */) {
if (rawArg[0] === ConstTyTag.pair) {
var firstArg = getNonWellFormedConstPairFirstTypeArgument(rawArg);

@@ -279,3 +291,3 @@ if (firstArg === undefined) {

function getNonWellFormedConstPairFirstTypeArgument(pairTy) {
(0, assert_1.assert)(pairTy.length > 0 && pairTy[0] === 6 /* ConstTyTag.pair */, "in 'constPairTypeUtils.getFirstTypeArgument', input type was not a valid pair type");
(0, assert_1.assert)(pairTy.length > 0 && pairTy[0] === ConstTyTag.pair, "in 'constPairTypeUtils.getFirstTypeArgument', input type was not a valid pair type");
var rawArg = pairTy.slice(1);

@@ -286,8 +298,8 @@ // at least two tags mus follow in order to be fulfilled

}
if (rawArg[0] !== 5 /* ConstTyTag.list */ &&
rawArg[0] !== 6 /* ConstTyTag.pair */) {
if (rawArg[0] !== ConstTyTag.list &&
rawArg[0] !== ConstTyTag.pair) {
// argument takes no more arguments
return [pairTy[1]];
}
if (rawArg[0] === 5 /* ConstTyTag.list */) {
if (rawArg[0] === ConstTyTag.list) {
// non well formed in order to ignore the second argument

@@ -297,5 +309,5 @@ var listTyArg = getNonWellFormedConstListTypeArgument(rawArg);

return undefined;
return __spreadArray([5 /* ConstTyTag.list */], __read(listTyArg), false);
return __spreadArray([ConstTyTag.list], __read(listTyArg), false);
}
if (rawArg[0] === 6 /* ConstTyTag.pair */) {
if (rawArg[0] === ConstTyTag.pair) {
var firstArg = getNonWellFormedConstPairFirstTypeArgument(rawArg);

@@ -326,8 +338,8 @@ if (firstArg === undefined) {

return undefined;
if (rawSecondArg[0] !== 5 /* ConstTyTag.list */ &&
rawSecondArg[0] !== 6 /* ConstTyTag.pair */) {
if (rawSecondArg[0] !== ConstTyTag.list &&
rawSecondArg[0] !== ConstTyTag.pair) {
// argument takes no more arguments
return [rawSecondArg[0]];
}
if (rawSecondArg[0] === 5 /* ConstTyTag.list */) {
if (rawSecondArg[0] === ConstTyTag.list) {
// non well formed in order to ignore the second argument

@@ -337,5 +349,5 @@ var listTyArg = getNonWellFormedConstListTypeArgument(rawSecondArg);

return undefined;
return __spreadArray([5 /* ConstTyTag.list */], __read(listTyArg), false);
return __spreadArray([ConstTyTag.list], __read(listTyArg), false);
}
if (rawSecondArg[0] === 6 /* ConstTyTag.pair */) {
if (rawSecondArg[0] === ConstTyTag.pair) {
var firstArg = getNonWellFormedConstPairFirstTypeArgument(rawSecondArg);

@@ -342,0 +354,0 @@ if (firstArg === undefined) {

@@ -13,4 +13,4 @@ "use strict";

_1.constT.data,
[5 /* ConstTyTag.list */],
[6 /* ConstTyTag.pair */]
[_1.ConstTyTag.list],
[_1.ConstTyTag.pair]
];

@@ -17,0 +17,0 @@ var i = Math.round(Math.random() * (types.length - 1));

@@ -137,3 +137,3 @@ "use strict";

return typeof val === "string";
if (ty[0] === 5 /* ConstTyTag.list */)
if (ty[0] === ConstType_1.ConstTyTag.list)
return (Array.isArray(val) &&

@@ -143,3 +143,3 @@ val.every(function (valueElement) {

}));
if (ty[0] === 6 /* ConstTyTag.pair */)
if (ty[0] === ConstType_1.ConstTyTag.pair)
return (val instanceof pair_1.Pair && pair_1.Pair.isStrictInstance(val) &&

@@ -146,0 +146,0 @@ canConstValueBeOfConstType(val.fst, ConstType_1.constPairTypeUtils.getFirstTypeArgument(ty)) &&

@@ -17,3 +17,3 @@ "use strict";

value = value.map(function (n) { return BigInt(n); });
if (typeTag[0] === 6 /* ConstTyTag.pair */) {
if (typeTag[0] === ConstType_1.ConstTyTag.pair) {
if ((0, ConstType_1.constTypeEq)(ConstType_1.constPairTypeUtils.getFirstTypeArgument(typeTag), ConstType_1.constT.int))

@@ -20,0 +20,0 @@ value.fst = BigInt(value.fst);

{
"name": "@harmoniclabs/uplc",
"version": "1.0.0",
"version": "1.0.1",
"description": "",

@@ -53,3 +53,4 @@ "main": "./dist/index.js",

"typescript": "^4.6.3"
}
},
"funding": "https://github.com/sponsors/HarmonicLabs"
}
SocketSocket SOC 2 Logo

Product

  • Package Alerts
  • Integrations
  • Docs
  • Pricing
  • FAQ
  • Roadmap
  • Changelog

Packages

npm

Stay in touch

Get open source security insights delivered straight into your inbox.


  • Terms
  • Privacy
  • Security

Made with ⚡️ by Socket Inc