@harmoniclabs/plu-ts-onchain/dist/pluts/lib/std/list/pfoldr/index.js

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

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.pfoldr = void 0;
var type_system_1 = require("../../../../type_system/index.js");
var papp_1 = require("../../../papp.js");
var pdelay_1 = require("../../../pdelay.js");
var pfn_1 = require("../../../pfn.js");
var phoist_1 = require("../../../phoist.js");
var plam_1 = require("../../../plam.js");
var precursiveList_1 = require("../precursiveList/index.js");
function pfoldr(elemsT, resultT) {
    var a = elemsT;
    var b = resultT;
    var selfType = (0, type_system_1.lam)((0, type_system_1.list)(elemsT), resultT);
    return (0, phoist_1.phoist)((0, pfn_1.pfn)([
        (0, type_system_1.fn)([a, b], b),
        b
    ], (0, type_system_1.lam)((0, type_system_1.list)(a), b))(function (reduceFunc, accumulator) {
        return (0, precursiveList_1.precursiveList)(resultT, elemsT)
            .$((0, plam_1.plam)(selfType, (0, type_system_1.delayed)(resultT))(function (_foldr) { return (0, pdelay_1.pdelay)(accumulator); }))
            .$((0, pfn_1.pfn)([
            selfType,
            elemsT,
            (0, type_system_1.list)(elemsT)
        ], resultT)(function (self, head, tail) {
            // compute new result using the result got
            // AFTER the recursive call on the rest of the list
            // and the first element of the list
            return (0, papp_1.papp)(reduceFunc, head).$((0, papp_1.papp)(self, tail));
        }));
    }, "pfoldr"));
}
exports.pfoldr = pfoldr;