@helios-lang/effect 0.1.14 → 0.2.0

package/types/Cardano/TxBuilder.d.ts

@@ -0,0 +1,261 @@
+import { Context, Effect } from "effect";
+import { Address, AssetClass, Assets, Credential, DatumHash, DCert, MintingPolicy, NativeScript, PubKeyHash, RewardAddress, Tx, TxOutput, UTxO, UTxORef, ValidatorHash } from "./Ledger";
+import * as Uplc from "./Uplc";
+/**
+ * It is difficult to give RedeemerBuilder access to the whole Tx including to Tx.Witnesses, because this leads to circular dependencies
+ */
+export type RedeemerBuilder = (tx: Tx.Tx) => Uplc.Data.Data;
+declare const UTxOAlreadyAdded_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.TxBuilder.UTxOAlreadyAdded";
+} & Readonly<A>;
+export declare class UTxOAlreadyAdded extends UTxOAlreadyAdded_base<{
+    message: string;
+    ref: UTxORef.UTxORef;
+}> {
+    constructor(ref: UTxORef.UTxORef);
+}
+declare const MissingDatum_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.TxBuilder.MissingDatum";
+} & Readonly<A>;
+export declare class MissingDatum extends MissingDatum_base<{
+    message: string;
+}> {
+    constructor();
+}
+declare const MissingRedeemer_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.TxBuilder.MissingRedeemer";
+} & Readonly<A>;
+export declare class MissingRedeemer extends MissingRedeemer_base<{
+    message: string;
+}> {
+    constructor();
+}
+declare const RedundantRedeemer_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.TxBuilder.RedundantRedeemer";
+} & Readonly<A>;
+export declare class RedundantRedeemer extends RedundantRedeemer_base<{
+    message: string;
+}> {
+    constructor();
+}
+declare const RedeemerAlreadyAdded_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.TxBuilder.RedeemerAlreadyAdded";
+} & Readonly<A>;
+export declare class RedeemerAlreadyAdded extends RedeemerAlreadyAdded_base<{
+    message: string;
+}> {
+    constructor();
+}
+declare const MissingScript_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.TxBuilder.MissingScript";
+} & Readonly<A>;
+export declare class MissingScript extends MissingScript_base<{
+    message: string;
+}> {
+    constructor(hash: ValidatorHash.ValidatorHash);
+}
+declare const DatumNotFound_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.TxBuilder.DatumNotFound";
+} & Readonly<A>;
+export declare class DatumNotFound extends DatumNotFound_base<{
+    message: string;
+}> {
+    constructor(hash: DatumHash.DatumHash, cause?: string);
+}
+declare const ColleteralNotAvailable_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Cardano.TxBuilder.CollateralNotAvailable";
+} & Readonly<A>;
+export declare class ColleteralNotAvailable extends ColleteralNotAvailable_base<{
+    message: string;
+}> {
+    constructor();
+}
+declare const GetDatum_base: Context.TagClass<GetDatum, "Cardano.TxBuilder.GetDatum", (datumHash: DatumHash.DatumHash) => Effect.Effect<Uplc.Data.Data, DatumNotFound>>;
+export declare class GetDatum extends GetDatum_base {
+}
+type MintingRedeemerInfo = {
+    readonly policy: MintingPolicy.MintingPolicy;
+    readonly redeemer: Uplc.Data.Data | RedeemerBuilder;
+};
+type SpendingRedeemerInfo = {
+    readonly utxo: UTxO.UTxO;
+    readonly redeemer: Uplc.Data.Data | RedeemerBuilder;
+};
+type RewardingRedeemerInfo = {
+    readonly addr: RewardAddress.RewardAddress;
+    readonly redeemer: Uplc.Data.Data | RedeemerBuilder;
+};
+type CertifyingRedeemerInfo = {
+    readonly dcert: DCert.DCert;
+    readonly redeemer: Uplc.Data.Data | RedeemerBuilder;
+};
+export interface TxBuilder {
+    readonly datums: readonly Uplc.Data.Data[];
+    readonly dcerts: readonly DCert.DCert[];
+    readonly inputs: readonly UTxO.UTxO[];
+    readonly refInputs: readonly UTxO.UTxO[];
+    readonly metadata: Tx.Metadata;
+    readonly minted: Assets.Assets;
+    readonly outputs: readonly TxOutput.TxOutput[];
+    readonly mintingRedeemers: readonly MintingRedeemerInfo[];
+    readonly spendingRedeemers: readonly SpendingRedeemerInfo[];
+    readonly rewardingRedeemers: readonly RewardingRedeemerInfo[];
+    readonly certifyingRedeemers: readonly CertifyingRedeemerInfo[];
+    readonly nativeScripts: readonly {
+        readonly script: NativeScript.NativeScript;
+        readonly hash: ValidatorHash.ValidatorHash;
+    }[];
+    readonly v1Scripts: readonly {
+        readonly script: Uplc.Script.Script<1>;
+        readonly hash: ValidatorHash.ValidatorHash;
+    }[];
+    readonly v2Scripts: readonly {
+        readonly script: Uplc.Script.Script<2>;
+        readonly hash: ValidatorHash.ValidatorHash;
+    }[];
+    readonly v3Scripts: readonly {
+        readonly script: Uplc.Script.Script<3>;
+        readonly hash: ValidatorHash.ValidatorHash;
+    }[];
+    readonly v2RefScripts: readonly {
+        readonly script: Uplc.Script.Script<2>;
+        readonly hash: ValidatorHash.ValidatorHash;
+    }[];
+    readonly v3RefScripts: readonly {
+        readonly script: Uplc.Script.Script<3>;
+        readonly hash: ValidatorHash.ValidatorHash;
+    }[];
+    readonly signers: readonly PubKeyHash.PubKeyHash[];
+    readonly validFrom: {
+        readonly slot: number;
+    } | {
+        readonly time: number;
+    } | undefined;
+    readonly validTo: {
+        readonly slot: number;
+    } | {
+        readonly time: number;
+    } | undefined;
+    readonly withdrawals: readonly {
+        readonly address: RewardAddress.RewardAddress;
+        readonly lovelace: bigint;
+    }[];
+}
+export declare const start: Effect.Effect<TxBuilder, never, never>;
+/**
+ * Automatically discards duplicates
+ */
+export declare const attachScript: (script: NativeScript.NativeScript | Uplc.Script.Script) => (b: TxBuilder) => TxBuilder;
+export declare const attachScriptEffect: (script: NativeScript.NativeScript | Uplc.Script.Script) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
+export declare const delegate: (credential: Credential.Credential, poolId: PubKeyHash.PubKeyHash, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript, never>;
+export declare const delegateEffect: (credential: Credential.Credential, poolId: PubKeyHash.PubKeyHash, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | E, R>;
+export declare const deregister: (credential: Credential.Credential, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript, never>;
+export declare const deregisterEffect: (credential: Credential.Credential, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | E, R>;
+export declare const metadata: (mdata: Tx.Metadata) => (b: TxBuilder) => TxBuilder;
+export declare const metadataEffect: (mdata: Tx.Metadata) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
+/**
+ * Filters out ADA
+ * Entries in assets can be negative for burning
+ */
+export declare const mint: (assets: Assets.Assets, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | MissingScript, never>;
+export declare const mintEffect: (assets: Assets.Assets, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | MissingScript | E, R>;
+export declare const pay: (...outputs: TxOutput.TxOutput[]) => (b: TxBuilder) => Effect.Effect<TxBuilder, Assets.SomeNonPositive, never>;
+export declare const payEffect: (...outputs: TxOutput.TxOutput[]) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | E, R>;
+export declare const refer: (...utxos: UTxO.UTxO[]) => (b: TxBuilder) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded, never>;
+export declare const referEffect: (...utxos: UTxO.UTxO[]) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded | E, R>;
+export declare const register: (credential: Credential.Credential) => (b: TxBuilder) => TxBuilder;
+export declare const registerEffect: (credential: Credential.Credential) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
+export declare const sign: (...signers: PubKeyHash.PubKeyHash[]) => (b: TxBuilder) => TxBuilder;
+export declare const signEffect: (...signers: PubKeyHash.PubKeyHash[]) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
+export declare const spend: (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound, GetDatum>;
+export declare const spendEffect: (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound | E, GetDatum | R>;
+export declare const validFromSlot: (slot: number) => (b: TxBuilder) => TxBuilder;
+export declare const validFromSlotEffect: (slot: number) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
+/**
+ * @param time
+ * Milliseconds since 1970
+ */
+export declare const validFromTime: (time: number) => (b: TxBuilder) => TxBuilder;
+export declare const validFromTimeEffect: (time: number) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
+export declare const validToSlot: (slot: number) => (b: TxBuilder) => TxBuilder;
+export declare const validToSlotEffect: (slot: number) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
+/**
+ * @param time
+ * Milliseconds since 1970
+ */
+export declare const validToTime: (time: number) => (b: TxBuilder) => TxBuilder;
+export declare const validToTimeEffect: (time: number) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
+export declare const withdraw: (rewardAddress: RewardAddress.RewardAddress, lovelace: bigint | number, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, RedeemerAlreadyAdded, never>;
+export declare const withdrawEffect: (rewardAddress: RewardAddress.RewardAddress, lovelace: bigint | number, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, RedeemerAlreadyAdded | E, R>;
+export interface BuildConfig {
+    /**
+     * Change outputs resulting from the balancing are sent to this address
+     */
+    changeAddress: Address.Address;
+    /**
+     * Additional UTxOs that can be used to balance the transaction
+     */
+    spareUTxOs?: readonly UTxO.UTxO[] | undefined;
+    /**
+     * Defaults to the largest number of assets in one of the inputs
+     *
+     * TODO: actually use this option
+     */
+    maxAssetsPerChangeOutput?: number | undefined;
+    /**
+     * Defaults to false, ensuring the change output created during lovelace balancing doesn't contain assets.
+     *
+     * TODO: actually use this option
+     */
+    allowDirtyChangeOutput?: boolean | undefined;
+    /**
+     * Defaults to `allowDirtyChangeOutput`. If `true` -> allows selecting dirty UTXOs (i.e. containing non-lovelace assets) during lovelace balancing.
+     * If this is set explicitly to `true` and combined with `allowDirtyChangeOutput == false`, two change outputs might be created during lovelace balancing:
+     *   - one containing only lovelace
+     *   - another containing the assets that were selected during balancing, and some lovelace as a deposit
+     *
+     * TODO: actually use this option
+     */
+    allowDirtySpareInputs?: boolean | undefined;
+    logger?: Uplc.Cek.Logger | undefined;
+    /**
+     * Optional babel fee settings, using additional UTxOs containing pure lovelace to balance a transaction and pay for fees and min-deposit.
+     * The primary tx building agent pays the difference using another asset class at a predetermined price.
+     *
+     * TODO: actually use this option
+     */
+    babelFeeOptions?: BabelFeeOptions | undefined;
+    /**
+     * Optional encoding config for Tx.Body
+     */
+    bodyEncoding?: Tx.BodyEncoding | undefined;
+    /**
+     * Optional encoding config for Tx.Witnesses
+     */
+    witnessesEncoding?: Tx.WitnessesEncoding | undefined;
+}
+export interface BabelFeeOptions {
+    /**
+     * Address of the Babel fee agent. The assetclass tokens and any spare lovelace are returned to this address.
+     */
+    readonly address: Address.Address;
+    /**
+     * UTxOs containing only ADA, which can be used to pay for network fees and min-deposit, and can be used as collateral
+     */
+    readonly utxos: readonly UTxO.UTxO[];
+    /**
+     * Price in lovelace per AssetClass (doesn't take into account decimal places)
+     */
+    readonly price: number;
+    /**
+     * Minimum number of AssetClass tokens per returned babel fee utxo.
+     */
+    readonly minimum: bigint;
+    /**
+     * AssetClass which can be swapped out of lovelace.
+     */
+    readonly assetClass: AssetClass.AssetClass;
+}
+export declare const build: (config: BuildConfig) => (b: TxBuilder) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError, unknown>;
+export {};
+//# sourceMappingURL=TxBuilder.d.ts.map

package/types/Cardano/TxBuilder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TxBuilder.d.ts","sourceRoot":"","sources":["../../src/Cardano/TxBuilder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,OAAO,EAAQ,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvD,OAAO,EACL,OAAO,EACP,UAAU,EACV,MAAM,EACN,UAAU,EACV,SAAS,EACT,KAAK,EACL,aAAa,EACb,YAAY,EACZ,UAAU,EAEV,aAAa,EACb,EAAE,EACF,QAAQ,EACR,IAAI,EACJ,OAAO,EACP,aAAa,EACd,MAAM,UAAU,CAAA;AAEjB,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAA;AAE9B;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;;;;AAE3D,qBAAa,gBAAiB,SAAQ,sBAEpC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAC,OAAO,CAAA;CAAE,CAAC;gBAC9B,GAAG,EAAE,OAAO,CAAC,OAAO;CAGjC;;;;AAED,qBAAa,YAAa,SAAQ,kBAEhC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;;CAIrB;;;;AAED,qBAAa,eAAgB,SAAQ,qBAEnC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;;CAIrB;;;;AAED,qBAAa,iBAAkB,SAAQ,uBAErC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;;CAMrB;;;;AAED,qBAAa,oBAAqB,SAAQ,0BAExC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;;CAIrB;;;;AAED,qBAAa,aAAc,SAAQ,mBAEjC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;gBACR,IAAI,EAAE,aAAa,CAAC,aAAa;CAG9C;;;;AAED,qBAAa,aAAc,SAAQ,mBAEjC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;gBACR,IAAI,EAAE,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,MAAM;CAGtD;;;;AAED,qBAAa,sBAAuB,SAAQ,4BAE1C;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;;CAMrB;kGAKc,SAAS,CAAC,SAAS,KAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC;AAJnD,qBAAa,QAAS,SAAQ,aAK3B;CAAG;AAWN,KAAK,mBAAmB,GAAG;IACzB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,aAAa,CAAA;IAC5C,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,eAAe,CAAA;CACpD,CAAA;AAED,KAAK,oBAAoB,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,eAAe,CAAA;CACpD,CAAA;AAED,KAAK,qBAAqB,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,aAAa,CAAA;IAC1C,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,eAAe,CAAA;CACpD,CAAA;AAED,KAAK,sBAAsB,GAAG;IAC5B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,eAAe,CAAA;CACpD,CAAA;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;IAC1C,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,CAAC,KAAK,EAAE,CAAA;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAA;IACrC,QAAQ,CAAC,SAAS,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAA;IACxC,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAA;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAA;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,CAAC,QAAQ,EAAE,CAAA;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,mBAAmB,EAAE,CAAA;IACzD,QAAQ,CAAC,iBAAiB,EAAE,SAAS,oBAAoB,EAAE,CAAA;IAC3D,QAAQ,CAAC,kBAAkB,EAAE,SAAS,qBAAqB,EAAE,CAAA;IAC7D,QAAQ,CAAC,mBAAmB,EAAE,SAAS,sBAAsB,EAAE,CAAA;IAC/D,QAAQ,CAAC,aAAa,EAAE,SAAS;QAC/B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC,YAAY,CAAA;QAC1C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,aAAa,CAAA;KAC3C,EAAE,CAAA;IACH,QAAQ,CAAC,SAAS,EAAE,SAAS;QAC3B,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,aAAa,CAAA;KAC3C,EAAE,CAAA;IACH,QAAQ,CAAC,SAAS,EAAE,SAAS;QAC3B,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,aAAa,CAAA;KAC3C,EAAE,CAAA;IACH,QAAQ,CAAC,SAAS,EAAE,SAAS;QAC3B,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,aAAa,CAAA;KAC3C,EAAE,CAAA;IACH,QAAQ,CAAC,YAAY,EAAE,SAAS;QAC9B,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,aAAa,CAAA;KAC3C,EAAE,CAAA;IACH,QAAQ,CAAC,YAAY,EAAE,SAAS;QAC9B,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACtC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,aAAa,CAAA;KAC3C,EAAE,CAAA;IACH,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,CAAC,UAAU,EAAE,CAAA;IAClD,QAAQ,CAAC,SAAS,EACd;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,GACzB;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,GACzB,SAAS,CAAA;IACb,QAAQ,CAAC,OAAO,EACZ;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,GACzB;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,GACzB,SAAS,CAAA;IACb,QAAQ,CAAC,WAAW,EAAE,SAAS;QAC7B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAA;QAC7C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;KAC1B,EAAE,CAAA;CACJ;AA0BD,eAAO,MAAM,KAAK,wCAAwB,CAAA;AAE1C;;GAEG;AACH,eAAO,MAAM,YAAY,GACtB,QAAQ,YAAY,CAAC,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,MACtD,GAAG,SAAS,cA0BZ,CAAA;AAEH,eAAO,MAAM,kBAAkB,GAC7B,QAAQ,YAAY,CAAC,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,mFACnB,CAAA;AAErC,eAAO,MAAM,QAAQ,GAEjB,YAAY,UAAU,CAAC,UAAU,EACjC,QAAQ,UAAU,CAAC,UAAU,EAC7B,WAAU,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,eAAe,GAAG,SAAqB,MAEnE,GAAG,SAAS,gHA+BT,CAAA;AAEN,eAAO,MAAM,cAAc,GACzB,YAAY,UAAU,CAAC,UAAU,EACjC,QAAQ,UAAU,CAAC,UAAU,EAC7B,WAAU,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,eAAe,GAAG,SAAqB,gKACT,CAAA;AAE3D,eAAO,MAAM,UAAU,GAEnB,YAAY,UAAU,CAAC,UAAU,EACjC,WAAU,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,eAAe,GAAG,SAAqB,MAEnE,GAAG,SAAS,gHA8BT,CAAA;AAEN,eAAO,MAAM,gBAAgB,GAC3B,YAAY,UAAU,CAAC,UAAU,EACjC,WAAU,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,eAAe,GAAG,SAAqB,gKACf,CAAA;AAErD,eAAO,MAAM,QAAQ,GAClB,OAAO,EAAE,CAAC,QAAQ,MAClB,GAAG,SAAS,KAAG,SAQf,CAAA;AAEH,eAAO,MAAM,cAAc,GAAI,OAAO,EAAE,CAAC,QAAQ,mFACpB,CAAA;AAE7B;;;GAGG;AACH,eAAO,MAAM,IAAI,GAEb,QAAQ,MAAM,CAAC,MAAM,EACrB,WAAU,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,eAAe,GAAG,SAAqB,MAEnE,GAAG,SAAS,yFA+BT,CAAA;AAEN,eAAO,MAAM,UAAU,GACrB,QAAQ,MAAM,CAAC,MAAM,EACrB,WAAU,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,eAAe,GAAG,SAAqB,yIACzB,CAAA;AAE3C,eAAO,MAAM,GAAG,GACb,GAAG,SAAS,QAAQ,CAAC,QAAQ,EAAE,MAC/B,GAAG,SAAS,4DAOT,CAAA;AAEN,eAAO,MAAM,SAAS,GAAI,GAAG,SAAS,QAAQ,CAAC,QAAQ,EAAE,4GACxB,CAAA;AAEjC,eAAO,MAAM,KAAK,GACf,GAAG,OAAO,IAAI,CAAC,IAAI,EAAE,MACrB,GAAG,SAAS,+EAkBT,CAAA;AAEN,eAAO,MAAM,WAAW,GAAI,GAAG,OAAO,IAAI,CAAC,IAAI,EAAE,+HAChB,CAAA;AAEjC,eAAO,MAAM,QAAQ,GAClB,YAAY,UAAU,CAAC,UAAU,MAAM,GAAG,SAAS,cAOnD,CAAA;AAEH,eAAO,MAAM,cAAc,GAAI,YAAY,UAAU,CAAC,UAAU,mFAC9B,CAAA;AAElC,eAAO,MAAM,IAAI,GACd,GAAG,SAAS,UAAU,CAAC,UAAU,EAAE,MACnC,GAAG,SAAS,cAMZ,CAAA;AAEH,eAAO,MAAM,UAAU,GAAI,GAAG,SAAS,UAAU,CAAC,UAAU,EAAE,mFAChC,CAAA;AAE9B,eAAO,MAAM,KAAK,GAEd,OAAO,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,EAC9B,WAAU,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,eAAe,GAAG,SAAqB,MAEnE,GAAG,SAAS,8LAuCT,CAAA;AAEN,eAAO,MAAM,WAAW,GACtB,OAAO,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,EAC9B,WAAU,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,eAAe,GAAG,SAAqB,sPACzB,CAAA;AAE3C,eAAO,MAAM,aAAa,GACvB,MAAM,MAAM,MACZ,GAAG,SAAS,KAAG,SAQf,CAAA;AAEH,eAAO,MAAM,mBAAmB,GAAI,MAAM,MAAM,mFACf,CAAA;AAEjC;;;GAGG;AACH,eAAO,MAAM,aAAa,GACvB,MAAM,MAAM,MACZ,GAAG,SAAS,KAAG,SAQf,CAAA;AAEH,eAAO,MAAM,mBAAmB,GAAI,MAAM,MAAM,mFACf,CAAA;AAEjC,eAAO,MAAM,WAAW,GACrB,MAAM,MAAM,MACZ,GAAG,SAAS,KAAG,SAQf,CAAA;AAEH,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,mFAAkC,CAAA;AAEhF;;;GAGG;AACH,eAAO,MAAM,WAAW,GACrB,MAAM,MAAM,MACZ,GAAG,SAAS,KAAG,SAQf,CAAA;AAEH,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,mFAAkC,CAAA;AAEhF,eAAO,MAAM,QAAQ,GAEjB,eAAe,aAAa,CAAC,aAAa,EAC1C,UAAU,MAAM,GAAG,MAAM,EACzB,WAAU,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,eAAe,GAAG,SAAqB,MAEnE,GAAG,SAAS,0DAoCT,CAAA;AAEN,eAAO,MAAM,cAAc,GACzB,eAAe,aAAa,CAAC,aAAa,EAC1C,UAAU,MAAM,GAAG,MAAM,EACzB,WAAU,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,eAAe,GAAG,SAAqB,0GACJ,CAAA;AAyYhE,MAAM,WAAW,WAAW;IAC1B;;OAEG;IACH,aAAa,EAAE,OAAO,CAAC,OAAO,CAAA;IAE9B;;OAEG;IACH,UAAU,CAAC,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,GAAG,SAAS,CAAA;IAE7C;;;;OAIG;IACH,wBAAwB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAE7C;;;;OAIG;IACH,sBAAsB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAE5C;;;;;;;OAOG;IACH,qBAAqB,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAE3C,MAAM,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,SAAS,CAAA;IAEpC;;;;;OAKG;IACH,eAAe,CAAC,EAAE,eAAe,GAAG,SAAS,CAAA;IAE7C;;OAEG;IACH,YAAY,CAAC,EAAE,EAAE,CAAC,YAAY,GAAG,SAAS,CAAA;IAE1C;;OAEG;IACH,iBAAiB,CAAC,EAAE,EAAE,CAAC,iBAAiB,GAAG,SAAS,CAAA;CACrD;AAED,MAAM,WAAW,eAAe;IAC9B;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAA;IAEjC;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,EAAE,CAAA;IAEpC;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IAEtB;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IAExB;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC,UAAU,CAAA;CAC3C;AAMD,eAAO,MAAM,KAAK,GAAI,QAAQ,WAAW,MAAM,GAAG,SAAS,mFA8FN,CAAA"}

package/types/Cardano/Uplc/Builtins.d.ts

@@ -0,0 +1,163 @@
+import { Either, Encoding } from "effect";
+import type { MachineContext, Value as CekValue } from "./Cek.js";
+import * as Cost from "./Cost.js";
+declare const WrongArgType_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Uplc.Builtins.WrongArgType";
+} & Readonly<A>;
+export declare class WrongArgType extends WrongArgType_base<{
+    message: string;
+}> {
+    constructor(argIndex: number, expected: string, actual: string);
+}
+declare const DivisionByZero_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Uplc.Builtins.DivisionByZero";
+} & Readonly<A>;
+export declare class DivisionByZero extends DivisionByZero_base<{
+    message: string;
+}> {
+    constructor(fnName: string);
+}
+declare const OutOfRange_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Uplc.Builtins.OutOfRange";
+} & Readonly<A>;
+export declare class OutOfRange extends OutOfRange_base<{
+    message: string;
+}> {
+    constructor(containerSize: number, index: number);
+}
+declare const InvalidLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+    readonly _tag: "Uplc.Builtin.InvalidLength";
+} & Readonly<A>;
+export declare class InvalidLength extends InvalidLength_base<{
+    message: string;
+}> {
+    constructor(fnName: string, argName: string, expected: number, actual: number);
+}
+export type Builtin = {
+    name: string;
+    cpuModel: Cost.Function;
+    memModel: Cost.Function;
+    forceCount: number;
+    nArgs: number;
+    call(args: CekValue[], ctx: MachineContext): Either.Either<CekValue, WrongArgType | DivisionByZero | OutOfRange | InvalidLength | Encoding.DecodeException>;
+};
+export declare const addIntegerV1: Builtin;
+export declare const subtractIntegerV1: Builtin;
+export declare const subtractIntegerV2: Builtin;
+export declare const subtractIntegerV3: Builtin;
+export declare const multiplyIntegerV1: Builtin;
+export declare const multiplyIntegerV2: Builtin;
+export declare const multiplyIntegerV3: Builtin;
+export declare const divideIntegerV1: Builtin;
+export declare function evalDivide(x: bigint, y: bigint): Either.Either<bigint, DivisionByZero>;
+export declare const divideIntegerV3: Builtin;
+export declare const quotientIntegerV1: Builtin;
+export declare function evalQuotient(x: bigint, y: bigint): Either.Either<bigint, DivisionByZero>;
+export declare const quotientIntegerV3: Builtin;
+export declare const remainderIntegerV1: Builtin;
+export declare function evalRemainder(x: bigint, y: bigint): Either.Either<bigint, DivisionByZero>;
+export declare const remainderIntegerV3: Builtin;
+export declare const modIntegerV1: Builtin;
+export declare function evalMod(x: bigint, y: bigint): Either.Either<bigint, DivisionByZero>;
+export declare const modIntegerV3: Builtin;
+export declare const equalsIntegerV1: Builtin;
+export declare const equalsIntegerV3: Builtin;
+export declare const lessThanIntegerV1: Builtin;
+export declare const lessThanIntegerV3: Builtin;
+export declare const lessThanEqualsIntegerV1: Builtin;
+export declare const lessThanEqualsIntegerV3: Builtin;
+export declare const appendByteStringV1: Builtin;
+export declare const consByteStringV1: Builtin;
+export declare const sliceByteStringV1: Builtin;
+export declare const sliceByteStringV2: Builtin;
+export declare const sliceByteStringV3: Builtin;
+export declare const lengthOfByteStringV1: Builtin;
+export declare const lengthOfByteStringV3: Builtin;
+export declare const indexByteStringV1: Builtin;
+export declare const indexByteStringV3: Builtin;
+export declare const equalsByteStringV1: Builtin;
+export declare const equalsByteStringV3: Builtin;
+export declare const lessThanByteStringV1: Builtin;
+export declare const lessThanByteStringV3: Builtin;
+export declare const lessThanEqualsByteStringV1: Builtin;
+export declare const lessThanEqualsByteStringV3: Builtin;
+export declare const sha2_256V1: Builtin;
+export declare const sha2_256V2: Builtin;
+export declare const sha2_256V3: Builtin;
+export declare const sha3_256V1: Builtin;
+export declare const sha3_256V2: Builtin;
+export declare const sha3_256V3: Builtin;
+export declare const blake2b_256V1: Builtin;
+export declare const verifyEd25519SignatureV1: Builtin;
+export declare const verifyEd25519SignatureV2: Builtin;
+export declare const verifyEd25519SignatureV3: Builtin;
+export declare const appendStringV1: Builtin;
+export declare const equalsStringV1: Builtin;
+export declare const equalsStringV3: Builtin;
+export declare const encodeUtf8V1: Builtin;
+export declare const encodeUtf8V3: Builtin;
+export declare const decodeUtf8V1: Builtin;
+export declare const ifThenElseV1: Builtin;
+export declare const ifThenElseV3: Builtin;
+export declare const chooseUnitV1: Builtin;
+export declare const traceV1: Builtin;
+export declare const traceV2: Builtin;
+export declare const traceV3: Builtin;
+export declare const fstPairV1: Builtin;
+export declare const fstPairV3: Builtin;
+export declare const sndPairV1: Builtin;
+export declare const sndPairV2: Builtin;
+export declare const sndPairV3: Builtin;
+export declare const chooseListV1: Builtin;
+export declare const mkConsV1: Builtin;
+export declare const mkConsV3: Builtin;
+export declare const headListV1: Builtin;
+export declare const headListV3: Builtin;
+export declare const tailListV1: Builtin;
+export declare const tailListV2: Builtin;
+export declare const tailListV3: Builtin;
+export declare const nullListV1: Builtin;
+export declare const nullListV3: Builtin;
+export declare const chooseDataV1: Builtin;
+export declare const constrDataV1: Builtin;
+export declare const mapDataV1: Builtin;
+export declare const mapDataV3: Builtin;
+export declare const listDataV1: Builtin;
+export declare const listDataV3: Builtin;
+export declare const iDataV1: Builtin;
+export declare const iDataV3: Builtin;
+export declare const bDataV1: Builtin;
+export declare const unConstrDataV1: Builtin;
+export declare const unConstrDataV2: Builtin;
+export declare const unConstrDataV3: Builtin;
+export declare const unMapDataV1: Builtin;
+export declare const unMapDataV2: Builtin;
+export declare const unMapDataV3: Builtin;
+export declare const unListDataV1: Builtin;
+export declare const unListDataV2: Builtin;
+export declare const unListDataV3: Builtin;
+export declare const unIDataV1: Builtin;
+export declare const unIDataV2: Builtin;
+export declare const unIDataV3: Builtin;
+export declare const unBDataV1: Builtin;
+export declare const unBDataV2: Builtin;
+export declare const unBDataV3: Builtin;
+export declare const equalsDataV1: Builtin;
+export declare const equalsDataV3: Builtin;
+export declare const mkPairDataV1: Builtin;
+export declare const mkPairDataV3: Builtin;
+export declare const mkNilDataV1: Builtin;
+export declare const mkNilDataV3: Builtin;
+export declare const mkNilPairDataV1: Builtin;
+export declare const mkNilPairDataV3: Builtin;
+export declare const serialiseDataV2: Builtin;
+export declare const serialiseDataV3: Builtin;
+export declare const verifyEcdsaSecp256k1SignatureV2: Builtin;
+export declare const verifyEcdsaSecp256k1SignatureV3: Builtin;
+export declare const verifySchnorrSecp256k1SignatureV2: Builtin;
+export declare const verifySchnorrSecp256k1SignatureV3: Builtin;
+export declare const V1: Builtin[];
+export declare const V2: Builtin[];
+export declare const V3: Builtin[];
+export {};
+//# sourceMappingURL=Builtins.d.ts.map

package/types/Cardano/Uplc/Builtins.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Builtins.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Builtins.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,MAAM,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;AAI/C,OAAO,KAAK,EAAE,cAAc,EAAE,KAAK,IAAI,QAAQ,EAAE,MAAM,UAAU,CAAA;AACjE,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;;;;AAKjC,qBAAa,YAAa,SAAQ,kBAEhC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;gBACR,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;CAK/D;;;;AAED,qBAAa,cAAe,SAAQ,oBAElC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;gBACR,MAAM,EAAE,MAAM;CAG3B;;;;AAED,qBAAa,UAAW,SAAQ,gBAA6C;IAC3E,OAAO,EAAE,MAAM,CAAA;CAChB,CAAC;gBACY,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM;CAKjD;;;;AAED,qBAAa,aAAc,SAAQ,mBAEjC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;gBAElB,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM;CAMjB;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAA;IACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAA;IACvB,UAAU,EAAE,MAAM,CAAA;IAClB,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,CACF,IAAI,EAAE,QAAQ,EAAE,EAChB,GAAG,EAAE,cAAc,GAClB,MAAM,CAAC,MAAM,CACd,QAAQ,EACN,YAAY,GACZ,cAAc,GACd,UAAU,GACV,aAAa,GACb,QAAQ,CAAC,eAAe,CAC3B,CAAA;CACF,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OAgC1B,CAAA;AAED,eAAO,MAAM,iBAAiB,EAAE,OAgC/B,CAAA;AAED,eAAO,MAAM,iBAAiB,EAAE,OAI/B,CAAA;AAED,eAAO,MAAM,iBAAiB,EAAE,OAI/B,CAAA;AAED,eAAO,MAAM,iBAAiB,EAAE,OAgC/B,CAAA;AAED,eAAO,MAAM,iBAAiB,EAAE,OAI/B,CAAA;AAED,eAAO,MAAM,iBAAiB,EAAE,OAI/B,CAAA;AAED,eAAO,MAAM,eAAe,EAAE,OA+B7B,CAAA;AAED,wBAAgB,UAAU,CACxB,CAAC,EAAE,MAAM,EACT,CAAC,EAAE,MAAM,GACR,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAOvC;AAED,eAAO,MAAM,eAAe,EAAE,OAQ7B,CAAA;AAED,eAAO,MAAM,iBAAiB,EAAE,OA+B/B,CAAA;AAED,wBAAgB,YAAY,CAC1B,CAAC,EAAE,MAAM,EACT,CAAC,EAAE,MAAM,GACR,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAMvC;AAED,eAAO,MAAM,iBAAiB,EAAE,OAe/B,CAAA;AAED,eAAO,MAAM,kBAAkB,EAAE,OA+BhC,CAAA;AAED,wBAAgB,aAAa,CAC3B,CAAC,EAAE,MAAM,EACT,CAAC,EAAE,MAAM,GACR,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAMvC;AAED,eAAO,MAAM,kBAAkB,EAAE,OAehC,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OA+B1B,CAAA;AAED,wBAAgB,OAAO,CACrB,CAAC,EAAE,MAAM,EACT,CAAC,EAAE,MAAM,GACR,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAcvC;AAED,eAAO,MAAM,YAAY,EAAE,OAe1B,CAAA;AAED,eAAO,MAAM,eAAe,EAAE,OAgC7B,CAAA;AAED,eAAO,MAAM,eAAe,EAAE,OAI7B,CAAA;AAED,eAAO,MAAM,iBAAiB,EAAE,OAgC/B,CAAA;AAED,eAAO,MAAM,iBAAiB,EAAE,OAI/B,CAAA;AAED,eAAO,MAAM,uBAAuB,EAAE,OAgCrC,CAAA;AAED,eAAO,MAAM,uBAAuB,EAAE,OAIrC,CAAA;AAED,eAAO,MAAM,kBAAkB,EAAE,OAgChC,CAAA;AAED,eAAO,MAAM,gBAAgB,EAAE,OAgC9B,CAAA;AAED,eAAO,MAAM,iBAAiB,EAAE,OAgD/B,CAAA;AAED,eAAO,MAAM,iBAAiB,EAAE,OAI/B,CAAA;AAED,eAAO,MAAM,iBAAiB,EAAE,OAI/B,CAAA;AAED,eAAO,MAAM,oBAAoB,EAAE,OAsBlC,CAAA;AAED,eAAO,MAAM,oBAAoB,EAAE,OAIlC,CAAA;AAED,eAAO,MAAM,iBAAiB,EAAE,OAuC/B,CAAA;AAED,eAAO,MAAM,iBAAiB,EAAE,OAI/B,CAAA;AAED,eAAO,MAAM,kBAAkB,EAAE,OAgChC,CAAA;AAED,eAAO,MAAM,kBAAkB,EAAE,OAIhC,CAAA;AAED,eAAO,MAAM,oBAAoB,EAAE,OAgClC,CAAA;AAED,eAAO,MAAM,oBAAoB,EAAE,OAIlC,CAAA;AAED,eAAO,MAAM,0BAA0B,EAAE,OAgCxC,CAAA;AAED,eAAO,MAAM,0BAA0B,EAAE,OAIxC,CAAA;AAED,eAAO,MAAM,UAAU,EAAE,OAsBxB,CAAA;AAED,eAAO,MAAM,UAAU,EAAE,OAIxB,CAAA;AAED,eAAO,MAAM,UAAU,EAAE,OAIxB,CAAA;AAED,eAAO,MAAM,UAAU,EAAE,OAsBxB,CAAA;AAED,eAAO,MAAM,UAAU,EAAE,OAIxB,CAAA;AAED,eAAO,MAAM,UAAU,EAAE,OAIxB,CAAA;AAED,eAAO,MAAM,aAAa,EAAE,OAsB3B,CAAA;AAED,eAAO,MAAM,wBAAwB,EAAE,OAoEtC,CAAA;AAED,eAAO,MAAM,wBAAwB,EAAE,OAItC,CAAA;AAED,eAAO,MAAM,wBAAwB,EAAE,OAItC,CAAA;AAED,eAAO,MAAM,cAAc,EAAE,OAgC5B,CAAA;AAED,eAAO,MAAM,cAAc,EAAE,OAgC5B,CAAA;AAED,eAAO,MAAM,cAAc,EAAE,OAI5B,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OAsB1B,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OAI1B,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OAqB1B,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OAmB1B,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OAI1B,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OAmB1B,CAAA;AAED,eAAO,MAAM,OAAO,EAAE,OAqBrB,CAAA;AAED,eAAO,MAAM,OAAO,EAAE,OAIrB,CAAA;AAED,eAAO,MAAM,OAAO,EAAE,OAIrB,CAAA;AAED,eAAO,MAAM,SAAS,EAAE,OAwBvB,CAAA;AAED,eAAO,MAAM,SAAS,EAAE,OAIvB,CAAA;AAED,eAAO,MAAM,SAAS,EAAE,OAwBvB,CAAA;AAED,eAAO,MAAM,SAAS,EAAE,OAIvB,CAAA;AAED,eAAO,MAAM,SAAS,EAAE,OAIvB,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OAyB1B,CAAA;AAED,eAAO,MAAM,QAAQ,EAAE,OA6CtB,CAAA;AAED,eAAO,MAAM,QAAQ,EAAE,OAItB,CAAA;AAED,eAAO,MAAM,UAAU,EAAE,OAgCxB,CAAA;AAED,eAAO,MAAM,UAAU,EAAE,OAIxB,CAAA;AAED,eAAO,MAAM,UAAU,EAAE,OAmCxB,CAAA;AAED,eAAO,MAAM,UAAU,EAAE,OAIxB,CAAA;AAED,eAAO,MAAM,UAAU,EAAE,OAIxB,CAAA;AAED,eAAO,MAAM,UAAU,EAAE,OA4BxB,CAAA;AAED,eAAO,MAAM,UAAU,EAAE,OAIxB,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OA+C1B,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OA2C1B,CAAA;AAED,eAAO,MAAM,SAAS,EAAE,OA4CvB,CAAA;AAED,eAAO,MAAM,SAAS,EAAE,OAIvB,CAAA;AAED,eAAO,MAAM,UAAU,EAAE,OAgCxB,CAAA;AAED,eAAO,MAAM,UAAU,EAAE,OAIxB,CAAA;AAED,eAAO,MAAM,OAAO,EAAE,OA0BrB,CAAA;AAED,eAAO,MAAM,OAAO,EAAE,OAIrB,CAAA;AAED,eAAO,MAAM,OAAO,EAAE,OA0BrB,CAAA;AAED,eAAO,MAAM,cAAc,EAAE,OAkC5B,CAAA;AAED,eAAO,MAAM,cAAc,EAAE,OAI5B,CAAA;AAED,eAAO,MAAM,cAAc,EAAE,OAI5B,CAAA;AAED,eAAO,MAAM,WAAW,EAAE,OAkCzB,CAAA;AAED,eAAO,MAAM,WAAW,EAAE,OAIzB,CAAA;AAED,eAAO,MAAM,WAAW,EAAE,OAIzB,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OA+B1B,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OAI1B,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OAI1B,CAAA;AAED,eAAO,MAAM,SAAS,EAAE,OA4BvB,CAAA;AAED,eAAO,MAAM,SAAS,EAAE,OAIvB,CAAA;AAED,eAAO,MAAM,SAAS,EAAE,OAIvB,CAAA;AAED,eAAO,MAAM,SAAS,EAAE,OA4BvB,CAAA;AAED,eAAO,MAAM,SAAS,EAAE,OAIvB,CAAA;AAED,eAAO,MAAM,SAAS,EAAE,OAIvB,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OAgC1B,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OAI1B,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OAmC1B,CAAA;AAED,eAAO,MAAM,YAAY,EAAE,OAI1B,CAAA;AAED,eAAO,MAAM,WAAW,EAAE,OAyBzB,CAAA;AAED,eAAO,MAAM,WAAW,EAAE,OAIzB,CAAA;AAED,eAAO,MAAM,eAAe,EAAE,OA0B7B,CAAA;AAED,eAAO,MAAM,eAAe,EAAE,OAI7B,CAAA;AAED,eAAO,MAAM,eAAe,EAAE,OAsB7B,CAAA;AAED,eAAO,MAAM,eAAe,EAAE,OAI7B,CAAA;AAED,eAAO,MAAM,+BAA+B,EAAE,OAS7C,CAAA;AAED,eAAO,MAAM,+BAA+B,EAAE,OAI7C,CAAA;AAED,eAAO,MAAM,iCAAiC,EAAE,OAS/C,CAAA;AAED,eAAO,MAAM,iCAAiC,EAAE,OAI/C,CAAA;AAED,eAAO,MAAM,EAAE,EAAE,OAAO,EAoDvB,CAAA;AAED,eAAO,MAAM,EAAE,EAAE,OAAO,EAuDvB,CAAA;AAED,eAAO,MAAM,EAAE,EAAE,OAAO,EAwDvB,CAAA"}

package/types/Cardano/Uplc/Cek.d.ts

@@ -0,0 +1,165 @@
+import { Either } from "effect";
+import type { Builtin } from "./Builtins.js";
+import * as Cost from "./Cost.js";
+import type { Const, SourceSpan, Term } from "./Term.js";
+export type EvalContext = {
+    builtins: readonly Builtin[];
+    costParams: readonly number[];
+    logger?: Logger | undefined;
+};
+/**
+ * The context that terms and frames need to operate.
+ */
+export interface MachineContext extends EvalContext {
+    readonly cost: Cost.Tracker;
+    print(message: string, site?: CallSite): void;
+    popLastMessage(): string | undefined;
+}
+/**
+ * `BuiltinValue` is equivalent to $\langle \texttt{builtin}~b~\overline{V}~\eta\rangle$ in the *CEK Machine* section of the [plutus core spec](https://plutus.cardano.intersectmbo.org/resources/plutus-core-spec.pdf):
+ *
+ *    - `id` is equivalent to $b$
+ *
+ */
+export type BuiltinValue = {
+    _tag: "Builtin";
+    id: number;
+    forceCount: number;
+    args: Value[];
+    name?: string | undefined;
+};
+/**
+ * `ConstValue` is equivalent to $\langle \texttt{con}~T~c\rangle$ in the *CEK Machine* section of the [Plutus Core spec](https://plutus.cardano.intersectmbo.org/resources/plutus-core-spec.pdf).
+ *
+ *    - `value` contains information related to both $T$ and $c$
+ *
+ * The optional `name` field is used for debugging.
+ */
+export type ConstValue = Const;
+/**
+ * `ConstrValue` is equivalent to $\langle \texttt{constr}~i~\overline{V}\rangle$ in the *CEK Machine* section of the [plutus core spec](https://plutus.cardano.intersectmbo.org/resources/plutus-core-spec.pdf):
+ *
+ *    - `tag` is equivalent to $i$
+ *    - `args` is equivalent to $\overline{V}$
+ *
+ * The optional `name` is used for debugging.
+ */
+export type ConstrValue = {
+    _tag: "Constr";
+    tag: number;
+    args: Value[];
+    name?: string;
+};
+/**
+ * `DelayedValue` is equivalent to $\langle \texttt{delay}~M~\rho\rangle$ in the *CEK Machine* section of the [Plutus Core spec](https://plutus.cardano.intersectmbo.org/resources/plutus-core-spec.pdf):
+ *
+ *    - `term` is equivalent to $M$
+ *    - `stack` is equivalent to $\rho$
+ *
+ * The optional `name` field is used for debugging.
+ */
+export type DelayedValue = {
+    _tag: "Delayed";
+    term: Term;
+    stack: Stack;
+    name?: string | undefined;
+};
+/**
+ * `LambdaValue` is equivalent to $\langle \texttt{lam}~x~M~\rho\rangle$ in the *CEK Machine* section of the [plutus core spec](https://plutus.cardano.intersectmbo.org/resources/plutus-core-spec.pdf):
+ *
+ *    - `body` is equivalent to $M$
+ *    - `env` is equivalent to $\rho$
+ *    - `argName` is an optional alternative name for $x$, which is useful during debugging
+ *
+ * The optional `name` field is used for debugging.
+ */
+export type LambdaValue = {
+    _tag: "Lambda";
+    body: Term;
+    stack: Stack;
+    name?: string | undefined;
+    argName?: string | undefined;
+};
+export type Value = BuiltinValue | ConstValue | ConstrValue | DelayedValue | LambdaValue;
+export type CallSite = {
+    sourceSpan?: SourceSpan | undefined;
+    description?: string | undefined;
+    functionName?: string | undefined;
+    arguments?: Value[] | undefined;
+};
+export type Stack = {
+    values: Value[];
+    callSites: CallSite[];
+};
+export interface Logger {
+    lastMessage: string;
+    logPrint(message: string, callSite?: CallSite): void;
+    logError?: (message: string, callSite?: CallSite) => void;
+    logTrace?: (message: string, callSite?: CallSite) => void;
+    flush?: () => void;
+    reset?: (reason: "build" | "validate") => void;
+}
+/**
+ * Return value is optional and can be omitted if the UplcValue doesn't suffice to contain it (eg. lambda functions).
+ */
+type Result = {
+    value: Either.Either<Value, {
+        error: string;
+        callSites: CallSite[];
+    }>;
+    cost: Cost.Cost;
+    logs: {
+        message: string;
+        callSite?: CallSite | undefined;
+    }[];
+    breakdown: Cost.Breakdown;
+};
+/**
+ * This is main evaluation function of the CEK Machine
+ * Stack-based algorithm
+ * @param entryPoint
+ * @param evalContext
+ * @returns
+ */
+declare function eval$(entryPoint: Term, evalContext: EvalContext): Result;
+export { eval$ as eval };
+/**
+ * @param callSite
+ * @returns
+ */
+export declare function isEmptyCallSiteInfo(callSite: CallSite | undefined): boolean;
+/**
+ * @param callSite
+ * @returns
+ */
+export declare function isNonEmptyCallSiteInfo(callSite: CallSite | undefined): callSite is CallSite;
+/**
+ * @param stack
+ * @param callSites
+ * @returns
+ */
+export declare function pushStackCallSites(stack: Stack, ...callSites: CallSite[]): Stack;
+/**
+ * @param stack
+ * @param value
+ * @returns
+ */
+export declare function pushStackValue(stack: Stack, value: Value): Stack;
+/**
+ * @param stack
+ * @param value
+ * @param callSite
+ * @returns
+ */
+export declare function pushStackValueAndCallSite(stack: Stack, value: Value, callSite: CallSite | undefined): Stack;
+/**
+ * @param stack
+ * @param value
+ * @param callSites
+ * @returns
+ */
+export declare function pushStackValueAndCallSites(stack: Stack, value: Value, ...callSites: CallSite[]): Stack;
+/**
+ * Instantiate a `Machine` with {@link makeCekMachine}.
+ */
+//# sourceMappingURL=Cek.d.ts.map

package/types/Cardano/Uplc/Cek.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Cek.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Cek.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,EAIV,KAAK,EAML,UAAU,EACV,IAAI,EAEL,MAAM,WAAW,CAAA;AAGlB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;IAC5B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC5B,CAAA;AAED;;GAEG;AACH,MAAM,WAAW,cAAe,SAAQ,WAAW;IACjD,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAA;IAE3B,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;IAC7C,cAAc,IAAI,MAAM,GAAG,SAAS,CAAA;CACrC;AAED;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,SAAS,CAAA;IACf,EAAE,EAAE,MAAM,CAAA;IACV,UAAU,EAAE,MAAM,CAAA;IAClB,IAAI,EAAE,KAAK,EAAE,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAAG,KAAK,CAAA;AAE9B;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,QAAQ,CAAA;IACd,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,KAAK,EAAE,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,CAAA;CACd,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,IAAI,CAAA;IACV,KAAK,EAAE,KAAK,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,IAAI,CAAA;IACV,KAAK,EAAE,KAAK,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACzB,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,KAAK,GACb,YAAY,GACZ,UAAU,GACV,WAAW,GACX,YAAY,GACZ,WAAW,CAAA;AAEf,MAAM,MAAM,QAAQ,GAAG;IACrB,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;IACnC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACjC,SAAS,CAAC,EAAE,KAAK,EAAE,GAAG,SAAS,CAAA;CAChC,CAAA;AAWD,MAAM,MAAM,KAAK,GAAG;IAClB,MAAM,EAAE,KAAK,EAAE,CAAA;IACf,SAAS,EAAE,QAAQ,EAAE,CAAA;CACtB,CAAA;AAED,MAAM,WAAW,MAAM;IACrB,WAAW,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;IACpD,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAA;IACzD,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAA;IACzD,KAAK,CAAC,EAAE,MAAM,IAAI,CAAA;IAClB,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,GAAG,UAAU,KAAK,IAAI,CAAA;CAC/C;AAiMD;;GAEG;AACH,KAAK,MAAM,GAAG;IACZ,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,QAAQ,EAAE,CAAA;KAAE,CAAC,CAAA;IACrE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAA;IACf,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;KAAE,EAAE,CAAA;IAC5D,SAAS,EAAE,IAAI,CAAC,SAAS,CAAA;CAC1B,CAAA;AAED;;;;;;GAMG;AACH,iBAAS,KAAK,CAAC,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,GAAG,MAAM,CAwIjE;AAED,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAyTxB;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAAG,OAAO,CAO3E;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAC7B,QAAQ,IAAI,QAAQ,CAEtB;AAqBD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,KAAK,EACZ,GAAG,SAAS,EAAE,QAAQ,EAAE,GACvB,KAAK,CAKP;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK,CAKhE;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAC7B,KAAK,CAOP;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,KAAK,EACZ,GAAG,SAAS,EAAE,QAAQ,EAAE,GACvB,KAAK,CAKP;AA4RD;;GAEG"}