@distrohelena/canton-typescript-sdk 0.1.4 → 0.1.6

package/dist/daml-lf/interpreter/daml-lf-evaluator.d.ts

@@ -0,0 +1,95 @@
+import { DamlLfCompilation } from "../daml-lf-compilation.js";
+import { DamlLfExpression } from "../model/daml-lf-expression.js";
+import { DamlLfTemplateId } from "../model/daml-lf-template-id.js";
+import { DamlLfValueDefinition } from "../model/daml-lf-value-definition.js";
+import { DamlLfBuiltinDispatch } from "./daml-lf-builtin-dispatch.js";
+import { IDamlLfRuntimeValue } from "./daml-lf-runtime-value.js";
+import { IDamlLfReplayEffect, IDamlLfTraceSink } from "./daml-lf-trace-sink.interface.js";
+export interface IDamlLfReplayEnvironment {
+    readonly offset: string;
+    readonly entrypoint: {
+        readonly kind: "create" | "exercise";
+        readonly templateId?: {
+            readonly packageId?: string;
+            readonly moduleName?: string;
+            readonly entityName?: string;
+        };
+        readonly contractId?: string;
+        readonly choice?: string;
+        readonly argument?: unknown;
+    };
+    readonly contracts?: ReadonlyMap<string, {
+        readonly payload: unknown;
+        readonly templateId?: {
+            readonly packageId?: string;
+            readonly moduleName?: string;
+            readonly entityName?: string;
+        };
+    }>;
+    readonly definitionResolver?: IReplayDefinitionResolver;
+    readonly entrypointExpression?: DamlLfExpression;
+    readonly entrypointBindingMode?: "standard" | "createWrapper" | "exerciseWrapper" | "templateChoice";
+    readonly observedCreateContractIds?: readonly string[];
+}
+export interface IDamlLfReplayEvaluationResult {
+    readonly value: IDamlLfRuntimeValue;
+    readonly effects: readonly IDamlLfReplayEffect[];
+}
+interface IReplayDefinitionResolver {
+    resolveChoiceDefinitionOrThrow?(templateId: DamlLfTemplateId, choiceName: string): {
+        readonly packageId: string;
+        readonly moduleName: string;
+        readonly definition: DamlLfValueDefinition;
+        readonly frameIdentity?: {
+            readonly packageId: string;
+            readonly moduleName: string;
+        };
+        readonly replayExpression: DamlLfExpression;
+        readonly replayBindingMode: "standard" | "createWrapper" | "exerciseWrapper" | "templateChoice";
+    };
+}
+export declare class DamlLfEvaluator {
+    private readonly compilation;
+    private readonly builtinDispatch;
+    private nextFrameNumber;
+    private activeReplayContext?;
+    private readonly semanticModel;
+    constructor(compilation: DamlLfCompilation, builtinDispatch?: DamlLfBuiltinDispatch);
+    getCompilation(): DamlLfCompilation;
+    getBuiltinDispatch(): DamlLfBuiltinDispatch;
+    evaluateValueDefinitionOrThrow(definition: DamlLfValueDefinition, traceSink?: IDamlLfTraceSink): IDamlLfRuntimeValue;
+    evaluateReplayEntrypointOrThrow(definition: DamlLfValueDefinition, environment: IDamlLfReplayEnvironment, traceSink?: IDamlLfTraceSink): IDamlLfReplayEvaluationResult;
+    private evaluateExpressionOrThrow;
+    private createReplayEffects;
+    private createFrame;
+    private resolveExpressionValue;
+    private evaluateReplayExpressionOrThrow;
+    private evaluateUpdateExpressionOrThrow;
+    private resolveEntrypointBindingValues;
+    private evaluateReplayLambdaOrExpressionOrThrow;
+    private hydrateRuntimeValue;
+    private createRecordRuntimeValue;
+    private canProjectRecordAsLedgerValue;
+    private readEmbeddedContractId;
+    private readEmbeddedContractIdArray;
+    private readEmbeddedParty;
+    private readLedgerRecordField;
+    private createLedgerRecordFieldUpdate;
+    private resolveSemanticRecordField;
+    private coerceSemanticFieldValue;
+    private attachSemanticRecordId;
+    private normalizeSemanticRecordValue;
+    private toReplayTemplateId;
+    private readContractId;
+    private unwrapRuntimeValue;
+    private readRuntimeListOrThrow;
+    private matchesBuiltinConstructor;
+    private matchesCaseAlternative;
+    private emitReplayEffect;
+    private isUpdateDrivenEntrypointExpression;
+    private applyFunctionOrThrow;
+    private applyFoldlBuiltinOrThrow;
+    private applyFoldrBuiltinOrThrow;
+    private deriveFrame;
+}
+export {};