@harmoniclabs/pebble 0.1.0-dev2 → 0.1.0-dev4

package/dist/IR/IRNodes/IRNative/IRNativeTag.js

@@ -0,0 +1,204 @@
+import { builtinTagToString } from "@harmoniclabs/uplc";
+/**
+ * we use positive for natives which map to `UPLCBuiltin`
+ * possibly keeping the same number
+ *
+ * we use negatives for natives of the `std::fn` family
+ * since there is no negative `UPLCBuiltin` tag
+ */
+export var IRNativeTag;
+(function (IRNativeTag) {
+    // integers monoidal operations
+    IRNativeTag[IRNativeTag["addInteger"] = 0] = "addInteger";
+    IRNativeTag[IRNativeTag["subtractInteger"] = 1] = "subtractInteger";
+    IRNativeTag[IRNativeTag["multiplyInteger"] = 2] = "multiplyInteger";
+    IRNativeTag[IRNativeTag["divideInteger"] = 3] = "divideInteger";
+    IRNativeTag[IRNativeTag["quotientInteger"] = 4] = "quotientInteger";
+    IRNativeTag[IRNativeTag["remainderInteger"] = 5] = "remainderInteger";
+    IRNativeTag[IRNativeTag["modInteger"] = 6] = "modInteger";
+    // integers comparison operaitons
+    IRNativeTag[IRNativeTag["equalsInteger"] = 7] = "equalsInteger";
+    IRNativeTag[IRNativeTag["lessThanInteger"] = 8] = "lessThanInteger";
+    IRNativeTag[IRNativeTag["lessThanEqualInteger"] = 9] = "lessThanEqualInteger";
+    // bytestring operations
+    IRNativeTag[IRNativeTag["appendByteString"] = 10] = "appendByteString";
+    IRNativeTag[IRNativeTag["consByteString"] = 11] = "consByteString";
+    IRNativeTag[IRNativeTag["sliceByteString"] = 12] = "sliceByteString";
+    IRNativeTag[IRNativeTag["lengthOfByteString"] = 13] = "lengthOfByteString";
+    IRNativeTag[IRNativeTag["indexByteString"] = 14] = "indexByteString";
+    // bytestring comparison operations
+    IRNativeTag[IRNativeTag["equalsByteString"] = 15] = "equalsByteString";
+    IRNativeTag[IRNativeTag["lessThanByteString"] = 16] = "lessThanByteString";
+    IRNativeTag[IRNativeTag["lessThanEqualsByteString"] = 17] = "lessThanEqualsByteString";
+    // hashes
+    IRNativeTag[IRNativeTag["sha2_256"] = 18] = "sha2_256";
+    IRNativeTag[IRNativeTag["sha3_256"] = 19] = "sha3_256";
+    IRNativeTag[IRNativeTag["blake2b_256"] = 20] = "blake2b_256";
+    IRNativeTag[IRNativeTag["verifyEd25519Signature"] = 21] = "verifyEd25519Signature";
+    // string operations
+    IRNativeTag[IRNativeTag["appendString"] = 22] = "appendString";
+    IRNativeTag[IRNativeTag["equalsString"] = 23] = "equalsString";
+    IRNativeTag[IRNativeTag["encodeUtf8"] = 24] = "encodeUtf8";
+    IRNativeTag[IRNativeTag["decodeUtf8"] = 25] = "decodeUtf8";
+    // control flow
+    IRNativeTag[IRNativeTag["strictIfThenElse"] = 26] = "strictIfThenElse";
+    IRNativeTag[IRNativeTag["chooseUnit"] = 27] = "chooseUnit";
+    // tracing
+    IRNativeTag[IRNativeTag["trace"] = 28] = "trace";
+    // data
+    IRNativeTag[IRNativeTag["fstPair"] = 29] = "fstPair";
+    IRNativeTag[IRNativeTag["sndPair"] = 30] = "sndPair";
+    IRNativeTag[IRNativeTag["strictChooseList"] = 31] = "strictChooseList";
+    IRNativeTag[IRNativeTag["mkCons"] = 32] = "mkCons";
+    IRNativeTag[IRNativeTag["headList"] = 33] = "headList";
+    IRNativeTag[IRNativeTag["tailList"] = 34] = "tailList";
+    IRNativeTag[IRNativeTag["nullList"] = 35] = "nullList";
+    IRNativeTag[IRNativeTag["chooseData"] = 36] = "chooseData";
+    IRNativeTag[IRNativeTag["constrData"] = 37] = "constrData";
+    IRNativeTag[IRNativeTag["mapData"] = 38] = "mapData";
+    IRNativeTag[IRNativeTag["listData"] = 39] = "listData";
+    IRNativeTag[IRNativeTag["iData"] = 40] = "iData";
+    IRNativeTag[IRNativeTag["bData"] = 41] = "bData";
+    IRNativeTag[IRNativeTag["unConstrData"] = 42] = "unConstrData";
+    IRNativeTag[IRNativeTag["unMapData"] = 43] = "unMapData";
+    IRNativeTag[IRNativeTag["unListData"] = 44] = "unListData";
+    IRNativeTag[IRNativeTag["unIData"] = 45] = "unIData";
+    IRNativeTag[IRNativeTag["unBData"] = 46] = "unBData";
+    IRNativeTag[IRNativeTag["equalsData"] = 47] = "equalsData";
+    IRNativeTag[IRNativeTag["mkPairData"] = 48] = "mkPairData";
+    IRNativeTag[IRNativeTag["mkNilData"] = 49] = "mkNilData";
+    IRNativeTag[IRNativeTag["mkNilPairData"] = 50] = "mkNilPairData";
+    // Vasil (Plutus V2)
+    IRNativeTag[IRNativeTag["serialiseData"] = 51] = "serialiseData";
+    IRNativeTag[IRNativeTag["verifyEcdsaSecp256k1Signature"] = 52] = "verifyEcdsaSecp256k1Signature";
+    IRNativeTag[IRNativeTag["verifySchnorrSecp256k1Signature"] = 53] = "verifySchnorrSecp256k1Signature";
+    // Plutus V3
+    IRNativeTag[IRNativeTag["bls12_381_G1_add"] = 54] = "bls12_381_G1_add";
+    IRNativeTag[IRNativeTag["bls12_381_G1_neg"] = 55] = "bls12_381_G1_neg";
+    IRNativeTag[IRNativeTag["bls12_381_G1_scalarMul"] = 56] = "bls12_381_G1_scalarMul";
+    IRNativeTag[IRNativeTag["bls12_381_G1_equal"] = 57] = "bls12_381_G1_equal";
+    IRNativeTag[IRNativeTag["bls12_381_G1_hashToGroup"] = 58] = "bls12_381_G1_hashToGroup";
+    IRNativeTag[IRNativeTag["bls12_381_G1_compress"] = 59] = "bls12_381_G1_compress";
+    IRNativeTag[IRNativeTag["bls12_381_G1_uncompress"] = 60] = "bls12_381_G1_uncompress";
+    IRNativeTag[IRNativeTag["bls12_381_G2_add"] = 61] = "bls12_381_G2_add";
+    IRNativeTag[IRNativeTag["bls12_381_G2_neg"] = 62] = "bls12_381_G2_neg";
+    IRNativeTag[IRNativeTag["bls12_381_G2_scalarMul"] = 63] = "bls12_381_G2_scalarMul";
+    IRNativeTag[IRNativeTag["bls12_381_G2_equal"] = 64] = "bls12_381_G2_equal";
+    IRNativeTag[IRNativeTag["bls12_381_G2_hashToGroup"] = 65] = "bls12_381_G2_hashToGroup";
+    IRNativeTag[IRNativeTag["bls12_381_G2_compress"] = 66] = "bls12_381_G2_compress";
+    IRNativeTag[IRNativeTag["bls12_381_G2_uncompress"] = 67] = "bls12_381_G2_uncompress";
+    IRNativeTag[IRNativeTag["bls12_381_millerLoop"] = 68] = "bls12_381_millerLoop";
+    IRNativeTag[IRNativeTag["bls12_381_mulMlResult"] = 69] = "bls12_381_mulMlResult";
+    IRNativeTag[IRNativeTag["bls12_381_finalVerify"] = 70] = "bls12_381_finalVerify";
+    IRNativeTag[IRNativeTag["keccak_256"] = 71] = "keccak_256";
+    IRNativeTag[IRNativeTag["blake2b_224"] = 72] = "blake2b_224";
+    // bitwise
+    IRNativeTag[IRNativeTag["integerToByteString"] = 73] = "integerToByteString";
+    IRNativeTag[IRNativeTag["byteStringToInteger"] = 74] = "byteStringToInteger";
+    // plomin (batch 5)
+    IRNativeTag[IRNativeTag["andByteString"] = 75] = "andByteString";
+    IRNativeTag[IRNativeTag["orByteString"] = 76] = "orByteString";
+    IRNativeTag[IRNativeTag["xorByteString"] = 77] = "xorByteString";
+    IRNativeTag[IRNativeTag["complementByteString"] = 78] = "complementByteString";
+    IRNativeTag[IRNativeTag["readBit"] = 79] = "readBit";
+    IRNativeTag[IRNativeTag["writeBits"] = 80] = "writeBits";
+    IRNativeTag[IRNativeTag["replicateByte"] = 81] = "replicateByte";
+    IRNativeTag[IRNativeTag["shiftByteString"] = 82] = "shiftByteString";
+    IRNativeTag[IRNativeTag["rotateByteString"] = 83] = "rotateByteString";
+    IRNativeTag[IRNativeTag["countSetBits"] = 84] = "countSetBits";
+    IRNativeTag[IRNativeTag["findFirstSetBit"] = 85] = "findFirstSetBit";
+    IRNativeTag[IRNativeTag["ripemd_160"] = 86] = "ripemd_160";
+    ////////////////////////////////////////////////////////////////////////////////
+    // -------------------------------------------------------------------------- //
+    // -------------------------- here starts the fun  -------------------------- //
+    // -------------------------------------------------------------------------- //
+    ////////////////////////////////////////////////////////////////////////////////
+    IRNativeTag[IRNativeTag["_dropList"] = -4] = "_dropList";
+    IRNativeTag[IRNativeTag["_foldr"] = -6] = "_foldr";
+    IRNativeTag[IRNativeTag["_foldl"] = -7] = "_foldl";
+    IRNativeTag[IRNativeTag["_mkFindDataOptional"] = -8] = "_mkFindDataOptional";
+    IRNativeTag[IRNativeTag["_length"] = -9] = "_length";
+    IRNativeTag[IRNativeTag["_some"] = -10] = "_some";
+    IRNativeTag[IRNativeTag["_every"] = -11] = "_every";
+    IRNativeTag[IRNativeTag["_mkFilter"] = -12] = "_mkFilter";
+    // _fstPair            = -13,
+    // _sndPair            = -14,
+    IRNativeTag[IRNativeTag["_id"] = -15] = "_id";
+    IRNativeTag[IRNativeTag["_not"] = -16] = "_not";
+    IRNativeTag[IRNativeTag["_strictAnd"] = -17] = "_strictAnd";
+    IRNativeTag[IRNativeTag["_and"] = -18] = "_and";
+    IRNativeTag[IRNativeTag["_strictOr"] = -19] = "_strictOr";
+    IRNativeTag[IRNativeTag["_or"] = -20] = "_or";
+    IRNativeTag[IRNativeTag["_gtBS"] = -21] = "_gtBS";
+    IRNativeTag[IRNativeTag["_gtEqBS"] = -22] = "_gtEqBS";
+    IRNativeTag[IRNativeTag["_gtInt"] = -23] = "_gtInt";
+    IRNativeTag[IRNativeTag["_gtEqInt"] = -24] = "_gtEqInt";
+    IRNativeTag[IRNativeTag["_strToData"] = -25] = "_strToData";
+    IRNativeTag[IRNativeTag["_pairDataToData"] = -26] = "_pairDataToData";
+    IRNativeTag[IRNativeTag["_strFromData"] = -27] = "_strFromData";
+    IRNativeTag[IRNativeTag["_pairDataFromData"] = -28] = "_pairDataFromData";
+    IRNativeTag[IRNativeTag["_mkEqualsList"] = -31] = "_mkEqualsList";
+    IRNativeTag[IRNativeTag["_equalPairData"] = -32] = "_equalPairData";
+    /**
+     * function eqBool( a: boolean, b: boolean ): boolean
+     * {
+     *    return a ? ( b ? true : false ) : ( b ? false : true );
+     * }
+    **/
+    IRNativeTag[IRNativeTag["_equalBoolean"] = -33] = "_equalBoolean";
+    IRNativeTag[IRNativeTag["_negateInt"] = -34] = "_negateInt";
+    IRNativeTag[IRNativeTag["_mkMapList"] = -35] = "_mkMapList";
+    IRNativeTag[IRNativeTag["_bytesToIntBE"] = -36] = "_bytesToIntBE";
+    IRNativeTag[IRNativeTag["_boolToInt"] = -37] = "_boolToInt";
+    IRNativeTag[IRNativeTag["_intToBytesBE"] = -38] = "_intToBytesBE";
+    IRNativeTag[IRNativeTag["_intToBool"] = -39] = "_intToBool";
+    IRNativeTag[IRNativeTag["_exponentiateInteger"] = -40] = "_exponentiateInteger";
+    IRNativeTag[IRNativeTag["_amountOfValue"] = -41] = "_amountOfValue";
+    IRNativeTag[IRNativeTag["_isZero"] = -42] = "_isZero";
+    IRNativeTag[IRNativeTag["_sortedValueLovelaces"] = -43] = "_sortedValueLovelaces";
+})(IRNativeTag || (IRNativeTag = {}));
+Object.freeze(IRNativeTag);
+export function nativeTagToString(nativeTag) {
+    if (nativeTag >= 0)
+        return builtinTagToString(nativeTag);
+    switch (nativeTag) {
+        case IRNativeTag._dropList: return "dropList";
+        case IRNativeTag._foldr: return "foldr";
+        case IRNativeTag._foldl: return "foldl";
+        case IRNativeTag._mkFindDataOptional: return "mkFind";
+        case IRNativeTag._length: return "length";
+        case IRNativeTag._some: return "some";
+        case IRNativeTag._every: return "every";
+        case IRNativeTag._mkFilter: return "mkFilter";
+        // case IRNativeTag._fstPair       : return "fstPair";
+        // case IRNativeTag._sndPair       : return "sndPair";
+        case IRNativeTag._id: return "id";
+        case IRNativeTag._not: return "not";
+        case IRNativeTag._strictAnd: return "strictAnd";
+        case IRNativeTag._and: return "and";
+        case IRNativeTag._strictOr: return "strictOr";
+        case IRNativeTag._or: return "or";
+        case IRNativeTag._gtBS: return "gtBS";
+        case IRNativeTag._gtEqBS: return "gtEqBS";
+        case IRNativeTag._gtInt: return "gtInt";
+        case IRNativeTag._gtEqInt: return "gtEqInt";
+        case IRNativeTag._strToData: return "strToData";
+        case IRNativeTag._pairDataToData: return "pairToData";
+        case IRNativeTag._strFromData: return "strFromData";
+        case IRNativeTag._pairDataFromData: return "pairFromData";
+        case IRNativeTag._mkEqualsList: return "mkEqualsList";
+        case IRNativeTag._equalPairData: return "equalPairData";
+        case IRNativeTag._equalBoolean: return "equalBoolean";
+        case IRNativeTag._negateInt: return "negateInt";
+        case IRNativeTag._mkMapList: return "mapList";
+        case IRNativeTag._bytesToIntBE: return "bytesToIntBE";
+        case IRNativeTag._boolToInt: return "boolToInt";
+        case IRNativeTag._intToBytesBE: return "intToBytesBE";
+        case IRNativeTag._intToBool: return "intToBool";
+        case IRNativeTag._exponentiateInteger: return "exponentiateInteger";
+        case IRNativeTag._amountOfValue: return "amountOfValue";
+        case IRNativeTag._isZero: return "isZero";
+        case IRNativeTag._sortedValueLovelaces: return "sortedValueLovelaces";
+        default: return "";
+    }
+}

package/dist/IR/IRNodes/IRNative/index.d.ts

@@ -0,0 +1,165 @@
+import { Cloneable } from "@harmoniclabs/cbor/dist/utils/Cloneable";
+import { IHash } from "../../interfaces/IHash.js";
+import { IIRParent } from "../../interfaces/IIRParent.js";
+import { IRNativeTag } from "./IRNativeTag.js";
+import { IRParentTerm } from "../../utils/isIRParentTerm.js";
+import { BaseIRMetadata } from "../BaseIRMetadata.js";
+import { ToJson } from "../../../utils/ToJson.js";
+import { IRHash } from "../../IRHash.js";
+import { IRNodeKind } from "../../IRNodeKind.js";
+import { TirType } from "../../../compiler/tir/types/TirType.js";
+import { IRHoisted } from "../index.js";
+import { IRTerm } from "../../IRTerm.js";
+export interface IRNativeMetadata extends BaseIRMetadata {
+}
+/**
+ * `IRNative` ⊇ (`Builtins` + `std::fn`)
+**/
+export declare class IRNative implements Cloneable<IRNative>, IHash, IIRParent, ToJson {
+    readonly tag: IRNativeTag;
+    static get kind(): IRNodeKind.Native;
+    get kind(): IRNodeKind.Native;
+    static get tag(): Uint8Array;
+    constructor(tag: IRNativeTag);
+    get hash(): IRHash;
+    markHashAsInvalid(): void;
+    isHashPresent(): true;
+    private _meta;
+    get meta(): IRNativeMetadata;
+    private _parent;
+    get parent(): IRParentTerm | undefined;
+    set parent(newParent: IRParentTerm | undefined);
+    clone(): IRNative;
+    toJSON(): {
+        type: string;
+        native: string;
+    };
+    toJson(): {
+        type: string;
+        native: string;
+    };
+    static get addInteger(): IRNative;
+    static get subtractInteger(): IRNative;
+    static get multiplyInteger(): IRNative;
+    static get divideInteger(): IRNative;
+    static get quotientInteger(): IRNative;
+    static get remainderInteger(): IRNative;
+    static get modInteger(): IRNative;
+    static get equalsInteger(): IRNative;
+    static get lessThanInteger(): IRNative;
+    static get lessThanEqualInteger(): IRNative;
+    static get appendByteString(): IRNative;
+    static get consByteString(): IRNative;
+    static get sliceByteString(): IRNative;
+    static get lengthOfByteString(): IRNative;
+    static get indexByteString(): IRNative;
+    static get equalsByteString(): IRNative;
+    static get lessThanByteString(): IRNative;
+    static get lessThanEqualsByteString(): IRNative;
+    static get sha2_256(): IRNative;
+    static get sha3_256(): IRNative;
+    static get blake2b_256(): IRNative;
+    static get verifyEd25519Signature(): IRNative;
+    static get appendString(): IRNative;
+    static get equalsString(): IRNative;
+    static get encodeUtf8(): IRNative;
+    static get decodeUtf8(): IRNative;
+    static get strictIfThenElse(): IRNative;
+    static get chooseUnit(): IRNative;
+    static get trace(): IRNative;
+    static get fstPair(): IRNative;
+    static get sndPair(): IRNative;
+    static get strictChooseList(): IRNative;
+    static get mkCons(): IRNative;
+    static get headList(): IRNative;
+    static get tailList(): IRNative;
+    static get nullList(): IRNative;
+    static get chooseData(): IRNative;
+    static get constrData(): IRNative;
+    static get mapData(): IRNative;
+    static get listData(): IRNative;
+    static get iData(): IRNative;
+    static get bData(): IRNative;
+    static get unConstrData(): IRNative;
+    static get unMapData(): IRNative;
+    static get unListData(): IRNative;
+    static get unIData(): IRNative;
+    static get unBData(): IRNative;
+    static get equalsData(): IRNative;
+    static get mkPairData(): IRNative;
+    static get mkNilData(): IRNative;
+    static get mkNilPairData(): IRNative;
+    static get serialiseData(): IRNative;
+    static get verifyEcdsaSecp256k1Signature(): IRNative;
+    static get verifySchnorrSecp256k1Signature(): IRNative;
+    static get bls12_381_G1_add(): IRNative;
+    static get bls12_381_G1_neg(): IRNative;
+    static get bls12_381_G1_scalarMul(): IRNative;
+    static get bls12_381_G1_equal(): IRNative;
+    static get bls12_381_G1_hashToGroup(): IRNative;
+    static get bls12_381_G1_compress(): IRNative;
+    static get bls12_381_G1_uncompress(): IRNative;
+    static get bls12_381_G2_add(): IRNative;
+    static get bls12_381_G2_neg(): IRNative;
+    static get bls12_381_G2_scalarMul(): IRNative;
+    static get bls12_381_G2_equal(): IRNative;
+    static get bls12_381_G2_hashToGroup(): IRNative;
+    static get bls12_381_G2_compress(): IRNative;
+    static get bls12_381_G2_uncompress(): IRNative;
+    static get bls12_381_millerLoop(): IRNative;
+    static get bls12_381_mulMlResult(): IRNative;
+    static get bls12_381_finalVerify(): IRNative;
+    static get keccak_256(): IRNative;
+    static get blake2b_224(): IRNative;
+    static get integerToByteString(): IRNative;
+    static get byteStringToInteger(): IRNative;
+    static get andByteString(): IRNative;
+    static get orByteString(): IRNative;
+    static get xorByteString(): IRNative;
+    static get complementByteString(): IRNative;
+    static get readBit(): IRNative;
+    static get writeBits(): IRNative;
+    static get replicateByte(): IRNative;
+    static get shiftByteString(): IRNative;
+    static get rotateByteString(): IRNative;
+    static get countSetBits(): IRNative;
+    static get findFirstSetBit(): IRNative;
+    static get ripemd_160(): IRNative;
+    static get _dropList(): IRNative;
+    static get _foldr(): IRNative;
+    static get _foldl(): IRNative;
+    static get _mkFindDataOptional(): IRNative;
+    static get _length(): IRNative;
+    static get _some(): IRNative;
+    static get _every(): IRNative;
+    static get _mkFilter(): IRNative;
+    static get _id(): IRNative;
+    static get _not(): IRNative;
+    static get _strictAnd(): IRNative;
+    static get _and(): IRNative;
+    static get _strictOr(): IRNative;
+    static get _or(): IRNative;
+    static get _gtBS(): IRNative;
+    static get _gtEqBS(): IRNative;
+    static get _gtInt(): IRNative;
+    static get _gtEqInt(): IRNative;
+    static get _strToData(): IRNative;
+    static get _pairDataToData(): IRNative;
+    static get _strFromData(): IRNative;
+    static get _pairDataFromData(): IRNative;
+    static get _mkEqualsList(): IRNative;
+    static get _equalPairData(): IRNative;
+    static get _equalBoolean(): IRNative;
+    static get _negateInt(): IRNative;
+    static get _mkMapList(): IRNative;
+    static get _bytesToIntBE(): IRNative;
+    static get _boolToInt(): IRNative;
+    /** internally handles int size */
+    static get _intToBytesBE(): IRNative;
+    static get _intToBool(): IRNative;
+    static get _exponentiateInteger(): IRNative;
+    static get _amountOfValue(): IRNative;
+    static get _sortedValueLovelaces(): IRNative;
+    static equals(type: TirType): IRTerm;
+    static equalListOf(type: TirType): IRHoisted;
+}

package/dist/IR/IRNodes/IRNative/index.js

@@ -0,0 +1,240 @@
+import { concatUint8Arr } from "../../utils/concatUint8Arr.js";
+import { positiveBigIntAsBytes } from "../../utils/positiveIntAsBytes.js";
+import { IRNativeTag, nativeTagToString } from "./IRNativeTag.js";
+import UPLCFlatUtils from "../../../utils/UPLCFlatUtils/index.js";
+import { isIRParentTerm } from "../../utils/isIRParentTerm.js";
+import { hashIrData } from "../../IRHash.js";
+import { isObject } from "@harmoniclabs/obj-utils";
+import { IRNodeKind } from "../../IRNodeKind.js";
+import { IRConst, IRFunc, IRHoisted, IRVar } from "../index.js";
+import { _ir_apps } from "../../tree_utils/_ir_apps.js";
+import { getUnaliased } from "../../../compiler/tir/types/utils/getUnaliased.js";
+import { TirDataStructType } from "../../../compiler/tir/types/TirStructType.js";
+import { TirAliasType } from "../../../compiler/tir/types/TirAliasType.js";
+import { getListTypeArg } from "../../../compiler/tir/types/utils/getListTypeArg.js";
+import { TirPairDataT, TirUnConstrDataResultT } from "../../../compiler/tir/types/TirNativeType/index.js";
+import { TirBoolT } from "../../../compiler/tir/types/TirNativeType/native/bool.js";
+import { TirBytesT } from "../../../compiler/tir/types/TirNativeType/native/bytes.js";
+import { TirDataT } from "../../../compiler/tir/types/TirNativeType/native/data.js";
+import { TirIntT } from "../../../compiler/tir/types/TirNativeType/native/int.js";
+import { TirLinearMapT } from "../../../compiler/tir/types/TirNativeType/native/linearMap.js";
+import { TirListT } from "../../../compiler/tir/types/TirNativeType/native/list.js";
+import { TirDataOptT } from "../../../compiler/tir/types/TirNativeType/native/Optional/data.js";
+import { TirStringT } from "../../../compiler/tir/types/TirNativeType/native/string.js";
+import { TirVoidT } from "../../../compiler/tir/types/TirNativeType/native/void.js";
+/**
+ * we might not need all the hashes
+ *
+ * but one we get one for a specific tag is not worth it re calculate it
+ */
+const nativeHashesCache = {};
+/**
+ * `IRNative` ⊇ (`Builtins` + `std::fn`)
+**/
+export class IRNative {
+    tag;
+    static get kind() { return IRNodeKind.Native; }
+    get kind() { return IRNative.kind; }
+    static get tag() { return new Uint8Array([IRNative.kind]); }
+    constructor(tag) {
+        this.tag = tag;
+    }
+    get hash() {
+        if (nativeHashesCache[this.tag] === undefined) {
+            nativeHashesCache[this.tag] = hashIrData(concatUint8Arr(IRNative.tag, positiveBigIntAsBytes(UPLCFlatUtils.zigzagBigint(BigInt(this.tag)))));
+        }
+        return nativeHashesCache[this.tag];
+    }
+    markHashAsInvalid() { throw new Error("IRNative should never be invalid; 'markHashAsInvalid' called"); }
+    isHashPresent() { return true; }
+    _meta;
+    get meta() {
+        if (!isObject(this._meta))
+            this._meta = {};
+        return this._meta;
+    }
+    _parent = undefined;
+    get parent() {
+        return this._parent;
+    }
+    set parent(newParent) {
+        if (!( // assert
+        // new parent value is different than current
+        this._parent !== newParent && (
+        // and the new parent value is valid
+        newParent === undefined ||
+            isIRParentTerm(newParent))))
+            return;
+        this._parent = newParent;
+    }
+    clone() {
+        return new IRNative(this.tag);
+    }
+    toJSON() { return this.toJson(); }
+    toJson() {
+        return {
+            type: "IRNative",
+            native: nativeTagToString(this.tag)
+        };
+    }
+    static get addInteger() { return new IRNative(IRNativeTag.addInteger); }
+    static get subtractInteger() { return new IRNative(IRNativeTag.subtractInteger); }
+    static get multiplyInteger() { return new IRNative(IRNativeTag.multiplyInteger); }
+    static get divideInteger() { return new IRNative(IRNativeTag.divideInteger); }
+    static get quotientInteger() { return new IRNative(IRNativeTag.quotientInteger); }
+    static get remainderInteger() { return new IRNative(IRNativeTag.remainderInteger); }
+    static get modInteger() { return new IRNative(IRNativeTag.modInteger); }
+    static get equalsInteger() { return new IRNative(IRNativeTag.equalsInteger); }
+    static get lessThanInteger() { return new IRNative(IRNativeTag.lessThanInteger); }
+    static get lessThanEqualInteger() { return new IRNative(IRNativeTag.lessThanEqualInteger); }
+    static get appendByteString() { return new IRNative(IRNativeTag.appendByteString); }
+    static get consByteString() { return new IRNative(IRNativeTag.consByteString); }
+    static get sliceByteString() { return new IRNative(IRNativeTag.sliceByteString); }
+    static get lengthOfByteString() { return new IRNative(IRNativeTag.lengthOfByteString); }
+    static get indexByteString() { return new IRNative(IRNativeTag.indexByteString); }
+    static get equalsByteString() { return new IRNative(IRNativeTag.equalsByteString); }
+    static get lessThanByteString() { return new IRNative(IRNativeTag.lessThanByteString); }
+    static get lessThanEqualsByteString() { return new IRNative(IRNativeTag.lessThanEqualsByteString); }
+    static get sha2_256() { return new IRNative(IRNativeTag.sha2_256); }
+    static get sha3_256() { return new IRNative(IRNativeTag.sha3_256); }
+    static get blake2b_256() { return new IRNative(IRNativeTag.blake2b_256); }
+    static get verifyEd25519Signature() { return new IRNative(IRNativeTag.verifyEd25519Signature); }
+    static get appendString() { return new IRNative(IRNativeTag.appendString); }
+    static get equalsString() { return new IRNative(IRNativeTag.equalsString); }
+    static get encodeUtf8() { return new IRNative(IRNativeTag.encodeUtf8); }
+    static get decodeUtf8() { return new IRNative(IRNativeTag.decodeUtf8); }
+    static get strictIfThenElse() { return new IRNative(IRNativeTag.strictIfThenElse); }
+    static get chooseUnit() { return new IRNative(IRNativeTag.chooseUnit); }
+    static get trace() { return new IRNative(IRNativeTag.trace); }
+    static get fstPair() { return new IRNative(IRNativeTag.fstPair); }
+    static get sndPair() { return new IRNative(IRNativeTag.sndPair); }
+    static get strictChooseList() { return new IRNative(IRNativeTag.strictChooseList); }
+    static get mkCons() { return new IRNative(IRNativeTag.mkCons); }
+    static get headList() { return new IRNative(IRNativeTag.headList); }
+    static get tailList() { return new IRNative(IRNativeTag.tailList); }
+    static get nullList() { return new IRNative(IRNativeTag.nullList); }
+    static get chooseData() { return new IRNative(IRNativeTag.chooseData); }
+    static get constrData() { return new IRNative(IRNativeTag.constrData); }
+    static get mapData() { return new IRNative(IRNativeTag.mapData); }
+    static get listData() { return new IRNative(IRNativeTag.listData); }
+    static get iData() { return new IRNative(IRNativeTag.iData); }
+    static get bData() { return new IRNative(IRNativeTag.bData); }
+    static get unConstrData() { return new IRNative(IRNativeTag.unConstrData); }
+    static get unMapData() { return new IRNative(IRNativeTag.unMapData); }
+    static get unListData() { return new IRNative(IRNativeTag.unListData); }
+    static get unIData() { return new IRNative(IRNativeTag.unIData); }
+    static get unBData() { return new IRNative(IRNativeTag.unBData); }
+    static get equalsData() { return new IRNative(IRNativeTag.equalsData); }
+    static get mkPairData() { return new IRNative(IRNativeTag.mkPairData); }
+    static get mkNilData() { return new IRNative(IRNativeTag.mkNilData); }
+    static get mkNilPairData() { return new IRNative(IRNativeTag.mkNilPairData); }
+    static get serialiseData() { return new IRNative(IRNativeTag.serialiseData); }
+    static get verifyEcdsaSecp256k1Signature() { return new IRNative(IRNativeTag.verifyEcdsaSecp256k1Signature); }
+    static get verifySchnorrSecp256k1Signature() { return new IRNative(IRNativeTag.verifySchnorrSecp256k1Signature); }
+    static get bls12_381_G1_add() { return new IRNative(IRNativeTag.bls12_381_G1_add); }
+    static get bls12_381_G1_neg() { return new IRNative(IRNativeTag.bls12_381_G1_neg); }
+    static get bls12_381_G1_scalarMul() { return new IRNative(IRNativeTag.bls12_381_G1_scalarMul); }
+    static get bls12_381_G1_equal() { return new IRNative(IRNativeTag.bls12_381_G1_equal); }
+    static get bls12_381_G1_hashToGroup() { return new IRNative(IRNativeTag.bls12_381_G1_hashToGroup); }
+    static get bls12_381_G1_compress() { return new IRNative(IRNativeTag.bls12_381_G1_compress); }
+    static get bls12_381_G1_uncompress() { return new IRNative(IRNativeTag.bls12_381_G1_uncompress); }
+    static get bls12_381_G2_add() { return new IRNative(IRNativeTag.bls12_381_G2_add); }
+    static get bls12_381_G2_neg() { return new IRNative(IRNativeTag.bls12_381_G2_neg); }
+    static get bls12_381_G2_scalarMul() { return new IRNative(IRNativeTag.bls12_381_G2_scalarMul); }
+    static get bls12_381_G2_equal() { return new IRNative(IRNativeTag.bls12_381_G2_equal); }
+    static get bls12_381_G2_hashToGroup() { return new IRNative(IRNativeTag.bls12_381_G2_hashToGroup); }
+    static get bls12_381_G2_compress() { return new IRNative(IRNativeTag.bls12_381_G2_compress); }
+    static get bls12_381_G2_uncompress() { return new IRNative(IRNativeTag.bls12_381_G2_uncompress); }
+    static get bls12_381_millerLoop() { return new IRNative(IRNativeTag.bls12_381_millerLoop); }
+    static get bls12_381_mulMlResult() { return new IRNative(IRNativeTag.bls12_381_mulMlResult); }
+    static get bls12_381_finalVerify() { return new IRNative(IRNativeTag.bls12_381_finalVerify); }
+    static get keccak_256() { return new IRNative(IRNativeTag.keccak_256); }
+    static get blake2b_224() { return new IRNative(IRNativeTag.blake2b_224); }
+    static get integerToByteString() { return new IRNative(IRNativeTag.integerToByteString); }
+    static get byteStringToInteger() { return new IRNative(IRNativeTag.byteStringToInteger); }
+    // plomin (batch 5)
+    static get andByteString() { return new IRNative(IRNativeTag.andByteString); }
+    static get orByteString() { return new IRNative(IRNativeTag.orByteString); }
+    static get xorByteString() { return new IRNative(IRNativeTag.xorByteString); }
+    static get complementByteString() { return new IRNative(IRNativeTag.complementByteString); }
+    static get readBit() { return new IRNative(IRNativeTag.readBit); }
+    static get writeBits() { return new IRNative(IRNativeTag.writeBits); }
+    static get replicateByte() { return new IRNative(IRNativeTag.replicateByte); }
+    static get shiftByteString() { return new IRNative(IRNativeTag.shiftByteString); }
+    static get rotateByteString() { return new IRNative(IRNativeTag.rotateByteString); }
+    static get countSetBits() { return new IRNative(IRNativeTag.countSetBits); }
+    static get findFirstSetBit() { return new IRNative(IRNativeTag.findFirstSetBit); }
+    static get ripemd_160() { return new IRNative(IRNativeTag.ripemd_160); }
+    static get _dropList() { return new IRNative(IRNativeTag._dropList); }
+    static get _foldr() { return new IRNative(IRNativeTag._foldr); }
+    static get _foldl() { return new IRNative(IRNativeTag._foldl); }
+    static get _mkFindDataOptional() { return new IRNative(IRNativeTag._mkFindDataOptional); }
+    static get _length() { return new IRNative(IRNativeTag._length); }
+    static get _some() { return new IRNative(IRNativeTag._some); }
+    static get _every() { return new IRNative(IRNativeTag._every); }
+    static get _mkFilter() { return new IRNative(IRNativeTag._mkFilter); }
+    // static get _fstPair() { return new IRNative( IRNativeTag._fstPair ); }
+    // static get _sndPair() { return new IRNative( IRNativeTag._sndPair ); }
+    static get _id() { return new IRNative(IRNativeTag._id); }
+    static get _not() { return new IRNative(IRNativeTag._not); }
+    static get _strictAnd() { return new IRNative(IRNativeTag._strictAnd); }
+    static get _and() { return new IRNative(IRNativeTag._and); }
+    static get _strictOr() { return new IRNative(IRNativeTag._strictOr); }
+    static get _or() { return new IRNative(IRNativeTag._or); }
+    static get _gtBS() { return new IRNative(IRNativeTag._gtBS); }
+    static get _gtEqBS() { return new IRNative(IRNativeTag._gtEqBS); }
+    static get _gtInt() { return new IRNative(IRNativeTag._gtInt); }
+    static get _gtEqInt() { return new IRNative(IRNativeTag._gtEqInt); }
+    static get _strToData() { return new IRNative(IRNativeTag._strToData); }
+    static get _pairDataToData() { return new IRNative(IRNativeTag._pairDataToData); }
+    static get _strFromData() { return new IRNative(IRNativeTag._strFromData); }
+    static get _pairDataFromData() { return new IRNative(IRNativeTag._pairDataFromData); }
+    static get _mkEqualsList() { return new IRNative(IRNativeTag._mkEqualsList); }
+    static get _equalPairData() { return new IRNative(IRNativeTag._equalPairData); }
+    static get _equalBoolean() { return new IRNative(IRNativeTag._equalBoolean); }
+    static get _negateInt() { return new IRNative(IRNativeTag._negateInt); }
+    static get _mkMapList() { return new IRNative(IRNativeTag._mkMapList); }
+    static get _bytesToIntBE() { return new IRNative(IRNativeTag._bytesToIntBE); }
+    static get _boolToInt() { return new IRNative(IRNativeTag._boolToInt); }
+    /** internally handles int size */
+    static get _intToBytesBE() { return new IRNative(IRNativeTag._intToBytesBE); }
+    static get _intToBool() { return new IRNative(IRNativeTag._intToBool); }
+    static get _exponentiateInteger() { return new IRNative(IRNativeTag._exponentiateInteger); }
+    static get _amountOfValue() { return new IRNative(IRNativeTag._amountOfValue); }
+    static get _sortedValueLovelaces() { return new IRNative(IRNativeTag._sortedValueLovelaces); }
+    static equals(type) {
+        type = getUnaliased(type);
+        if (type instanceof TirAliasType)
+            throw new Error("unreachable");
+        if (type instanceof TirIntT)
+            return IRNative.equalsInteger;
+        if (type instanceof TirBytesT)
+            return IRNative.equalsByteString;
+        if (type instanceof TirStringT)
+            return IRNative.equalsString;
+        if (type instanceof TirBoolT)
+            return IRNative._equalBoolean;
+        if (type instanceof TirPairDataT)
+            return IRNative._equalPairData;
+        if (type instanceof TirDataT
+            || type instanceof TirDataOptT
+            || type instanceof TirDataStructType)
+            return IRNative.equalsData;
+        if (type instanceof TirListT)
+            return IRNative.equalListOf(getListTypeArg(type));
+        if (type instanceof TirLinearMapT)
+            return IRNative.equalListOf(new TirPairDataT());
+        if (type instanceof TirLinearMapT)
+            return IRNative.equalListOf(new TirPairDataT());
+        if (type instanceof TirUnConstrDataResultT)
+            return new IRHoisted(new IRFunc(2, _ir_apps(IRNative.equalsData, _ir_apps(IRNative.constrData, new IRVar(0)), _ir_apps(IRNative.constrData, new IRVar(1)))));
+        // don't even hoist, who is even going to use this?
+        if (type instanceof TirVoidT)
+            return new IRFunc(2, IRConst.bool(true));
+        const tsEnsureExsaustiveCheck = type;
+        throw new Error("invalid type for std equality");
+    }
+    static equalListOf(type) {
+        return new IRHoisted(_ir_apps(IRNative._mkEqualsList, IRNative.equals(type)), { forceHoist: false, name: `equalsListOf_${type.toString()}` });
+    }
+}

package/dist/IR/IRNodes/IRNative/isForcedNative.d.ts

@@ -0,0 +1,3 @@
+import { IRNative } from "./index.js";
+import { IRTerm } from "../../IRTerm.js";
+export declare function isForcedNative(node: IRTerm): node is IRNative;

package/dist/IR/IRNodes/IRNative/isForcedNative.js

@@ -0,0 +1,18 @@
+import { IRNative } from "./index.js";
+import { IRNativeTag } from "./IRNativeTag.js";
+function isForcedNativeTag(tag) {
+    return (tag === IRNativeTag.strictIfThenElse ||
+        tag === IRNativeTag.chooseUnit ||
+        tag === IRNativeTag.trace ||
+        tag === IRNativeTag.mkCons ||
+        tag === IRNativeTag.headList ||
+        tag === IRNativeTag.tailList ||
+        tag === IRNativeTag.nullList ||
+        tag === IRNativeTag.chooseData ||
+        tag === IRNativeTag.fstPair ||
+        tag === IRNativeTag.sndPair ||
+        tag === IRNativeTag.strictChooseList);
+}
+export function isForcedNative(node) {
+    return node instanceof IRNative && isForcedNativeTag(node.tag);
+}