@harmoniclabs/plu-ts-onchain/dist/IR/toUPLC/_internal/getDebruijnInTerm.js

An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript

"use strict";
var __read = (this && this.__read) || function (o, n) {
    var m = typeof Symbol === "function" && o[Symbol.iterator];
    if (!m) return o;
    var i = m.call(o), r, ar = [], e;
    try {
        while ((n === void 0 || n-- > 0) && !(r = i.next()).done) ar.push(r.value);
    }
    catch (error) { e = { error: error }; }
    finally {
        try {
            if (r && !r.done && (m = i["return"])) m.call(i);
        }
        finally { if (e) throw e.error; }
    }
    return ar;
};
var __spreadArray = (this && this.__spreadArray) || function (to, from, pack) {
    if (pack || arguments.length === 2) for (var i = 0, l = from.length, ar; i < l; i++) {
        if (ar || !(i in from)) {
            if (!ar) ar = Array.prototype.slice.call(from, 0, i);
            ar[i] = from[i];
        }
    }
    return to.concat(ar || Array.prototype.slice.call(from));
};
Object.defineProperty(exports, "__esModule", { value: true });
exports.getDebruijnInTerm = void 0;
var IRHash_1 = require("../../IRHash.js");
var IRNodes_1 = require("../../IRNodes/index.js");
var IRApp_1 = require("../../IRNodes/IRApp.js");
var IRDelayed_1 = require("../../IRNodes/IRDelayed.js");
var IRForced_1 = require("../../IRNodes/IRForced.js");
var IRFunc_1 = require("../../IRNodes/IRFunc.js");
var IRLetted_1 = require("../../IRNodes/IRLetted.js");
var IRRecursive_1 = require("../../IRNodes/IRRecursive.js");
var mapArrayLike_1 = require("../../IRNodes/utils/mapArrayLike.js");
function getDebruijnInTerm(root, termToFind) {
    var termTofindHash = termToFind.hash;
    var stack = [{ term: root, dbn: 0 }];
    var _loop_1 = function () {
        var _a = stack.pop(), term = _a.term, dbn = _a.dbn;
        if (term === termToFind || (0, IRHash_1.equalIrHash)(term.hash, termTofindHash))
            return { value: dbn };
        if (term instanceof IRApp_1.IRApp) {
            stack.push({ term: term.fn, dbn: dbn }, { term: term.arg, dbn: dbn });
            return "continue";
        }
        if (term instanceof IRNodes_1.IRCase) {
            stack.push.apply(stack, __spreadArray([{ term: term.constrTerm, dbn: dbn }], __read((0, mapArrayLike_1.mapArrayLike)(term.continuations, function (continuation) { return ({ term: continuation, dbn: dbn }); })), false));
            return "continue";
        }
        if (term instanceof IRNodes_1.IRConstr) {
            stack.push.apply(stack, __spreadArray([], __read((0, mapArrayLike_1.mapArrayLike)(term.fields, function (field) { return ({ term: field, dbn: dbn }); })), false));
            return "continue";
        }
        if (term instanceof IRDelayed_1.IRDelayed) {
            stack.push({ term: term.delayed, dbn: dbn });
            return "continue";
        }
        if (term instanceof IRForced_1.IRForced) {
            stack.push({ term: term.forced, dbn: dbn });
            return "continue";
        }
        if (term instanceof IRFunc_1.IRFunc) {
            stack.push({ term: term.body, dbn: dbn + term.arity });
            return "continue";
        }
        if (term instanceof IRRecursive_1.IRRecursive) {
            stack.push({ term: term.body, dbn: dbn + term.arity });
            return "continue";
        }
        if (term instanceof IRLetted_1.IRLetted) {
            stack.push({ term: term.value, dbn: dbn });
            return "continue";
        }
    };
    while (stack.length > 0) {
        var state_1 = _loop_1();
        if (typeof state_1 === "object")
            return state_1.value;
    }
    return -1;
}
exports.getDebruijnInTerm = getDebruijnInTerm;