@harmoniclabs/uplc
Advanced tools
Comparing version 1.0.0 to 1.0.1
@@ -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" | ||
} |
License Policy Violation
LicenseThis package is not allowed per your license policy. Review the package's license to ensure compliance.
Found 1 instance in 1 package
License Policy Violation
LicenseThis package is not allowed per your license policy. Review the package's license to ensure compliance.
Found 1 instance in 1 package
170874
3578