This type represents the contract id of an unknown template. You can use
fromAnyContractIdto check which template it corresponds to.
data BatchTrigger s
Batching trigger is (approximately) a left-fold over
Messagewith an accumulator of type
A ledger API command. To construct a command use
Field Type Description templateArg AnyTemplate
A completion message. Note that you will only get completions for commands emitted from the trigger. Contrary to the ledger API completion stream, this also includes synchronous failures.
Field Type Description transactionId TransactionId
The data in a
Either a transaction or a completion. This definition should be kept consistent with the object
MessageVariantdefined in triggers/runner/src/main/scala/com/digitalasset/daml/lf/engine/trigger/Converter.scala
Listen to events for all templates in the given DAR.
data Trigger s
Field Type Description maxInFlightCommands Int maximum number of commands that should be allowed to be in-flight at any point in time. Exceeding this value will eventually lead to the trigger run raising an InFlightCommandOverflowException exception. maxActiveContracts Int maximum number of active contracts that we will allow to be stored Exceeding this value will lead to the trigger runner raising an ACSOverflowException exception.
data TriggerRule s a
Field Type Description runTriggerRule StateT s (Free TriggerF) a
data TriggerSetup a
Field Type Description runTriggerSetup Free TriggerF a
Check if a
AnyContractIdcorresponds to the given template or return
Check if a
Createdevent corresponds to the given template.
Check if an
Archivedevent corresponds to the given template.
Create a contract of the given template and immediately exercise the given choice on it.
Check if the command corresponds to a create command for the given template.
Check if the command corresponds to a create and exercise command for the given template.
Check if the command corresponds to an exercise command for the given template.
Check if the command corresponds to an exercise by key command for the given template.
Run a rule without running it. May lose information from the rule; meant for testing purposes only.