@harmoniclabs/plu-ts-onchain
Version:
An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript
15 lines (14 loc) • 723 B
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.pid = void 0;
var obj_utils_1 = require("@harmoniclabs/obj-utils");
var Term_1 = require("../../Term/index.js");
var type_system_1 = require("../../type_system/index.js");
var papp_1 = require("../papp.js");
var phoist_1 = require("../phoist.js");
var IRNative_1 = require("../../../IR/IRNodes/IRNative/index.js");
function pid(termT) {
var idTerm = new Term_1.Term((0, type_system_1.lam)(termT, termT), function (_dbn) { return IRNative_1.IRNative._id; });
return (0, phoist_1.phoist)((0, obj_utils_1.defineReadOnlyProperty)(idTerm, "$", function (whatever) { return (0, papp_1.papp)(idTerm, whatever); }));
}
exports.pid = pid;