@helios-lang/effect 0.1.14 → 0.2.0

package/dist/Cardano/Uplc/ScriptContext.js

@@ -0,0 +1,259 @@
+import { Context, Effect, Option, Schema } from "effect";
+import { FromUplcData as DatumHashFromUplcData, hash as hashDatum } from "../Ledger/DatumHash.js";
+import { FromUplcData as MintingPolicyFromUplcData } from "../Ledger/MintingPolicy.js";
+import { FromUplcData as AssetsFromUplcData, nonAdaPolicies } from "../Ledger/Assets.js";
+import { FromUplcData as DCertFromUplcData } from "../Ledger/DCert.js";
+import { FromUplcData as PubKeyHashFromUplcData } from "../Ledger/PubKeyHash.js";
+import { Redeemer } from "../Ledger/Redeemer.js";
+import { FromUplcData as RewardAddressFromUplcData } from "../Ledger/RewardAddress.js";
+import { hash as hashTx, inputDatum } from "../Ledger/Tx.js";
+import { FromUplcData as TxHashFromUplcData, FromUplcDataV3 as TxHashFromUplcDataV3 } from "../Ledger/TxHash.js";
+import { FromUplcData as TxOutputFromUplcData } from "../Ledger/TxOutput.js";
+import { FromUplcData as UTxOFromUplcData, FromUplcDataV3 as UTxOFromUplcDataV3 } from "../Ledger/UTxO.js";
+import { FromUplcData as UTxORefFromUplcData, FromUplcDataV3 as UTxORefFromUplcDataV3 } from "../Ledger/UTxORef.js";
+import * as Params from "../Network/Params.js";
+import * as Data from "./Data.js";
+export const makeArgs = (version, tx, redeemerIndex) => Effect.gen(function* () {
+    switch (version) {
+        case 1:
+            throw new Error("ScriptContext for UPLC v1 not supported");
+        case 2:
+            return yield* makeArgsV2(tx, redeemerIndex);
+        case 3:
+            return yield* makeArgsV3(tx, redeemerIndex);
+    }
+});
+const LovelaceFromData = Schema.transform(AssetsFromUplcData(false), Schema.BigIntFromSelf, {
+    strict: true,
+    decode: (assets) => assets[""],
+    encode: (fee) => ({ "": fee })
+});
+/**
+ * in V2, 0 lovelace is prepended
+ */
+const MintedAssetsV2 = Schema.transform(AssetsFromUplcData(true), Schema.typeSchema(AssetsFromUplcData(true)), {
+    strict: true,
+    decode: (assets) => assets,
+    encode: (assets) => ({ "": 0n, ...assets })
+});
+const ValiditySlotRange = Schema.transformOrFail(Data.TimeRange, Schema.Struct({
+    firstValidSlot: Schema.optional(Schema.Int),
+    lastValidSlot: Schema.optional(Schema.Int)
+}), {
+    strict: true,
+    decode: (tr) => Effect.zip(Number.isFinite(tr.start)
+        ? Params.timeToSlot(tr.start)
+        : Effect.succeed(undefined), Number.isFinite(tr.end)
+        ? Params.timeToSlot(tr.end)
+        : Effect.succeed(undefined)).pipe(Effect.map(([firstValidSlot, lastValidSlot]) => ({
+        firstValidSlot,
+        lastValidSlot
+    }))),
+    encode: (tr) => Effect.zip(tr.firstValidSlot === undefined
+        ? Effect.succeed(Number.NEGATIVE_INFINITY)
+        : Params.slotToTime(tr.firstValidSlot), tr.lastValidSlot === undefined
+        ? Effect.succeed(Number.POSITIVE_INFINITY)
+        : Params.slotToTime(tr.lastValidSlot)).pipe(Effect.map(([start, end]) => ({ start, end })))
+});
+const TxInfoV2 = Data.EnumVariant(0, {
+    inputs: Data.Array(UTxOFromUplcData),
+    refInputs: Data.Array(UTxOFromUplcData),
+    outputs: Data.Array(TxOutputFromUplcData),
+    fee: LovelaceFromData,
+    minted: MintedAssetsV2,
+    dcerts: Data.Array(DCertFromUplcData),
+    withdrawals: Data.PairArray(RewardAddressFromUplcData, Data.BigInt),
+    validityTimeRange: ValiditySlotRange,
+    signers: Data.Array(PubKeyHashFromUplcData),
+    redeemers: Data.PairArray(Data.Data, Data.Data),
+    datums: Data.PairArray(DatumHashFromUplcData, Data.Data),
+    txHash: Data.EnumVariant(0, { hash: TxHashFromUplcData })
+});
+const TxInfoV3 = Data.EnumVariant(0, {
+    inputs: Data.Array(UTxOFromUplcDataV3),
+    refInputs: Data.Array(UTxOFromUplcDataV3),
+    outputs: Data.Array(TxOutputFromUplcData),
+    fee: LovelaceFromData,
+    minted: AssetsFromUplcData(true),
+    dcerts: Data.Array(DCertFromUplcData),
+    withdrawals: Data.PairArray(RewardAddressFromUplcData, Data.BigInt),
+    validityTimeRange: ValiditySlotRange,
+    signers: Data.Array(PubKeyHashFromUplcData),
+    redeemers: Data.PairArray(Data.Data, Data.Data),
+    datums: Data.PairArray(DatumHashFromUplcData, Data.Data),
+    txHash: TxHashFromUplcDataV3,
+    votes: Data.PairArray(Data.Data, Data.Data), // TODO
+    proposalProcedures: Data.Array(Data.Data), // TODO
+    currentTreasuryAmount: Data.Option(Data.Data), // TODO
+    treasuryDonation: Data.Option(Data.Data) // TODO
+});
+class CurrentTx extends Context.Tag("Cardano.Uplc.ScriptContext.CurrentTx")() {
+}
+/**
+ * Uses same tags as Redeemer to make encoding easy
+ */
+const PurposeV2 = Schema.transformOrFail(Data.Enum({
+    Minting: {
+        policy: MintingPolicyFromUplcData
+    },
+    Spending: {
+        ref: UTxORefFromUplcData
+    },
+    Rewarding: {
+        address: RewardAddressFromUplcData
+    },
+    Certifying: {
+        dcert: DCertFromUplcData
+    }
+}), Schema.typeSchema(Redeemer), {
+    strict: true,
+    decode: (_purpose) => {
+        throw new Error("can't reconstruct redeemer from purpose");
+    },
+    encode: (redeemer) => CurrentTx.pipe(Effect.map((tx) => {
+        switch (redeemer._tag) {
+            case "Minting":
+                return {
+                    _tag: "Minting",
+                    policy: nonAdaPolicies(tx.body.minted)[redeemer.policyIndex]
+                };
+            case "Spending":
+                return {
+                    _tag: "Spending",
+                    ref: tx.body.inputs[redeemer.inputIndex].ref
+                };
+            case "Rewarding":
+                return {
+                    _tag: "Rewarding",
+                    address: tx.body.withdrawals[redeemer.withdrawalIndex][0]
+                };
+            case "Certifying":
+                return {
+                    _tag: "Certifying",
+                    dcert: tx.body.dcerts[redeemer.dcertIndex]
+                };
+        }
+    }))
+});
+/**
+ * TODO: add voting and proposing redeemers
+ */
+const PurposeV3 = Schema.transformOrFail(Data.Enum({
+    Minting: {
+        policy: MintingPolicyFromUplcData
+    },
+    Spending: {
+        ref: UTxORefFromUplcDataV3,
+        datum: Data.Option(Data.Data)
+    },
+    Rewarding: {
+        address: RewardAddressFromUplcData
+    },
+    Certifying: {
+        dcert: DCertFromUplcData
+    }
+}), Schema.typeSchema(Redeemer), {
+    strict: true,
+    decode: (_purpose) => {
+        throw new Error("can't reconstruct redeemer from purpose");
+    },
+    encode: (redeemer) => CurrentTx.pipe(Effect.map((tx) => {
+        switch (redeemer._tag) {
+            case "Minting":
+                return {
+                    _tag: "Minting",
+                    policy: nonAdaPolicies(tx.body.minted)[redeemer.policyIndex]
+                };
+            case "Spending": {
+                return {
+                    _tag: "Spending",
+                    ref: tx.body.inputs[redeemer.inputIndex].ref,
+                    datum: Option.fromNullable(inputDatum(redeemer.inputIndex)(tx))
+                };
+            }
+            case "Rewarding":
+                return {
+                    _tag: "Rewarding",
+                    address: tx.body.withdrawals[redeemer.withdrawalIndex][0]
+                };
+            case "Certifying":
+                return {
+                    _tag: "Certifying",
+                    dcert: tx.body.dcerts[redeemer.dcertIndex]
+                };
+        }
+    }))
+});
+const makeArgsV2 = (tx, redeemerIndex) => Effect.gen(function* () {
+    const redeemer = tx.witnesses.redeemers[redeemerIndex];
+    const purposes = yield* Effect.all(tx.witnesses.redeemers.map((r) => Schema.encode(PurposeV2)(r))).pipe(Effect.provideService(CurrentTx, tx));
+    const purpose = purposes[redeemerIndex];
+    const txInfo = yield* Schema.encode(TxInfoV2)({
+        inputs: tx.body.inputs,
+        refInputs: tx.body.refInputs,
+        outputs: tx.body.outputs,
+        fee: tx.body.fee,
+        minted: tx.body.minted,
+        dcerts: tx.body.dcerts,
+        withdrawals: tx.body.withdrawals,
+        validityTimeRange: {
+            firstValidSlot: tx.body.firstValidSlot,
+            lastValidSlot: tx.body.lastValidSlot
+        },
+        signers: tx.body.signers,
+        redeemers: tx.witnesses.redeemers.map((r, i) => [purposes[i], r.data]),
+        datums: tx.witnesses.datums.map((d) => [hashDatum(d), d]),
+        txHash: { hash: hashTx(tx) }
+    });
+    const scriptContext = Data.makeConstrData(0, [txInfo, purpose]);
+    switch (redeemer._tag) {
+        case "Certifying":
+        case "Minting":
+        case "Rewarding":
+            return [
+                { data: redeemer.data },
+                { data: scriptContext }
+            ];
+        case "Spending": {
+            const datum = inputDatum(redeemer.inputIndex)(tx);
+            if (datum === undefined) {
+                throw new Error(`No datum found for input ${redeemer.inputIndex}`);
+            }
+            return [
+                { data: datum },
+                { data: redeemer.data },
+                { data: scriptContext }
+            ];
+        }
+    }
+});
+const makeArgsV3 = (tx, redeemerIndex) => Effect.gen(function* () {
+    const redeemer = tx.witnesses.redeemers[redeemerIndex];
+    const purposes = yield* Effect.all(tx.witnesses.redeemers.map((r) => Schema.encode(PurposeV3)(r))).pipe(Effect.provideService(CurrentTx, tx));
+    const purpose = purposes[redeemerIndex];
+    const txInfo = yield* Schema.encode(TxInfoV3)({
+        inputs: tx.body.inputs,
+        refInputs: tx.body.refInputs,
+        outputs: tx.body.outputs,
+        fee: tx.body.fee,
+        minted: tx.body.minted,
+        dcerts: tx.body.dcerts,
+        withdrawals: tx.body.withdrawals,
+        validityTimeRange: {
+            firstValidSlot: tx.body.firstValidSlot,
+            lastValidSlot: tx.body.lastValidSlot
+        },
+        signers: tx.body.signers,
+        redeemers: tx.witnesses.redeemers.map((r, i) => [purposes[i], r.data]),
+        datums: tx.witnesses.datums.map((d) => [hashDatum(d), d]),
+        txHash: hashTx(tx),
+        votes: [],
+        proposalProcedures: [],
+        currentTreasuryAmount: Option.none(),
+        treasuryDonation: Option.none()
+    });
+    return [
+        { data: Data.makeConstrData(0, [txInfo, redeemer.data, purpose]) }
+    ];
+});
+//# sourceMappingURL=ScriptContext.js.map

package/dist/Cardano/Uplc/ScriptContext.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ScriptContext.js","sourceRoot":"","sources":["../../../src/Cardano/Uplc/ScriptContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACxD,OAAO,EACL,YAAY,IAAI,qBAAqB,EACrC,IAAI,IAAI,SAAS,EAClB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,YAAY,IAAI,yBAAyB,EAAE,MAAM,4BAA4B,CAAA;AACtF,OAAO,EACL,YAAY,IAAI,kBAAkB,EAElC,cAAc,EACf,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EAAE,YAAY,IAAI,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AACtE,OAAO,EAAE,YAAY,IAAI,sBAAsB,EAAE,MAAM,yBAAyB,CAAA;AAChF,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAChD,OAAO,EAAE,YAAY,IAAI,yBAAyB,EAAE,MAAM,4BAA4B,CAAA;AACtF,OAAO,EAAW,IAAI,IAAI,MAAM,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACrE,OAAO,EACL,YAAY,IAAI,kBAAkB,EAClC,cAAc,IAAI,oBAAoB,EACvC,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EAAE,YAAY,IAAI,oBAAoB,EAAE,MAAM,uBAAuB,CAAA;AAC5E,OAAO,EACL,YAAY,IAAI,gBAAgB,EAChC,cAAc,IAAI,kBAAkB,EACrC,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EACL,YAAY,IAAI,mBAAmB,EACnC,cAAc,IAAI,qBAAqB,EACxC,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,MAAM,MAAM,sBAAsB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AAGjC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAAkB,EAAE,EAAM,EAAE,aAAqB,EAAE,EAAE,CAC5E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,CAAC;YACJ,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;QAC5D,KAAK,CAAC;YACJ,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,aAAa,CAAC,CAAA;QAC7C,KAAK,CAAC;YACJ,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,aAAa,CAAC,CAAA;IAC/C,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,gBAAgB,GAAG,MAAM,CAAC,SAAS,CACvC,kBAAkB,CAAC,KAAK,CAAC,EACzB,MAAM,CAAC,cAAc,EACrB;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;IACtC,MAAM,EAAE,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;CACvC,CACF,CAAA;AAED;;GAEG;AACH,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CACrC,kBAAkB,CAAC,IAAI,CAAC,EACxB,MAAM,CAAC,UAAU,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,EAC3C;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM;IAC1B,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC;CAC5C,CACF,CAAA;AAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,eAAe,CAC9C,IAAI,CAAC,SAAS,EACd,MAAM,CAAC,MAAM,CAAC;IACZ,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC;IAC3C,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC;CAC3C,CAAC,EACF;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CACb,MAAM,CAAC,GAAG,CACR,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC;QAC7B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAC7B,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC;QACrB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,CAAC;QAC3B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAC9B,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,EAAE,aAAa,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/C,cAAc;QACd,aAAa;KACd,CAAC,CAAC,CACJ;IACH,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CACb,MAAM,CAAC,GAAG,CACR,EAAE,CAAC,cAAc,KAAK,SAAS;QAC7B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC;QAC1C,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,cAAc,CAAC,EACxC,EAAE,CAAC,aAAa,KAAK,SAAS;QAC5B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC;QAC1C,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,aAAa,CAAC,CACxC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,EAAkB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CACzE,CACF,CAAA;AAED,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IACnC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC;IACpC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC;IACvC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACzC,GAAG,EAAE,gBAAgB;IACrB,MAAM,EAAE,cAAc;IACtB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACrC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,yBAAyB,EAAE,IAAI,CAAC,MAAM,CAAC;IACnE,iBAAiB,EAAE,iBAAiB;IACpC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC;IAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;IAC/C,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,qBAAqB,EAAE,IAAI,CAAC,IAAI,CAAC;IACxD,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;CAC1D,CAAC,CAAA;AAIF,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IACnC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACtC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACzC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACzC,GAAG,EAAE,gBAAgB;IACrB,MAAM,EAAE,kBAAkB,CAAC,IAAI,CAAC;IAChC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC;IACrC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,yBAAyB,EAAE,IAAI,CAAC,MAAM,CAAC;IACnE,iBAAiB,EAAE,iBAAiB;IACpC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC;IAC3C,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;IAC/C,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,qBAAqB,EAAE,IAAI,CAAC,IAAI,CAAC;IACxD,MAAM,EAAE,oBAAoB;IAC5B,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO;IACpD,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO;IAClD,qBAAqB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO;IACtD,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO;CACjD,CAAC,CAAA;AAEF,MAAM,SAAU,SAAQ,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,EAGxE;CAAG;AAEN;;GAEG;AACH,MAAM,SAAS,GAAG,MAAM,CAAC,eAAe,CACtC,IAAI,CAAC,IAAI,CAAC;IACR,OAAO,EAAE;QACP,MAAM,EAAE,yBAAyB;KAClC;IACD,QAAQ,EAAE;QACR,GAAG,EAAE,mBAAmB;KACzB;IACD,SAAS,EAAE;QACT,OAAO,EAAE,yBAAyB;KACnC;IACD,UAAU,EAAE;QACV,KAAK,EAAE,iBAAiB;KACzB;CACF,CAAC,EACF,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC3B;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE;QACnB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;IAC5D,CAAC;IACD,MAAM,EAAE,CAAC,QAAkB,EAAE,EAAE,CAC7B,SAAS,CAAC,IAAI,CACZ,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QAChB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,SAAS;gBACZ,OAAO;oBACL,IAAI,EAAE,SAAkB;oBACxB,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;iBAC7D,CAAA;YACH,KAAK,UAAU;gBACb,OAAO;oBACL,IAAI,EAAE,UAAmB;oBACzB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,GAAG;iBAC7C,CAAA;YACH,KAAK,WAAW;gBACd,OAAO;oBACL,IAAI,EAAE,WAAoB;oBAC1B,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;iBAC1D,CAAA;YACH,KAAK,YAAY;gBACf,OAAO;oBACL,IAAI,EAAE,YAAqB;oBAC3B,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;iBAC3C,CAAA;QACL,CAAC;IACH,CAAC,CAAC,CACH;CACJ,CACF,CAAA;AAED;;GAEG;AACH,MAAM,SAAS,GAAG,MAAM,CAAC,eAAe,CACtC,IAAI,CAAC,IAAI,CAAC;IACR,OAAO,EAAE;QACP,MAAM,EAAE,yBAAyB;KAClC;IACD,QAAQ,EAAE;QACR,GAAG,EAAE,qBAAqB;QAC1B,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;KAC9B;IACD,SAAS,EAAE;QACT,OAAO,EAAE,yBAAyB;KACnC;IACD,UAAU,EAAE;QACV,KAAK,EAAE,iBAAiB;KACzB;CACF,CAAC,EACF,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAC3B;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE;QACnB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAA;IAC5D,CAAC;IACD,MAAM,EAAE,CAAC,QAAkB,EAAE,EAAE,CAC7B,SAAS,CAAC,IAAI,CACZ,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QAChB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,SAAS;gBACZ,OAAO;oBACL,IAAI,EAAE,SAAkB;oBACxB,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC;iBAC7D,CAAA;YACH,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,OAAO;oBACL,IAAI,EAAE,UAAmB;oBACzB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,GAAG;oBAC5C,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;iBAChE,CAAA;YACH,CAAC;YACD,KAAK,WAAW;gBACd,OAAO;oBACL,IAAI,EAAE,WAAoB;oBAC1B,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;iBAC1D,CAAA;YACH,KAAK,YAAY;gBACf,OAAO;oBACL,IAAI,EAAE,YAAqB;oBAC3B,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;iBAC3C,CAAA;QACL,CAAC;IACH,CAAC,CAAC,CACH;CACJ,CACF,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,EAAM,EAAE,aAAqB,EAAE,EAAE,CACnD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;IAEtD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAChC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/D,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAA;IAE5C,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAA;IAEvC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS;QAC5B,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG;QAChB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW;QAChC,iBAAiB,EAAE;YACjB,cAAc,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc;YACtC,aAAa,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa;SACrC;QACD,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CACnC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAU,CACzC;QACD,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzD,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE;KAC7B,CAAC,CAAA;IAEF,MAAM,aAAa,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;IAE/D,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,YAAY,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,WAAW;YACd,OAAO;gBACL,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;gBACvB,EAAE,IAAI,EAAE,aAAa,EAAE;aACA,CAAA;QAC3B,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAA;YAEjD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CAAC,4BAA4B,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;YACpE,CAAC;YAED,OAAO;gBACL,EAAE,IAAI,EAAE,KAAK,EAAE;gBACf,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE;gBACvB,EAAE,IAAI,EAAE,aAAa,EAAE;aACA,CAAA;QAC3B,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,GAAG,CAAC,EAAM,EAAE,aAAqB,EAAE,EAAE,CACnD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;IAEtD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAChC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/D,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAA;IAE5C,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAA;IAEvC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS;QAC5B,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG;QAChB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM;QACtB,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW;QAChC,iBAAiB,EAAE;YACjB,cAAc,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc;YACtC,aAAa,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa;SACrC;QACD,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO;QACxB,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CACnC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAU,CACzC;QACD,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzD,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAClB,KAAK,EAAE,EAAE;QACT,kBAAkB,EAAE,EAAE;QACtB,qBAAqB,EAAE,MAAM,CAAC,IAAI,EAAE;QACpC,gBAAgB,EAAE,MAAM,CAAC,IAAI,EAAE;KAChC,CAAC,CAAA;IAEF,OAAO;QACL,EAAE,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE;KAC3C,CAAA;AAC3B,CAAC,CAAC,CAAA"}

package/dist/Cardano/Uplc/Term.js

@@ -0,0 +1,384 @@
+import { Either, Schema } from "effect";
+import * as Flat from "../../Codecs/Flat.js";
+import * as Type from "./Type.js";
+import * as Value from "./Value.js";
+export const SourceSpan = Schema.Struct({
+    file: Schema.String,
+    start: Schema.Struct({
+        line: Schema.Number,
+        column: Schema.Number
+    }),
+    end: Schema.optional(Schema.Struct({
+        line: Schema.Number,
+        column: Schema.Number
+    }))
+});
+const SuspendedTerm = Schema.suspend(() => Term);
+export const Apply = Schema.TaggedStruct("Apply", {
+    fn: SuspendedTerm,
+    arg: SuspendedTerm,
+    sourceSpan: Schema.optional(SourceSpan)
+});
+const Builtin$ = Schema.TaggedStruct("Builtin", {
+    id: Schema.Int, // TODO: also constrain to be positive
+    name: Schema.optional(Schema.String), // though is redundant information, it is much easier to keep track of this here for debugging purposes
+    sourceSpan: Schema.optional(SourceSpan)
+});
+export { Builtin$ as Builtin };
+export const Case = Schema.TaggedStruct("Case", {
+    arg: SuspendedTerm,
+    cases: Schema.Array(SuspendedTerm),
+    sourceSpan: Schema.optional(SourceSpan)
+});
+export const Const = Schema.TaggedStruct("Const", {
+    value: Value.Value,
+    name: Schema.optional(Schema.String),
+    sourceSpan: Schema.optional(SourceSpan)
+});
+export const Constr = Schema.TaggedStruct("Constr", {
+    tag: Schema.Int,
+    args: Schema.Array(SuspendedTerm),
+    sourceSpan: Schema.optional(SourceSpan)
+});
+export const Delay = Schema.TaggedStruct("Delay", {
+    arg: SuspendedTerm,
+    sourceSpan: Schema.optional(SourceSpan)
+});
+const Error$ = Schema.TaggedStruct("Error", {
+    sourceSpan: Schema.optional(SourceSpan)
+});
+export { Error$ as Error };
+export const Force = Schema.TaggedStruct("Force", {
+    arg: SuspendedTerm,
+    sourceSpan: Schema.optional(SourceSpan)
+});
+export const Lambda = Schema.TaggedStruct("Lambda", {
+    body: SuspendedTerm,
+    argName: Schema.optional(Schema.String),
+    sourceSpan: Schema.optional(SourceSpan),
+    name: Schema.optional(Schema.String)
+});
+export const Var = Schema.TaggedStruct("Var", {
+    index: Schema.Int, // TODO: also constrain to be positive?
+    name: Schema.optional(Schema.String),
+    sourceSpan: Schema.optional(SourceSpan)
+});
+export const Term = Schema.Union(Apply, Builtin$, Case, Const, Constr, Delay, Error$, Force, Lambda, Var);
+/**
+ * Simple recursive algorithm that calculates the number of bits of the flat encoded term
+ * @param term
+ * @returns
+ */
+export function flatSize(term) {
+    switch (term._tag) {
+        case "Apply":
+            return 4 + flatSize(term.fn) + flatSize(term.arg);
+        case "Builtin":
+            return 4 + 7;
+        case "Case":
+            return 4 + flatSize(term.arg) + Flat.listSize(term.cases, flatSize);
+        case "Const":
+            return 4 + Value.flatSize(term.value);
+        case "Constr":
+            return (4 + Flat.intSize(term.tag, false) + Flat.listSize(term.args, flatSize));
+        case "Delay":
+            return 4 + flatSize(term.arg);
+        case "Error":
+            return 4;
+        case "Force":
+            return 4 + flatSize(term.arg);
+        case "Lambda":
+            return 4 + flatSize(term.body);
+        case "Var":
+            return 4 + Flat.intSize(term.index, false);
+    }
+}
+const ApplyTag = 3;
+const BuiltinTag = 7;
+const CaseTag = 9;
+const ConstTag = 4;
+const ConstrTag = 8;
+const DelayTag = 1;
+const ErrorTag = 6;
+const ForceTag = 5;
+const LambdaTag = 2;
+const VarTag = 0;
+export function flatTag(term) {
+    switch (term._tag) {
+        case "Apply":
+            return ApplyTag;
+        case "Builtin":
+            return BuiltinTag;
+        case "Case":
+            return CaseTag;
+        case "Const":
+            return ConstTag;
+        case "Constr":
+            return ConstrTag;
+        case "Delay":
+            return DelayTag;
+        case "Error":
+            return ErrorTag;
+        case "Force":
+            return ForceTag;
+        case "Lambda":
+            return LambdaTag;
+        case "Var":
+            return VarTag;
+    }
+}
+/**
+ * Reads a single Term using stack-based algorithm for its children
+ * @param param0
+ * @returns
+ */
+export const decode = ({ builtinName }) => (r) => {
+    /**
+     * Undefined -> decoding
+     * Defined -> collecting
+     */
+    let term = undefined;
+    const collect = [];
+    while (!term || collect.length > 0) {
+        if (!term) {
+            const tag = r.readTag();
+            switch (tag) {
+                case VarTag:
+                    term = { _tag: "Var", index: Number(r.readInt()) };
+                    break;
+                case DelayTag:
+                    collect.push({ kind: "delay" });
+                    break;
+                case LambdaTag:
+                    collect.push({ kind: "lambda" });
+                    break;
+                case ApplyTag:
+                    collect.push({ kind: "applyfn" });
+                    break;
+                case ConstTag:
+                    {
+                        const value = Value.decode(r);
+                        if (Either.isLeft(value)) {
+                            return Either.left(value.left);
+                        }
+                        term = { _tag: "Const", value: value.right };
+                    }
+                    break;
+                case ForceTag:
+                    collect.push({ kind: "force" });
+                    break;
+                case ErrorTag:
+                    term = { _tag: "Error" };
+                    break;
+                case BuiltinTag:
+                    {
+                        const id = r.readBuiltinId();
+                        term = { _tag: "Builtin", id, name: builtinName?.(id) };
+                    }
+                    break;
+                case ConstrTag:
+                    {
+                        const constrTag = Number(r.readInt());
+                        const nilOrCons = r.readBits(1);
+                        if (nilOrCons == 0) {
+                            term = { _tag: "Constr", tag: constrTag, args: [] };
+                        }
+                        else {
+                            collect.push({
+                                kind: "constr",
+                                tag: constrTag,
+                                args: []
+                            });
+                        }
+                    }
+                    break;
+                case CaseTag:
+                    collect.push({ kind: "casearg" });
+                    break;
+                default:
+                    return Either.left(new Error("term tag " + tag.toString() + " unhandled"));
+            }
+        }
+        else {
+            const c = collect.pop();
+            if (!c) {
+                return Either.left(new Error("Term decoding failed, collect is empty"));
+            }
+            switch (c.kind) {
+                case "apply":
+                    term = { _tag: "Apply", fn: c.fn, arg: term };
+                    break;
+                case "applyfn":
+                    collect.push({ kind: "apply", fn: term });
+                    term = undefined;
+                    break;
+                case "case":
+                    {
+                        const cases = c.cases.concat([term]);
+                        const nilOrCons = r.readBits(1);
+                        if (nilOrCons == 0) {
+                            term = { _tag: "Case", arg: c.arg, cases };
+                        }
+                        else {
+                            collect.push({ ...c, cases });
+                            term = undefined;
+                        }
+                    }
+                    break;
+                case "casearg":
+                    {
+                        const nilOrCons = r.readBits(1);
+                        if (nilOrCons == 0) {
+                            term = { _tag: "Case", arg: term, cases: [] };
+                        }
+                        else {
+                            collect.push({ kind: "case", arg: term, cases: [] });
+                            term = undefined;
+                        }
+                    }
+                    break;
+                case "constr":
+                    {
+                        const args = c.args.concat([term]);
+                        const nilOrCons = r.readBits(1);
+                        if (nilOrCons == 0) {
+                            term = { _tag: "Constr", tag: c.tag, args };
+                        }
+                        else {
+                            collect.push({ ...c, args });
+                            term = undefined;
+                        }
+                    }
+                    break;
+                case "delay":
+                    term = { _tag: "Delay", arg: term };
+                    break;
+                case "force":
+                    term = { _tag: "Force", arg: term };
+                    break;
+                case "lambda":
+                    term = { _tag: "Lambda", body: term };
+                    break;
+            }
+        }
+    }
+    if (term === undefined) {
+        return Either.left(new Error("term decoding failed"));
+    }
+    return Either.right(term);
+};
+/**
+ * Mutates the Flat.Writer
+ * @param w
+ */
+export const encode = (w) => (term) => {
+    const pending = [
+        {
+            kind: "notInList",
+            term
+        }
+    ];
+    let action = pending.pop();
+    while (action) {
+        if (action.kind == "listItem" || action.kind == "notInList") {
+            if (action.kind == "listItem") {
+                w.writeListCons();
+            }
+            const t = action.term;
+            switch (t._tag) {
+                case "Builtin":
+                    w.writeTermTag(BuiltinTag);
+                    w.writeBuiltinId(t.id);
+                    break;
+                case "Apply":
+                    w.writeTermTag(ApplyTag);
+                    pending.push({ kind: "notInList", term: t.arg });
+                    pending.push({ kind: "notInList", term: t.fn });
+                    break;
+                case "Case":
+                    w.writeTermTag(CaseTag);
+                    pending.push({ kind: "listEnd" });
+                    for (let i = t.cases.length - 1; i >= 0; i--) {
+                        pending.push({ kind: "listItem", term: t.cases[i] });
+                    }
+                    pending.push({ kind: "notInList", term: t.arg });
+                    break;
+                case "Const":
+                    if (t.value !== null &&
+                        typeof t.value == "object" &&
+                        ("g1Element" in t.value ||
+                            "g2Element" in t.value ||
+                            "mlResult" in t.value)) {
+                        throw new Error("not yet implemented");
+                    }
+                    else {
+                        w.writeTermTag(ConstTag);
+                        w.writeTypeBits(Value.toType(t.value));
+                        Value.toFlat(w)(t.value);
+                    }
+                    break;
+                case "Constr":
+                    w.writeTermTag(ConstrTag);
+                    w.writeInt(t.tag);
+                    pending.push({ kind: "listEnd" });
+                    for (let i = t.args.length - 1; i >= 0; i--) {
+                        pending.push({ kind: "listItem", term: t.args[i] });
+                    }
+                    break;
+                case "Delay":
+                    w.writeTermTag(DelayTag);
+                    pending.push({ kind: "notInList", term: t.arg });
+                    break;
+                case "Error":
+                    w.writeTermTag(ErrorTag);
+                    break;
+                case "Force":
+                    w.writeTermTag(ForceTag);
+                    pending.push({ kind: "notInList", term: t.arg });
+                    break;
+                case "Lambda":
+                    w.writeTermTag(LambdaTag);
+                    pending.push({ kind: "notInList", term: t.body });
+                    break;
+                case "Var":
+                    w.writeTermTag(VarTag);
+                    w.writeInt(BigInt(t.index));
+                    break;
+            }
+        }
+        else {
+            w.writeListNil();
+        }
+        action = pending.pop();
+    }
+};
+/**
+ * Simple recursive algorithm the generates the textual UPLC representation
+ * @param term
+ * @returns
+ */
+export function toString(term) {
+    switch (term._tag) {
+        case "Apply":
+            return `[${toString(term.fn)} ${toString(term.arg)}]`;
+        case "Builtin":
+            return `(builtin ${term.id.toString()})`;
+        case "Case":
+            return `(case (${toString(term.arg)}) ${term.cases.map((c) => `(${toString(c)})`).join(" ")})`;
+        case "Const":
+            return `(con ${Type.toString(Value.toType(term.value))} ${Value.toString(term.value)})`;
+        case "Constr":
+            return `(constr ${term.tag} ${term.args.map(toString).join(" ")})`;
+        case "Delay":
+            return `(delay ${toString(term.arg)})`;
+        case "Error":
+            return "(error)";
+        case "Force":
+            return `(force ${toString(term.arg)})`;
+        case "Lambda":
+            return `(lam ${term.argName !== undefined ? `${term.argName} ` : ""}${toString(term.body)})`;
+        case "Var":
+            return term.name ?? `x${term.index}`;
+    }
+}
+//# sourceMappingURL=Term.js.map