> ## Documentation Index > Fetch the complete documentation index at: https://docs.canton.network/llms.txt > Use this file to discover all available pages before exploring further. # Daml.Script > Reference documentation for Daml module Daml.Script. # Daml.Script The Daml Script testing library. ## Module Snapshot Stable. Status: `active` Introduced in: `3.4.9` Removed in: `-` Warnings: `0` Deprecations: `0` Deprecated since: `-` ## Data Types ### `data InvalidUserId` Thrown if text for a user identifier does not conform to the format restriction. Constructors: * `InvalidUserId` Instances: * instance `Eq` [`InvalidUserId`](#type-daml-script-internal-questions-usermanagement-invaliduserid-35585) * instance `Show` [`InvalidUserId`](#type-daml-script-internal-questions-usermanagement-invaliduserid-35585) * instance `HasFromAnyException` [`InvalidUserId`](#type-daml-script-internal-questions-usermanagement-invaliduserid-35585) * instance `HasMessage` [`InvalidUserId`](#type-daml-script-internal-questions-usermanagement-invaliduserid-35585) * instance `HasThrow` [`InvalidUserId`](#type-daml-script-internal-questions-usermanagement-invaliduserid-35585) * instance `HasToAnyException` [`InvalidUserId`](#type-daml-script-internal-questions-usermanagement-invaliduserid-35585) * instance `GetField` `m` [`InvalidUserId`](#type-daml-script-internal-questions-usermanagement-invaliduserid-35585) `Text` * instance `GetField` `message` [`InvalidUserId`](#type-daml-script-internal-questions-usermanagement-invaliduserid-35585) `Text` * instance `SetField` `m` [`InvalidUserId`](#type-daml-script-internal-questions-usermanagement-invaliduserid-35585) `Text` ### `data User` User-info record for a user in the user management service. Constructors: * `User` Instances: * instance `IsQuestion` `GetUser` (`Optional` [`User`](#type-daml-script-internal-questions-usermanagement-user-21930)) * instance `IsQuestion` `ListAllUsers` \[[`User`](#type-daml-script-internal-questions-usermanagement-user-21930)] * instance `Eq` [`User`](#type-daml-script-internal-questions-usermanagement-user-21930) * instance `Ord` [`User`](#type-daml-script-internal-questions-usermanagement-user-21930) * instance `Show` [`User`](#type-daml-script-internal-questions-usermanagement-user-21930) * instance `GetField` `primaryParty` [`User`](#type-daml-script-internal-questions-usermanagement-user-21930) (`Optional` `Party`) * instance `GetField` `user` `CreateUser` [`User`](#type-daml-script-internal-questions-usermanagement-user-21930) * instance `GetField` `userId` [`User`](#type-daml-script-internal-questions-usermanagement-user-21930) [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `SetField` `primaryParty` [`User`](#type-daml-script-internal-questions-usermanagement-user-21930) (`Optional` `Party`) * instance `SetField` `user` `CreateUser` [`User`](#type-daml-script-internal-questions-usermanagement-user-21930) * instance `SetField` `userId` [`User`](#type-daml-script-internal-questions-usermanagement-user-21930) [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) ### `data UserAlreadyExists` Thrown if a user to be created already exists. Constructors: * `UserAlreadyExists` Instances: * instance `Eq` [`UserAlreadyExists`](#type-daml-script-internal-questions-usermanagement-useralreadyexists-98333) * instance `Show` [`UserAlreadyExists`](#type-daml-script-internal-questions-usermanagement-useralreadyexists-98333) * instance `HasFromAnyException` [`UserAlreadyExists`](#type-daml-script-internal-questions-usermanagement-useralreadyexists-98333) * instance `HasMessage` [`UserAlreadyExists`](#type-daml-script-internal-questions-usermanagement-useralreadyexists-98333) * instance `HasThrow` [`UserAlreadyExists`](#type-daml-script-internal-questions-usermanagement-useralreadyexists-98333) * instance `HasToAnyException` [`UserAlreadyExists`](#type-daml-script-internal-questions-usermanagement-useralreadyexists-98333) * instance `GetField` `message` [`UserAlreadyExists`](#type-daml-script-internal-questions-usermanagement-useralreadyexists-98333) `Text` * instance `GetField` `userId` [`UserAlreadyExists`](#type-daml-script-internal-questions-usermanagement-useralreadyexists-98333) [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `SetField` `userId` [`UserAlreadyExists`](#type-daml-script-internal-questions-usermanagement-useralreadyexists-98333) [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) ### `data UserId` Identifier for a user in the user management service. Constructors: * `UserId Text` Instances: * instance `Eq` [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `Ord` [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `Show` [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `GetField` `userId` `DeleteUser` [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `GetField` `userId` `GetUser` [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `GetField` `userId` `GrantUserRights` [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `GetField` `userId` `ListUserRights` [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `GetField` `userId` `RevokeUserRights` [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `GetField` `userId` [`User`](#type-daml-script-internal-questions-usermanagement-user-21930) [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `GetField` `userId` [`UserAlreadyExists`](#type-daml-script-internal-questions-usermanagement-useralreadyexists-98333) [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `GetField` `userId` [`UserNotFound`](#type-daml-script-internal-questions-usermanagement-usernotfound-44479) [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `SetField` `userId` `DeleteUser` [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `SetField` `userId` `GetUser` [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `SetField` `userId` `GrantUserRights` [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `SetField` `userId` `ListUserRights` [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `SetField` `userId` `RevokeUserRights` [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `SetField` `userId` [`User`](#type-daml-script-internal-questions-usermanagement-user-21930) [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `SetField` `userId` [`UserAlreadyExists`](#type-daml-script-internal-questions-usermanagement-useralreadyexists-98333) [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `SetField` `userId` [`UserNotFound`](#type-daml-script-internal-questions-usermanagement-usernotfound-44479) [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) ### `data UserNotFound` Thrown if a user cannot be located for a given user identifier. Constructors: * `UserNotFound` Instances: * instance `Eq` [`UserNotFound`](#type-daml-script-internal-questions-usermanagement-usernotfound-44479) * instance `Show` [`UserNotFound`](#type-daml-script-internal-questions-usermanagement-usernotfound-44479) * instance `HasFromAnyException` [`UserNotFound`](#type-daml-script-internal-questions-usermanagement-usernotfound-44479) * instance `HasMessage` [`UserNotFound`](#type-daml-script-internal-questions-usermanagement-usernotfound-44479) * instance `HasThrow` [`UserNotFound`](#type-daml-script-internal-questions-usermanagement-usernotfound-44479) * instance `HasToAnyException` [`UserNotFound`](#type-daml-script-internal-questions-usermanagement-usernotfound-44479) * instance `GetField` `message` [`UserNotFound`](#type-daml-script-internal-questions-usermanagement-usernotfound-44479) `Text` * instance `GetField` `userId` [`UserNotFound`](#type-daml-script-internal-questions-usermanagement-usernotfound-44479) [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) * instance `SetField` `userId` [`UserNotFound`](#type-daml-script-internal-questions-usermanagement-usernotfound-44479) [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) ### `data UserRight` The rights of a user. Constructors: * `ParticipantAdmin` * `CanActAs Party` * `CanReadAs Party` * `CanReadAsAnyParty` Instances: * instance `IsQuestion` `GrantUserRights` (`Optional` \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)]) * instance `IsQuestion` `ListUserRights` (`Optional` \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)]) * instance `IsQuestion` `RevokeUserRights` (`Optional` \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)]) * instance `Eq` [`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475) * instance `Show` [`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475) * instance `GetField` `rights` `CreateUser` \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] * instance `GetField` `rights` `GrantUserRights` \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] * instance `GetField` `rights` `RevokeUserRights` \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] * instance `SetField` `rights` `CreateUser` \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] * instance `SetField` `rights` `GrantUserRights` \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] * instance `SetField` `rights` `RevokeUserRights` \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] ### `data ConcurrentSubmits a` Applicative that allows for multiple concurrent transaction submissions See `concurrently` for usage of this type. Constructors: * `ConcurrentSubmits` Instances: * instance [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) [`ConcurrentSubmits`](#type-daml-script-internal-questions-submit-concurrentsubmits-82688) * instance `Functor` [`ConcurrentSubmits`](#type-daml-script-internal-questions-submit-concurrentsubmits-82688) * instance `Applicative` [`ConcurrentSubmits`](#type-daml-script-internal-questions-submit-concurrentsubmits-82688) * instance `GetField` `continue` ([`ConcurrentSubmits`](#type-daml-script-internal-questions-submit-concurrentsubmits-82688) `a`) (\[`Either` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (\[`CommandResult`], [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781))] -> `a`) * instance `GetField` `submits` ([`ConcurrentSubmits`](#type-daml-script-internal-questions-submit-concurrentsubmits-82688) `a`) \[`Submission`] * instance `SetField` `continue` ([`ConcurrentSubmits`](#type-daml-script-internal-questions-submit-concurrentsubmits-82688) `a`) (\[`Either` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (\[`CommandResult`], [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781))] -> `a`) * instance `SetField` `submits` ([`ConcurrentSubmits`](#type-daml-script-internal-questions-submit-concurrentsubmits-82688) `a`) \[`Submission`] ### `data PackageId` Package-id newtype for package preference Constructors: * `PackageId Text` Instances: * instance `Eq` [`PackageId`](#type-daml-script-internal-questions-submit-packageid-95921) * instance `Show` [`PackageId`](#type-daml-script-internal-questions-submit-packageid-95921) * instance `GetField` `sPackagePreference` `Submission` (`Optional` \[[`PackageId`](#type-daml-script-internal-questions-submit-packageid-95921)]) * instance `GetField` `soPackagePreference` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) (`Optional` \[[`PackageId`](#type-daml-script-internal-questions-submit-packageid-95921)]) * instance `SetField` `sPackagePreference` `Submission` (`Optional` \[[`PackageId`](#type-daml-script-internal-questions-submit-packageid-95921)]) * instance `SetField` `soPackagePreference` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) (`Optional` \[[`PackageId`](#type-daml-script-internal-questions-submit-packageid-95921)]) ### `data SubmitOptions` Options to detemine the stakeholders of a transaction, as well as disclosures. Intended to be specified using the `actAs`, `readAs` and `disclose` builders, combined using the Semigroup concat `(<>)` operator. ``` actAs alice <> readAs [alice, bob] <> disclose myContract ``` Note that actAs and readAs follows the same party derivation rules as `signatory`, see their docs for examples. All submissions must specify at least one `actAs` party, else a runtime error will be thrown. A minimum submission may look like ``` actAs alice `submit` createCmd MyContract with party = alice ``` For backwards compatibility, a single or set of parties can be provided in place of the `SubmitOptions` to `submit`, which will represent the `actAs` field. The above example could be reduced to ``` alice `submit` createCmd MyContract with party = alice ``` Constructors: * `SubmitOptions` Instances: * instance [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) * instance `Monoid` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) * instance `Semigroup` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) * instance `GetField` `soActAs` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) \[`Party`] * instance `GetField` `soDisclosures` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) \[[`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298)] * instance `GetField` `soPackagePreference` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) (`Optional` \[[`PackageId`](#type-daml-script-internal-questions-submit-packageid-95921)]) * instance `GetField` `soPrefetchKeys` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) \[[`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496)] * instance `GetField` `soReadAs` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) \[`Party`] * instance `SetField` `soActAs` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) \[`Party`] * instance `SetField` `soDisclosures` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) \[[`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298)] * instance `SetField` `soPackagePreference` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) (`Optional` \[[`PackageId`](#type-daml-script-internal-questions-submit-packageid-95921)]) * instance `SetField` `soPrefetchKeys` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) \[[`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496)] * instance `SetField` `soReadAs` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) \[`Party`] ### `data CryptoErrorType` Daml Crypto (Secp256k1) related submission errors Constructors: * `MalformedByteEncoding` * `MalformedKey` * `MalformedSignature` Instances: * instance `Show` [`CryptoErrorType`](#type-daml-script-internal-questions-submit-error-cryptoerrortype-71749) * instance `GetField` `cryptoErrorType` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`CryptoErrorType`](#type-daml-script-internal-questions-submit-error-cryptoerrortype-71749) * instance `GetField` `keyValue` [`CryptoErrorType`](#type-daml-script-internal-questions-submit-error-cryptoerrortype-71749) `Text` * instance `GetField` `signatureValue` [`CryptoErrorType`](#type-daml-script-internal-questions-submit-error-cryptoerrortype-71749) `Text` * instance `GetField` `value` [`CryptoErrorType`](#type-daml-script-internal-questions-submit-error-cryptoerrortype-71749) `Text` * instance `SetField` `cryptoErrorType` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`CryptoErrorType`](#type-daml-script-internal-questions-submit-error-cryptoerrortype-71749) * instance `SetField` `keyValue` [`CryptoErrorType`](#type-daml-script-internal-questions-submit-error-cryptoerrortype-71749) `Text` * instance `SetField` `signatureValue` [`CryptoErrorType`](#type-daml-script-internal-questions-submit-error-cryptoerrortype-71749) `Text` * instance `SetField` `value` [`CryptoErrorType`](#type-daml-script-internal-questions-submit-error-cryptoerrortype-71749) `Text` ### `data SubmitError` Errors that can be thrown by a command submission via `trySubmit` Constructors: * `ContractNotFound` Provided as text, as we do not know the template ID of a contract if the lookup fails should always be None in Canton's case, see [https://github.com/digital-asset/daml/issues/17154](https://github.com/digital-asset/daml/issues/17154) Contract with given contract ID could not be found, and has never existed on this participant When run on Canton, there may be more than one contract ID, and additionalDebuggingInfo is always None On the other hand, when run on IDELedger, there is only ever one contract ID, and additionalDebuggingInfo is always Some * `ContractKeyNotFound` Contract with given contract key could not be found * `UnresolvedPackageName` No vetted package with given package name could be found * `AuthorizationError` Generic authorization failure, included missing party authority, invalid signatories, etc. * `ContractHashingError` Failed to hash a contract * `DisclosedContractKeyHashingError` Given disclosed contract key does not match the contract key of the contract on ledger. * `DuplicateContractKey` Canton will often not provide this key, IDELedger will Attempted to create a contract with a contract key that already exists * `InconsistentContractKey` Contract key lookup yielded different results * `UnhandledException` Errors more complex than simple records cannot currently be encoded over the grpc status. Such errors will be missing here. Unhandled user thrown exception * `UserError` Transaction failure due to abort/assert calls pre-exceptions * `TemplatePreconditionViolated` Failure due to false result from `ensure`, strictly pre-exception. According to docs, not throwable with LF >= 1.14. On LF >= 1.14, a failed `ensure` will result in a `PreconditionFailed` exception wrapped in `UnhandledException`. * `CreateEmptyContractKeyMaintainers` Attempted to create a contract with empty contract key maintainers * `FetchEmptyContractKeyMaintainers` Attempted to fetch a contract with empty contract key maintainers * `WronglyTypedContract` Any contract Id of the actual contract Attempted to exercise/fetch a contract with the wrong template type * `ContractDoesNotImplementInterface` Attempted to use a contract as an interface that it does not implement * `ContractDoesNotImplementRequiringInterface` Attempted to use a contract as a required interface that it does not implement * `NonComparableValues` Attempted to compare values that are not comparable * `ContractIdInContractKey` (no fields) Illegal Contract ID found in Contract Key * `ContractIdComparability` We do not know the template ID at time of comparison. Attempted to compare incomparable contract IDs. You're doing something very wrong. Two contract IDs with the same prefix are incomparable if one of them is local and the other non-local or if one is relative and the other relative or absolute with a different suffix. * `ValueNesting` Nesting limit that was exceeded A value has been nested beyond a given depth limit * `LocalVerdictLockedContracts` Locked contract ids The transaction refers to locked contracts which are in the process of being created, transferred, or archived by another transaction. If the other transaction fails, this transaction could be successfully retried. * `LocalVerdictLockedKeys` Locked contract keys The transaction refers to locked keys which are in the process of being modified by another transaction. * `UpgradeError` Upgrade exception * `FailureStatusError` Exception resulting from call to `failWithStatus` * `CryptoError` Crypto exceptions * `EffectfulRollbackError` Rollback exceptions * `DevError` Development feature exceptions * `UnknownError` Generic catch-all for missing errors. * `TruncatedError` One of the constructor names of SubmitFailure except DevError, UnknownError, TruncatedError One of the above error types where the full exception body did not fit into the response, and was incomplete. Instances: * instance `IsQuestion` `Submit` \[`Either` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (\[`CommandResult`], [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781))] * instance `Show` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) * instance `GetField` `actualTemplateId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `TemplateTypeRep` * instance `GetField` `additionalDebuggingInfo` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (`Optional` [`ContractNotFoundAdditionalInfo`](/appdev/reference/daml-script/daml-script-internal#type-daml-script-internal-questions-submit-error-contractnotfoundadditionalinfo-6199)) * instance `GetField` `authorizationErrorMessage` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `GetField` `continue` ([`ConcurrentSubmits`](#type-daml-script-internal-questions-submit-concurrentsubmits-82688) `a`) (\[`Either` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (\[`CommandResult`], [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781))] -> `a`) * instance `GetField` `contractId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `GetField` `contractKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `GetField` `createArg` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `AnyTemplate` * instance `GetField` `cryptoErrorMessage` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `GetField` `cryptoErrorType` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`CryptoErrorType`](#type-daml-script-internal-questions-submit-error-cryptoerrortype-71749) * instance `GetField` `devErrorMessage` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `GetField` `devErrorType` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `DevErrorType` * instance `GetField` `dstTemplateId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `TemplateTypeRep` * instance `GetField` `duplicateContractKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (`Optional` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496)) * instance `GetField` `effectfulRollbackErrorMsg` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `GetField` `errorMessage` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `GetField` `errorType` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) * instance `GetField` `exc` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (`Optional` `AnyException`) * instance `GetField` `expectedKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `GetField` `expectedTemplateId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `TemplateTypeRep` * instance `GetField` `failedTemplateKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `GetField` `failureStatus` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `FailureStatus` * instance `GetField` `givenKeyHash` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `GetField` `globalExistingContractId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `GetField` `interfaceId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `TemplateTypeRep` * instance `GetField` `invalidTemplate` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `AnyTemplate` * instance `GetField` `limit` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Int` * instance `GetField` `localVerdictLockedContracts` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) \[[`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399)] * instance `GetField` `localVerdictLockedKeys` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) \[[`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496)] * instance `GetField` `packageName` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `GetField` `requiredInterfaceId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `TemplateTypeRep` * instance `GetField` `requiringInterfaceId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `TemplateTypeRep` * instance `GetField` `templateId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `TemplateTypeRep` * instance `GetField` `truncatedErrorMessage` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `GetField` `truncatedErrorType` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `GetField` `unknownContractIds` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (`NonEmpty` `Text`) * instance `GetField` `unknownErrorMessage` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `GetField` `userErrorMessage` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `SetField` `actualTemplateId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `TemplateTypeRep` * instance `SetField` `additionalDebuggingInfo` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (`Optional` [`ContractNotFoundAdditionalInfo`](/appdev/reference/daml-script/daml-script-internal#type-daml-script-internal-questions-submit-error-contractnotfoundadditionalinfo-6199)) * instance `SetField` `authorizationErrorMessage` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `SetField` `continue` ([`ConcurrentSubmits`](#type-daml-script-internal-questions-submit-concurrentsubmits-82688) `a`) (\[`Either` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (\[`CommandResult`], [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781))] -> `a`) * instance `SetField` `contractId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `SetField` `contractKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `SetField` `createArg` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `AnyTemplate` * instance `SetField` `cryptoErrorMessage` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `SetField` `cryptoErrorType` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`CryptoErrorType`](#type-daml-script-internal-questions-submit-error-cryptoerrortype-71749) * instance `SetField` `devErrorMessage` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `SetField` `devErrorType` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `DevErrorType` * instance `SetField` `dstTemplateId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `TemplateTypeRep` * instance `SetField` `duplicateContractKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (`Optional` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496)) * instance `SetField` `effectfulRollbackErrorMsg` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `SetField` `errorMessage` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `SetField` `errorType` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) * instance `SetField` `exc` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (`Optional` `AnyException`) * instance `SetField` `expectedKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `SetField` `expectedTemplateId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `TemplateTypeRep` * instance `SetField` `failedTemplateKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `SetField` `failureStatus` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `FailureStatus` * instance `SetField` `givenKeyHash` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `SetField` `globalExistingContractId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `SetField` `interfaceId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `TemplateTypeRep` * instance `SetField` `invalidTemplate` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `AnyTemplate` * instance `SetField` `limit` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Int` * instance `SetField` `localVerdictLockedContracts` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) \[[`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399)] * instance `SetField` `localVerdictLockedKeys` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) \[[`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496)] * instance `SetField` `packageName` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `SetField` `requiredInterfaceId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `TemplateTypeRep` * instance `SetField` `requiringInterfaceId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `TemplateTypeRep` * instance `SetField` `templateId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `TemplateTypeRep` * instance `SetField` `truncatedErrorMessage` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `SetField` `truncatedErrorType` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `SetField` `unknownContractIds` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (`NonEmpty` `Text`) * instance `SetField` `unknownErrorMessage` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` * instance `SetField` `userErrorMessage` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `Text` ### `data UpgradeErrorType` SCU related submission errors Constructors: * `ValidationFailed` * `TranslationFailed` * `AuthenticationFailed` Instances: * instance `Show` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) * instance `GetField` `coid` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `GetField` `createArg` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) `AnyTemplate` * instance `GetField` `dstPackageName` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) `Text` * instance `GetField` `dstTemplateId` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) `TemplateTypeRep` * instance `GetField` `errorType` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) * instance `GetField` `mCoid` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) (`Optional` [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399)) * instance `GetField` `originalKeyOpt` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) (`Optional` ([`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496), \[`Party`])) * instance `GetField` `originalObservers` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) \[`Party`] * instance `GetField` `originalSignatories` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) \[`Party`] * instance `GetField` `recomputedKeyOpt` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) (`Optional` ([`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496), \[`Party`])) * instance `GetField` `recomputedObservers` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) \[`Party`] * instance `GetField` `recomputedSignatories` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) \[`Party`] * instance `GetField` `srcPackageName` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) `Text` * instance `GetField` `srcTemplateId` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) `TemplateTypeRep` * instance `SetField` `coid` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `SetField` `createArg` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) `AnyTemplate` * instance `SetField` `dstPackageName` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) `Text` * instance `SetField` `dstTemplateId` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) `TemplateTypeRep` * instance `SetField` `errorType` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) * instance `SetField` `mCoid` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) (`Optional` [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399)) * instance `SetField` `originalKeyOpt` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) (`Optional` ([`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496), \[`Party`])) * instance `SetField` `originalObservers` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) \[`Party`] * instance `SetField` `originalSignatories` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) \[`Party`] * instance `SetField` `recomputedKeyOpt` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) (`Optional` ([`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496), \[`Party`])) * instance `SetField` `recomputedObservers` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) \[`Party`] * instance `SetField` `recomputedSignatories` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) \[`Party`] * instance `SetField` `srcPackageName` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) `Text` * instance `SetField` `srcTemplateId` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) `TemplateTypeRep` ### `data Created` Constructors: * `Created` Instances: * instance `Show` [`Created`](#type-daml-script-internal-questions-transactiontree-created-98301) * instance `GetField` `argument` [`Created`](#type-daml-script-internal-questions-transactiontree-created-98301) `AnyTemplate` * instance `GetField` `contractId` [`Created`](#type-daml-script-internal-questions-transactiontree-created-98301) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `SetField` `argument` [`Created`](#type-daml-script-internal-questions-transactiontree-created-98301) `AnyTemplate` * instance `SetField` `contractId` [`Created`](#type-daml-script-internal-questions-transactiontree-created-98301) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) ### `data CreatedIndexPayload t` Constructors: * `CreatedIndexPayload` Instances: * instance `GetField` `offset` ([`CreatedIndexPayload`](#type-daml-script-internal-questions-transactiontree-createdindexpayload-52051) `t`) `Int` * instance `GetField` `templateId` ([`CreatedIndexPayload`](#type-daml-script-internal-questions-transactiontree-createdindexpayload-52051) `t`) `TemplateTypeRep` * instance `SetField` `offset` ([`CreatedIndexPayload`](#type-daml-script-internal-questions-transactiontree-createdindexpayload-52051) `t`) `Int` * instance `SetField` `templateId` ([`CreatedIndexPayload`](#type-daml-script-internal-questions-transactiontree-createdindexpayload-52051) `t`) `TemplateTypeRep` ### `data Exercised` Constructors: * `Exercised` Instances: * instance `Show` [`Exercised`](#type-daml-script-internal-questions-transactiontree-exercised-22057) * instance `GetField` `argument` [`Exercised`](#type-daml-script-internal-questions-transactiontree-exercised-22057) `AnyChoice` * instance `GetField` `childEvents` [`Exercised`](#type-daml-script-internal-questions-transactiontree-exercised-22057) \[[`TreeEvent`](#type-daml-script-internal-questions-transactiontree-treeevent-1267)] * instance `GetField` `choice` [`Exercised`](#type-daml-script-internal-questions-transactiontree-exercised-22057) `Text` * instance `GetField` `contractId` [`Exercised`](#type-daml-script-internal-questions-transactiontree-exercised-22057) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `SetField` `argument` [`Exercised`](#type-daml-script-internal-questions-transactiontree-exercised-22057) `AnyChoice` * instance `SetField` `childEvents` [`Exercised`](#type-daml-script-internal-questions-transactiontree-exercised-22057) \[[`TreeEvent`](#type-daml-script-internal-questions-transactiontree-treeevent-1267)] * instance `SetField` `choice` [`Exercised`](#type-daml-script-internal-questions-transactiontree-exercised-22057) `Text` * instance `SetField` `contractId` [`Exercised`](#type-daml-script-internal-questions-transactiontree-exercised-22057) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) ### `data ExercisedIndexPayload t` Constructors: * `ExercisedIndexPayload` Instances: * instance `GetField` `child` ([`ExercisedIndexPayload`](#type-daml-script-internal-questions-transactiontree-exercisedindexpayload-19779) `t`) ([`TreeIndex`](#type-daml-script-internal-questions-transactiontree-treeindex-21327) `t`) * instance `GetField` `choice` ([`ExercisedIndexPayload`](#type-daml-script-internal-questions-transactiontree-exercisedindexpayload-19779) `t`) `Text` * instance `GetField` `offset` ([`ExercisedIndexPayload`](#type-daml-script-internal-questions-transactiontree-exercisedindexpayload-19779) `t`) `Int` * instance `GetField` `templateId` ([`ExercisedIndexPayload`](#type-daml-script-internal-questions-transactiontree-exercisedindexpayload-19779) `t`) `TemplateTypeRep` * instance `SetField` `child` ([`ExercisedIndexPayload`](#type-daml-script-internal-questions-transactiontree-exercisedindexpayload-19779) `t`) ([`TreeIndex`](#type-daml-script-internal-questions-transactiontree-treeindex-21327) `t`) * instance `SetField` `choice` ([`ExercisedIndexPayload`](#type-daml-script-internal-questions-transactiontree-exercisedindexpayload-19779) `t`) `Text` * instance `SetField` `offset` ([`ExercisedIndexPayload`](#type-daml-script-internal-questions-transactiontree-exercisedindexpayload-19779) `t`) `Int` * instance `SetField` `templateId` ([`ExercisedIndexPayload`](#type-daml-script-internal-questions-transactiontree-exercisedindexpayload-19779) `t`) `TemplateTypeRep` ### `data TransactionTree` Constructors: * `TransactionTree` Instances: * instance `IsQuestion` `Submit` \[`Either` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (\[`CommandResult`], [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781))] * instance `Show` [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781) * instance `GetField` `continue` ([`ConcurrentSubmits`](#type-daml-script-internal-questions-submit-concurrentsubmits-82688) `a`) (\[`Either` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (\[`CommandResult`], [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781))] -> `a`) * instance `GetField` `rootEvents` [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781) \[[`TreeEvent`](#type-daml-script-internal-questions-transactiontree-treeevent-1267)] * instance `SetField` `continue` ([`ConcurrentSubmits`](#type-daml-script-internal-questions-submit-concurrentsubmits-82688) `a`) (\[`Either` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (\[`CommandResult`], [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781))] -> `a`) * instance `SetField` `rootEvents` [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781) \[[`TreeEvent`](#type-daml-script-internal-questions-transactiontree-treeevent-1267)] ### `data TreeEvent` Constructors: * `CreatedEvent Created` * `ExercisedEvent Exercised` Instances: * instance `Show` [`TreeEvent`](#type-daml-script-internal-questions-transactiontree-treeevent-1267) * instance `GetField` `childEvents` [`Exercised`](#type-daml-script-internal-questions-transactiontree-exercised-22057) \[[`TreeEvent`](#type-daml-script-internal-questions-transactiontree-treeevent-1267)] * instance `GetField` `rootEvents` [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781) \[[`TreeEvent`](#type-daml-script-internal-questions-transactiontree-treeevent-1267)] * instance `SetField` `childEvents` [`Exercised`](#type-daml-script-internal-questions-transactiontree-exercised-22057) \[[`TreeEvent`](#type-daml-script-internal-questions-transactiontree-treeevent-1267)] * instance `SetField` `rootEvents` [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781) \[[`TreeEvent`](#type-daml-script-internal-questions-transactiontree-treeevent-1267)] ### `data TreeIndex t` Constructors: * `CreatedIndex (CreatedIndexPayload t)` * `ExercisedIndex (ExercisedIndexPayload t)` Instances: * instance `GetField` `child` ([`ExercisedIndexPayload`](#type-daml-script-internal-questions-transactiontree-exercisedindexpayload-19779) `t`) ([`TreeIndex`](#type-daml-script-internal-questions-transactiontree-treeindex-21327) `t`) * instance `SetField` `child` ([`ExercisedIndexPayload`](#type-daml-script-internal-questions-transactiontree-exercisedindexpayload-19779) `t`) ([`TreeIndex`](#type-daml-script-internal-questions-transactiontree-treeindex-21327) `t`) ### `data AnyContractId` Constructors: * `AnyContractId` Instances: * instance `Eq` [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `Show` [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `GetField` `additionalInfoCid` [`ContractNotFoundAdditionalInfo`](/appdev/reference/daml-script/daml-script-internal#type-daml-script-internal-questions-submit-error-contractnotfoundadditionalinfo-6199) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `GetField` `coid` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `GetField` `contractId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `GetField` `contractId` [`Created`](#type-daml-script-internal-questions-transactiontree-created-98301) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `GetField` `contractId` [`Exercised`](#type-daml-script-internal-questions-transactiontree-exercised-22057) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `GetField` `contractId` [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) (`ContractId` ()) * instance `GetField` `localVerdictLockedContracts` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) \[[`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399)] * instance `GetField` `mCoid` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) (`Optional` [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399)) * instance `GetField` `templateId` [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) `TemplateTypeRep` * instance `SetField` `additionalInfoCid` [`ContractNotFoundAdditionalInfo`](/appdev/reference/daml-script/daml-script-internal#type-daml-script-internal-questions-submit-error-contractnotfoundadditionalinfo-6199) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `SetField` `coid` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `SetField` `contractId` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `SetField` `contractId` [`Created`](#type-daml-script-internal-questions-transactiontree-created-98301) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `SetField` `contractId` [`Exercised`](#type-daml-script-internal-questions-transactiontree-exercised-22057) [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) * instance `SetField` `contractId` [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) (`ContractId` ()) * instance `SetField` `localVerdictLockedContracts` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) \[[`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399)] * instance `SetField` `mCoid` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) (`Optional` [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399)) * instance `SetField` `templateId` [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) `TemplateTypeRep` ### `data ParticipantName` Participant name for multi-participant script runs to address a specific participant Constructors: * `ParticipantName` Instances: * instance `GetField` `participantName` [`ParticipantName`](#type-daml-script-internal-questions-partymanagement-participantname-88190) `Text` * instance `SetField` `participantName` [`ParticipantName`](#type-daml-script-internal-questions-partymanagement-participantname-88190) `Text` ### `data PartyDetails` The party details returned by the party management service. Constructors: * `PartyDetails` Party id True if party is hosted by the backing participant. Instances: * instance `IsQuestion` `ListKnownParties` \[[`PartyDetails`](#type-daml-script-internal-questions-partymanagement-partydetails-4369)] * instance `Eq` [`PartyDetails`](#type-daml-script-internal-questions-partymanagement-partydetails-4369) * instance `Ord` [`PartyDetails`](#type-daml-script-internal-questions-partymanagement-partydetails-4369) * instance `Show` [`PartyDetails`](#type-daml-script-internal-questions-partymanagement-partydetails-4369) * instance `GetField` `isLocal` [`PartyDetails`](#type-daml-script-internal-questions-partymanagement-partydetails-4369) `Bool` * instance `GetField` `party` [`PartyDetails`](#type-daml-script-internal-questions-partymanagement-partydetails-4369) `Party` * instance `SetField` `isLocal` [`PartyDetails`](#type-daml-script-internal-questions-partymanagement-partydetails-4369) `Bool` * instance `SetField` `party` [`PartyDetails`](#type-daml-script-internal-questions-partymanagement-partydetails-4369) `Party` ### `data PartyIdHint` A hint to the backing participant what party id to allocate. Must be a valid PartyIdString (as described in @value.proto@). Constructors: * `PartyIdHint` Instances: * instance `GetField` `partyIdHint` [`PartyIdHint`](#type-daml-script-internal-questions-partymanagement-partyidhint-14540) `Text` * instance `SetField` `partyIdHint` [`PartyIdHint`](#type-daml-script-internal-questions-partymanagement-partyidhint-14540) `Text` ### `type PrivateKeyHex` \= `BytesHex` A DER formatted private key to be used for ECDSA message signing Instances: * instance `GetField` `privateKey` [`Secp256k1KeyPair`](#type-daml-script-internal-questions-crypto-text-secp256k1keypair-9395) [`PrivateKeyHex`](#type-daml-script-internal-questions-crypto-text-privatekeyhex-82732) * instance `SetField` `privateKey` [`Secp256k1KeyPair`](#type-daml-script-internal-questions-crypto-text-secp256k1keypair-9395) [`PrivateKeyHex`](#type-daml-script-internal-questions-crypto-text-privatekeyhex-82732) ### `data Secp256k1KeyPair` Secp256k1 key pair generated by `secp256k1generatekeypair` for testing. Constructors: * `Secp256k1KeyPair` Instances: * instance `IsQuestion` `Secp256k1GenerateKeyPair` [`Secp256k1KeyPair`](#type-daml-script-internal-questions-crypto-text-secp256k1keypair-9395) * instance `GetField` `privateKey` [`Secp256k1KeyPair`](#type-daml-script-internal-questions-crypto-text-secp256k1keypair-9395) [`PrivateKeyHex`](#type-daml-script-internal-questions-crypto-text-privatekeyhex-82732) * instance `GetField` `publicKey` [`Secp256k1KeyPair`](#type-daml-script-internal-questions-crypto-text-secp256k1keypair-9395) `PublicKeyHex` * instance `SetField` `privateKey` [`Secp256k1KeyPair`](#type-daml-script-internal-questions-crypto-text-secp256k1keypair-9395) [`PrivateKeyHex`](#type-daml-script-internal-questions-crypto-text-privatekeyhex-82732) * instance `SetField` `publicKey` [`Secp256k1KeyPair`](#type-daml-script-internal-questions-crypto-text-secp256k1keypair-9395) `PublicKeyHex` ### `data AnyContractKey` Existential contract key type that can wrap an arbitrary contract key. Instances: * instance `Eq` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `Ord` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `GetField` `contractKey` `QueryNByKey` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `GetField` `contractKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `GetField` `duplicateContractKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (`Optional` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496)) * instance `GetField` `expectedKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `GetField` `failedTemplateKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `GetField` `getAnyContractKey` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) `LedgerValue` * instance `GetField` `getAnyContractKeyTemplateTypeRep` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) `TemplateTypeRep` * instance `GetField` `key` `QueryByKey` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `GetField` `keyE` `Command` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `GetField` `localVerdictLockedKeys` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) \[[`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496)] * instance `GetField` `originalKeyOpt` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) (`Optional` ([`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496), \[`Party`])) * instance `GetField` `recomputedKeyOpt` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) (`Optional` ([`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496), \[`Party`])) * instance `GetField` `sPrefetchKeys` `Submission` \[[`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496)] * instance `GetField` `soPrefetchKeys` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) \[[`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496)] * instance `SetField` `contractKey` `QueryNByKey` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `SetField` `contractKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `SetField` `duplicateContractKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (`Optional` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496)) * instance `SetField` `expectedKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `SetField` `failedTemplateKey` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `SetField` `getAnyContractKey` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) `LedgerValue` * instance `SetField` `getAnyContractKeyTemplateTypeRep` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) `TemplateTypeRep` * instance `SetField` `key` `QueryByKey` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `SetField` `keyE` `Command` [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) * instance `SetField` `localVerdictLockedKeys` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) \[[`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496)] * instance `SetField` `originalKeyOpt` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) (`Optional` ([`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496), \[`Party`])) * instance `SetField` `recomputedKeyOpt` [`UpgradeErrorType`](#type-daml-script-internal-questions-submit-error-upgradeerrortype-94779) (`Optional` ([`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496), \[`Party`])) * instance `SetField` `sPrefetchKeys` `Submission` \[[`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496)] * instance `SetField` `soPrefetchKeys` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) \[[`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496)] ### `data Commands a` This is used to build up the commands sent as part of `submit`. If you enable the `ApplicativeDo` extension by adding `{-# LANGUAGE ApplicativeDo #-}` at the top of your file, you can use `do`-notation but the individual commands must not depend on each other and the last statement in a `do` block must be of the form `return expr` or `pure expr`. Constructors: * `Commands` Instances: * instance `Functor` [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) * instance `Applicative` [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) * instance `GetField` `commands` ([`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a`) \[`CommandWithMeta`] * instance `GetField` `continue` ([`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a`) (\[`CommandResult`] -> `a`) * instance `SetField` `commands` ([`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a`) \[`CommandWithMeta`] * instance `SetField` `continue` ([`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a`) (\[`CommandResult`] -> `a`) ### `data Disclosure` Contract disclosures which can be acquired via `queryDisclosure` Constructors: * `Disclosure` Instances: * instance `Eq` [`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298) * instance `Ord` [`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298) * instance `GetField` `blob` [`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298) `Text` * instance `GetField` `contractId` [`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298) (`ContractId` ()) * instance `GetField` `sDisclosures` `Submission` \[[`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298)] * instance `GetField` `soDisclosures` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) \[[`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298)] * instance `GetField` `templateId` [`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298) `TemplateTypeRep` * instance `SetField` `blob` [`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298) `Text` * instance `SetField` `contractId` [`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298) (`ContractId` ()) * instance `SetField` `sDisclosures` `Submission` \[[`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298)] * instance `SetField` `soDisclosures` [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) \[[`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298)] * instance `SetField` `templateId` [`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298) `TemplateTypeRep` ### `data Script a` This is the type of A Daml script. `Script` is an instance of `Action`, so you can use `do` notation. Constructors: * `Script` HIDE We use an inlined StateT () to separate evaluation of something of type Script from execution and to ensure proper sequencing of evaluation. This is mainly so that `debug` does something slightly more sensible. HIDE Dummy field to make sure damlc does not consider this an old-style typeclass. Instances: * instance [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) [`Script`](#type-daml-script-internal-lowlevel-script-4781) * instance `Functor` [`Script`](#type-daml-script-internal-lowlevel-script-4781) * instance `CanAssert` [`Script`](#type-daml-script-internal-lowlevel-script-4781) * instance `ActionCatch` [`Script`](#type-daml-script-internal-lowlevel-script-4781) * instance `ActionThrow` [`Script`](#type-daml-script-internal-lowlevel-script-4781) * instance `ActionFailWithStatus` [`Script`](#type-daml-script-internal-lowlevel-script-4781) * instance `CanAbort` [`Script`](#type-daml-script-internal-lowlevel-script-4781) * instance `HasTime` [`Script`](#type-daml-script-internal-lowlevel-script-4781) * instance `Action` [`Script`](#type-daml-script-internal-lowlevel-script-4781) * instance `ActionFail` [`Script`](#type-daml-script-internal-lowlevel-script-4781) * instance `Applicative` [`Script`](#type-daml-script-internal-lowlevel-script-4781) * instance `GetField` `dummy` ([`Script`](#type-daml-script-internal-lowlevel-script-4781) `a`) () * instance `GetField` `runScript` ([`Script`](#type-daml-script-internal-lowlevel-script-4781) `a`) (() -> `Free` `ScriptF` (`a`, ())) * instance `SetField` `dummy` ([`Script`](#type-daml-script-internal-lowlevel-script-4781) `a`) () * instance `SetField` `runScript` ([`Script`](#type-daml-script-internal-lowlevel-script-4781) `a`) (() -> `Free` `ScriptF` (`a`, ())) ## Typeclasses ### `class IsSubmitOptions options` Defines a type that can be transformed into a SubmitOptions Methods: * `toSubmitOptions` : `options` -> [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) Instances: * instance [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) * instance [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) `Party` * instance [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) (`NonEmpty` `Party`) * instance [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) (`Set` `Party`) * instance [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) \[`Party`] ### `class Applicative script => ScriptSubmit script` Defines an applicative that can run transaction submissions. Usually this is simply `Script`. Methods: * `liftSubmission` : `HasCallStack` => [`ConcurrentSubmits`](#type-daml-script-internal-questions-submit-concurrentsubmits-82688) `a` -> `script` `a` Instances: * instance [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) [`Script`](#type-daml-script-internal-lowlevel-script-4781) * instance [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) [`ConcurrentSubmits`](#type-daml-script-internal-questions-submit-concurrentsubmits-82688) ## Functions ### `userIdToText` `userIdToText` : [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) -> `Text` Extract the name-text from a user identitifer. ### `validateUserId` `validateUserId` : `HasCallStack` => `Text` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) Construct a user identifer from text. May throw InvalidUserId. ### `createUser` `createUser` : `HasCallStack` => [`User`](#type-daml-script-internal-questions-usermanagement-user-21930) -> \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) () Create a user with the given rights. May throw UserAlreadyExists. ### `createUserOn` `createUserOn` : `HasCallStack` => [`User`](#type-daml-script-internal-questions-usermanagement-user-21930) -> \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] -> [`ParticipantName`](#type-daml-script-internal-questions-partymanagement-participantname-88190) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) () Create a user with the given rights on the given participant. May throw UserAlreadyExists. ### `getUser` `getUser` : `HasCallStack` => [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) [`User`](#type-daml-script-internal-questions-usermanagement-user-21930) Fetch a user record by user id. May throw UserNotFound. ### `getUserOn` `getUserOn` : `HasCallStack` => [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) -> [`ParticipantName`](#type-daml-script-internal-questions-partymanagement-participantname-88190) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) [`User`](#type-daml-script-internal-questions-usermanagement-user-21930) Fetch a user record by user id from the given participant. May throw UserNotFound. ### `listAllUsers` `listAllUsers` : [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[[`User`](#type-daml-script-internal-questions-usermanagement-user-21930)] List all users. This function may make multiple calls to underlying paginated ledger API. ### `listAllUsersOn` `listAllUsersOn` : [`ParticipantName`](#type-daml-script-internal-questions-partymanagement-participantname-88190) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[[`User`](#type-daml-script-internal-questions-usermanagement-user-21930)] List all users on the given participant. This function may make multiple calls to underlying paginated ledger API. ### `grantUserRights` `grantUserRights` : `HasCallStack` => [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) -> \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] Grant rights to a user. Returns the rights that have been newly granted. May throw UserNotFound. ### `grantUserRightsOn` `grantUserRightsOn` : `HasCallStack` => [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) -> \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] -> [`ParticipantName`](#type-daml-script-internal-questions-partymanagement-participantname-88190) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] Grant rights to a user on the given participant. Returns the rights that have been newly granted. May throw UserNotFound. ### `revokeUserRights` `revokeUserRights` : `HasCallStack` => [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) -> \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] Revoke rights for a user. Returns the revoked rights. May throw UserNotFound. ### `revokeUserRightsOn` `revokeUserRightsOn` : `HasCallStack` => [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) -> \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] -> [`ParticipantName`](#type-daml-script-internal-questions-partymanagement-participantname-88190) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] Revoke rights for a user on the given participant. Returns the revoked rights. May throw UserNotFound. ### `deleteUser` `deleteUser` : `HasCallStack` => [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) () Delete a user. May throw UserNotFound. ### `deleteUserOn` `deleteUserOn` : `HasCallStack` => [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) -> [`ParticipantName`](#type-daml-script-internal-questions-partymanagement-participantname-88190) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) () Delete a user on the given participant. May throw UserNotFound. ### `listUserRights` `listUserRights` : `HasCallStack` => [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] List the rights of a user. May throw UserNotFound. ### `listUserRightsOn` `listUserRightsOn` : `HasCallStack` => [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) -> [`ParticipantName`](#type-daml-script-internal-questions-partymanagement-participantname-88190) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[[`UserRight`](#type-daml-script-internal-questions-usermanagement-userright-13475)] List the rights of a user on the given participant. May throw UserNotFound. ### `submitUser` `submitUser` : `HasCallStack` => [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) `a` Submit the commands with the actAs and readAs claims granted to a user. May throw UserNotFound. ### `submitUserOn` `submitUserOn` : `HasCallStack` => [`UserId`](#type-daml-script-internal-questions-usermanagement-userid-11123) -> [`ParticipantName`](#type-daml-script-internal-questions-partymanagement-participantname-88190) -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) `a` Submit the commands with the actAs and readAs claims granted to the user on the given participant. May throw UserNotFound. ### `setTime` `setTime` : `HasCallStack` => `Time` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) () Set the time via the time service. This is only supported in Daml Studio and `dpm test` as well as when running over the gRPC API against a ledger in static time mode. Note that the ledger time service does not support going backwards in time. However, you can go back in time in Daml Studio. ### `sleep` `sleep` : `HasCallStack` => `RelTime` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) () Sleep for the given duration. This is primarily useful in tests where you repeatedly call `query` until a certain state is reached. Note that this will sleep for the same duration in both wall clock and static time mode. ### `passTime` `passTime` : `RelTime` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) () Advance ledger time by the given interval. This is only supported in Daml Studio and `dpm test` as well as when running over the gRPC API against a ledger in static time mode. Note that this is not an atomic operation over the gRPC API so no other clients should try to change time while this is running. Note that the ledger time service does not support going backwards in time. However, you can go back in time in Daml Studio. ### `actAs` `actAs` : `IsParties` `parties` => `parties` -> [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) Builds a SubmitOptions with given actAs parties. Any given submission must include at least one actAs party. Note that the parties type is constrainted by `IsParties`, allowing for specifying parties as any of the following: ``` Party [Party] NonEmpty Party Set Party Optional Party ``` ### `readAs` `readAs` : `IsParties` `parties` => `parties` -> [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) Builds a SubmitOptions with given readAs parties. A given submission may omit any readAs parties and still be valid. Note that the parties type is constrainted by `IsParties`, allowing for specifying parties as any of the following: ``` Party [Party] NonEmpty Party Set Party Optional Party ``` ### `discloseMany` `discloseMany` : \[[`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298)] -> [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) Provides many Explicit Disclosures to the transaction. ### `disclose` `disclose` : [`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298) -> [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) Provides an Explicit Disclosure to the transaction. ### `packagePreference` `packagePreference` : \[[`PackageId`](#type-daml-script-internal-questions-submit-packageid-95921)] -> [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) Provide a package id selection preference for upgrades for a submission ### `prefetchKeys` `prefetchKeys` : \[[`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496)] -> [`SubmitOptions`](#type-daml-script-internal-questions-submit-submitoptions-56692) Provide a list of contract keys to prefetch for a submission ### `concurrently` `concurrently` : `HasCallStack` => [`ConcurrentSubmits`](#type-daml-script-internal-questions-submit-concurrentsubmits-82688) `a` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) `a` Allows for concurrent submission of transactions, using an applicative, similar to Commands. Concurrently takes a computation in `ConcurrentSubmits`, which supports all the existing `submit` functions that `Script` supports. It however does not implement `Action`, and thus does not support true binding and computation interdependence NOTE: The submission order of transactions within `concurrently` is deterministic, this function is not intended to test contention. It is only intended to allow faster submission of many unrelated transactions, by not waiting for completion for each transaction before sending the next. Example: ``` exerciseResult <- concurrently $ do alice `submit` createCmd ... res <- alice `submit` exerciseCmd ... bob `submit` createCmd ... pure res ``` ### `submitResultAndTree` `submitResultAndTree` : (`HasCallStack`, [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) `script`, [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) `options`) => `options` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> `script` (`a`, [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781)) Equivalent to `submit` but returns the result and the full transaction tree. ### `trySubmitResultAndTree` `trySubmitResultAndTree` : (`HasCallStack`, [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) `script`, [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) `options`) => `options` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> `script` (`Either` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) (`a`, [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781))) Equivalent to `trySubmit` but returns the result and the full transaction tree. ### `submitWithError` `submitWithError` : (`HasCallStack`, [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) `script`, [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) `options`) => `options` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> `script` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) Equivalent to `submitMustFail` but returns the error thrown. ### `submit` `submit` : (`HasCallStack`, [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) `script`, [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) `options`) => `options` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> `script` `a` `submit p cmds` submits the commands `cmds` as a single transaction from party `p` and returns the value returned by `cmds`. The `options` field can either be any "Parties" like type (See `IsParties`) or `SubmitOptions` which allows for finer control over parameters of the submission. If the transaction fails, `submit` also fails. ### `submitWithOptions` `submitWithOptions` : (`HasCallStack`, [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) `script`, [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) `options`) => `options` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> `script` `a` ### `submitTree` `submitTree` : (`HasCallStack`, [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) `script`, [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) `options`) => `options` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> `script` [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781) Equivalent to `submit` but returns the full transaction tree. ### `trySubmit` `trySubmit` : (`HasCallStack`, [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) `script`, [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) `options`) => `options` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> `script` (`Either` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `a`) Submit a transaction and recieve back either the result, or a `SubmitError`. In the majority of failures, this will not crash at runtime. ### `trySubmitTree` `trySubmitTree` : (`HasCallStack`, [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) `script`, [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) `options`) => `options` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> `script` (`Either` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781)) Equivalent to `trySubmit` but returns the full transaction tree. ### `submitMustFail` `submitMustFail` : (`HasCallStack`, [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) `script`, [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) `options`) => `options` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> `script` () `submitMustFail p cmds` submits the commands `cmds` as a single transaction from party `p`. See submitWithOptions for details on the `options` field It only succeeds if the submitting the transaction fails. ### `submitMustFailWithOptions` `submitMustFailWithOptions` : (`HasCallStack`, [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) `script`, [`IsSubmitOptions`](#class-daml-script-internal-questions-submit-issubmitoptions-64211) `options`) => `options` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> `script` () ### `submitMulti` `submitMulti` : (`HasCallStack`, [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) `script`) => \[`Party`] -> \[`Party`] -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> `script` `a` `submitMulti actAs readAs cmds` submits `cmds` as a single transaction authorized by `actAs`. Fetched contracts must be visible to at least one party in the union of actAs and readAs. Note: This behaviour can be achieved using `submit (actAs actors <> readAs readers) cmds` and is only provided for backwards compatibility. ### `submitMultiMustFail` `submitMultiMustFail` : (`HasCallStack`, [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) `script`) => \[`Party`] -> \[`Party`] -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> `script` () `submitMultiMustFail actAs readAs cmds` behaves like `submitMulti actAs readAs cmds` but fails when `submitMulti` succeeds and the other way around. Note: This behaviour can be achieved using `submitMustFail (actAs actors <> readAs readers) cmds` and is only provided for backwards compatibility. ### `submitTreeMulti` `submitTreeMulti` : (`HasCallStack`, [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) `script`) => \[`Party`] -> \[`Party`] -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> `script` [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781) Equivalent to `submitMulti` but returns the full transaction tree. Note: This behaviour can be achieved using `submitTree (actAs actors <> readAs readers) cmds` and is only provided for backwards compatibility. ### `trySubmitMulti` `trySubmitMulti` : (`HasCallStack`, [`ScriptSubmit`](#class-daml-script-internal-questions-submit-scriptsubmit-55101) `script`) => \[`Party`] -> \[`Party`] -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> `script` (`Either` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `a`) Alternate version of `trySubmit` that allows specifying the actAs and readAs parties. Note: This behaviour can be achieved using `trySubmit (actAs actors <> readAs readers) cmds` and is only provided for backwards compatibility. ### `trySubmitConcurrently` `trySubmitConcurrently` : `HasCallStack` => `Party` -> \[[`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a`] -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[`Either` [`SubmitError`](#type-daml-script-internal-questions-submit-error-submiterror-38284) `a`] ### `submitWithDisclosures` `submitWithDisclosures` : `HasCallStack` => `Party` -> \[[`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298)] -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) `a` ### `submitWithDisclosuresMustFail` `submitWithDisclosuresMustFail` : `HasCallStack` => `Party` -> \[[`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298)] -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `a` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) () ### `fromTree` `fromTree` : `Template` `t` => [`TransactionTree`](#type-daml-script-internal-questions-transactiontree-transactiontree-91781) -> [`TreeIndex`](#type-daml-script-internal-questions-transactiontree-treeindex-21327) `t` -> `ContractId` `t` Finds the contract id of an event within a tree given a tree index Tree indices are created using the `created(N)` and `exercised(N)` builders which allow building "paths" within a transaction to a create node For example, `exercisedN @MyTemplate1 "MyChoice" 2 $ createdN @MyTemplate2 1` would find the `ContractId MyTemplate2` of the second (0 index) create event under the 3rd exercise event of `MyChoice` from `MyTemplate1` ### `created` `created` : `HasTemplateTypeRep` `t` => [`TreeIndex`](#type-daml-script-internal-questions-transactiontree-treeindex-21327) `t` Index for the first create event of a given template e.g. `created @MyTemplate` ### `createdN` `createdN` : `HasTemplateTypeRep` `t` => `Int` -> [`TreeIndex`](#type-daml-script-internal-questions-transactiontree-treeindex-21327) `t` Index for the Nth create event of a given template e.g. `createdN 2 @MyTemplate` `created = createdN 0` ### `exercised` `exercised` : `HasTemplateTypeRep` `t` => `Text` -> [`TreeIndex`](#type-daml-script-internal-questions-transactiontree-treeindex-21327) `t'` -> [`TreeIndex`](#type-daml-script-internal-questions-transactiontree-treeindex-21327) `t'` Index for the first exercise of a given choice on a given template e.g. `exercised @MyTemplate "MyChoice"` ### `exercisedN` `exercisedN` : `HasTemplateTypeRep` `t` => `Text` -> `Int` -> [`TreeIndex`](#type-daml-script-internal-questions-transactiontree-treeindex-21327) `t'` -> [`TreeIndex`](#type-daml-script-internal-questions-transactiontree-treeindex-21327) `t'` Index for the Nth exercise of a given choice on a given template e.g. `exercisedN @MyTemplate "MyChoice" 2` `exercised c = exercisedN c 0` ### `fromAnyContractId` `fromAnyContractId` : `Template` `t` => [`AnyContractId`](#type-daml-script-internal-questions-util-anycontractid-11399) -> `Optional` (`ContractId` `t`) ### `query` `query` : (`Template` `t`, `HasEnsure` `t`, `IsParties` `p`) => `p` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[(`ContractId` `t`, `t`)] Query the set of active contracts of the template that are visible to the given party. ### `queryFilter` `queryFilter` : (`Template` `c`, `HasEnsure` `c`, `IsParties` `p`) => `p` -> (`c` -> `Bool`) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[(`ContractId` `c`, `c`)] Query the set of active contracts of the template that are visible to the given party and match the given predicate. ### `queryContractId` `queryContractId` : (`Template` `t`, `HasEnsure` `t`, `IsParties` `p`, `HasCallStack`) => `p` -> `ContractId` `t` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) (`Optional` `t`) Query for the contract with the given contract id. Returns `None` if there is no active contract the party is a stakeholder on. WARNING: Over the gRPC backend this performs a linear search over all contracts of the same type, so only use this if the number of active contracts is small. This is semantically equivalent to calling `query` and filtering on the client side. ### `queryDisclosure` `queryDisclosure` : (`Template` `t`, `IsParties` `p`, `HasCallStack`) => `p` -> `ContractId` `t` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) (`Optional` [`Disclosure`](#type-daml-script-internal-questions-commands-disclosure-40298)) Queries a Disclosure for a given ContractId. Same performance caveats apply as to `queryContractId`. ### `queryInterface` `queryInterface` : (`Template` `i`, `HasInterfaceView` `i` `v`, `IsParties` `p`) => `p` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[(`ContractId` `i`, `Optional` `v`)] Query the set of active contract views for an interface that are visible to the given party. If the view function fails for a given contract id, The `Optional v` will be `None`. ### `queryInterfaceContractId` `queryInterfaceContractId` : (`Template` `i`, `HasInterfaceView` `i` `v`, `IsParties` `p`, `HasCallStack`) => `p` -> `ContractId` `i` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) (`Optional` `v`) Query for the contract view with the given contract id. Returns `None` if there is no active contract the party is a stakeholder on. Returns `None` if the view function fails for the given contract id. WARNING: Over the gRPC backend this performs a linear search over all contracts of the same type, so only use this if the number of active contracts is small. This is semantically equivalent to calling `queryInterface` and filtering on the client side. ### `queryByKey` `queryByKey` : (`HasCallStack`, `TemplateKey` `t` `k`, `IsParties` `p`) => `p` -> `k` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) (`Optional` (`ContractId` `t`, `t`)) Returns `None` if there is no active contract with the given key that the party is a stakeholder on. WARNING: Over the gRPC backend this performs a linear search over all contracts of the same type, so only use this if the number of active contracts is small. This is semantically equivalent to calling `query` and filtering on the client side. ### `queryNByKey` `queryNByKey` : (`HasCallStack`, `TemplateKey` `t` `k`, `IsParties` `p`) => `p` -> `Int` -> `k` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[(`ContractId` `t`, `t`)] Returns N contracts matching a key, returns empty list if the key is inactive Only available in LF 2.3+ WARNING: Over the gRPC backend this performs a linear search over all contracts of the same type, so only use this if the number of active contracts is small. This is semantically equivalent to calling `query` and filtering on the client side. ### `queryAllByKey` `queryAllByKey` : (`HasCallStack`, `TemplateKey` `t` `k`, `IsParties` `p`) => `p` -> `k` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[(`ContractId` `t`, `t`)] Returns all contracts matching a key, returns empty list if the key is inactive Only available in LF 2.3+ WARNING: Over the gRPC backend this performs a linear search over all contracts of the same type, so only use this if the number of active contracts is small. This is semantically equivalent to calling `query` and filtering on the client side. ### `allocateParty` `allocateParty` : `HasCallStack` => `Text` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) `Party` Allocate a party with the given display name using the party management service. ### `allocatePartyWithHint` `allocatePartyWithHint` : `HasCallStack` => `Text` -> [`PartyIdHint`](#type-daml-script-internal-questions-partymanagement-partyidhint-14540) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) `Party` ### `allocatePartyByHint` `allocatePartyByHint` : `HasCallStack` => [`PartyIdHint`](#type-daml-script-internal-questions-partymanagement-partyidhint-14540) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) `Party` Allocate a party with the given id hint using the party management service. ### `allocatePartyOn` `allocatePartyOn` : `Text` -> [`ParticipantName`](#type-daml-script-internal-questions-partymanagement-participantname-88190) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) `Party` Allocate a party with the given display name on the specified participant using the party management service. ### `allocatePartyWithHintOn` `allocatePartyWithHintOn` : `Text` -> [`PartyIdHint`](#type-daml-script-internal-questions-partymanagement-partyidhint-14540) -> [`ParticipantName`](#type-daml-script-internal-questions-partymanagement-participantname-88190) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) `Party` ### `allocatePartyByHintOn` `allocatePartyByHintOn` : [`PartyIdHint`](#type-daml-script-internal-questions-partymanagement-partyidhint-14540) -> [`ParticipantName`](#type-daml-script-internal-questions-partymanagement-participantname-88190) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) `Party` Allocate a party with the given id hint on the specified participant using the party management service. ### `listKnownParties` `listKnownParties` : `HasCallStack` => [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[[`PartyDetails`](#type-daml-script-internal-questions-partymanagement-partydetails-4369)] List the parties known to the default participant. ### `listKnownPartiesOn` `listKnownPartiesOn` : `HasCallStack` => [`ParticipantName`](#type-daml-script-internal-questions-partymanagement-participantname-88190) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) \[[`PartyDetails`](#type-daml-script-internal-questions-partymanagement-partydetails-4369)] List the parties known to the given participant. ### `tryToEither` `tryToEither` : (() -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) `t`) -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) (`Either` `AnyException` `t`) Named version of the `try catch` behaviour of Daml-Script. Note that this is no more powerful than `try catch` in daml-script, and will not catch exceptions in submissions. (Use `trySubmit` for this) Input computation is deferred to catch pure exceptions ### `tryFailureStatus` `tryFailureStatus` : [`Script`](#type-daml-script-internal-lowlevel-script-4781) `a` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) (`Either` `FailureStatus` `a`) Runs a script for a result. If it fails either by Daml Exceptions or `failWithStatus`, returns the `FailureStatus` that a Canton Ledger would return. ### `secp256k1signWithEcdsaOnly` `secp256k1signWithEcdsaOnly` : `HasCallStack` => [`PrivateKeyHex`](#type-daml-script-internal-questions-crypto-text-privatekeyhex-82732) -> `BytesHex` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) `BytesHex` Using a DER formatted private key (encoded as a hex string) use Secp256k1 to sign a hex encoded string message. Note that this implementation uses a random source with a fixed PRNG and seed, ensuring it behaves deterministically during testing. For example, CCTP attestation services may be mocked in daml-script code. ### `secp256k1sign` `secp256k1sign` : `HasCallStack` => [`PrivateKeyHex`](#type-daml-script-internal-questions-crypto-text-privatekeyhex-82732) -> `BytesHex` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) `BytesHex` Using a DER formatted private key (encoded as a hex string) use Secp256k1 to sign a SHA256 digest of a hex encoded string message. Note that this implementation uses a random source with a fixed PRNG and seed, ensuring it behaves deterministically during testing. For example, CCTP attestation services may be mocked in daml-script code. ### `secp256k1generatekeypair` `secp256k1generatekeypair` : `HasCallStack` => [`Script`](#type-daml-script-internal-lowlevel-script-4781) [`Secp256k1KeyPair`](#type-daml-script-internal-questions-crypto-text-secp256k1keypair-9395) Generate DER formatted Secp256k1 public/private key pairs. ### `toAnyContractKey` `toAnyContractKey` : (`HasTemplateTypeRep` `t`, `TemplateKey` `t` `k`) => `k` -> [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) Wrap a contract key in `AnyContractKey`. You must pass the template type `t` using an explicit type application. For example `toAnyContractKey @Proposal k`. ### `fromAnyContractKey` `fromAnyContractKey` : (`HasTemplateTypeRep` `t`, `TemplateKey` `t` `k`) => [`AnyContractKey`](#type-daml-script-internal-questions-commands-anycontractkey-29496) -> `Optional` `k` Extract the underlying key from `AnyContractKey` if the template and choice types match, or return `None`. You must pass the template type `t` using an explicit type application. For example `fromAnyContractKey @Proposal k`. ### `createCmd` `createCmd` : (`Template` `t`, `HasEnsure` `t`) => `t` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) (`ContractId` `t`) Create a contract of the given template. ### `exerciseCmd` `exerciseCmd` : `Choice` `t` `c` `r` => `ContractId` `t` -> `c` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `r` Exercise a choice on the given contract. ### `exerciseByKeyCmd` `exerciseByKeyCmd` : (`TemplateKey` `t` `k`, `Choice` `t` `c` `r`) => `k` -> `c` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `r` Exercise a choice on the contract with the given key. ### `createAndExerciseWithCidCmd` `createAndExerciseWithCidCmd` : (`Template` `t`, `Choice` `t` `c` `r`, `HasEnsure` `t`) => `t` -> `c` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) (`ContractId` `t`, `r`) Create a contract and exercise a choice on it in the same transaction, returns the created ContractId, and the choice result. ### `createAndExerciseCmd` `createAndExerciseCmd` : (`Template` `t`, `Choice` `t` `c` `r`, `HasEnsure` `t`) => `t` -> `c` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `r` Create a contract and exercise a choice on it in the same transaction, returns only the choice result. ### `createExactCmd` `createExactCmd` : (`Template` `t`, `HasEnsure` `t`) => `t` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) (`ContractId` `t`) Create a contract of the given template, using the exact package ID of the template given - upgrades are disabled. ### `exerciseExactCmd` `exerciseExactCmd` : `Choice` `t` `c` `r` => `ContractId` `t` -> `c` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `r` Exercise a choice on the given contract, using the exact package ID of the template given - upgrades are disabled. ### `exerciseByKeyExactCmd` `exerciseByKeyExactCmd` : (`TemplateKey` `t` `k`, `Choice` `t` `c` `r`) => `k` -> `c` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `r` Exercise a choice on the contract with the given key, using the exact package ID of the template given - upgrades are disabled. ### `createAndExerciseWithCidExactCmd` `createAndExerciseWithCidExactCmd` : (`Template` `t`, `Choice` `t` `c` `r`, `HasEnsure` `t`) => `t` -> `c` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) (`ContractId` `t`, `r`) Create a contract and exercise a choice on it in the same transaction, returns the created ContractId, and the choice result. Uses the exact package ID of the template given - upgrades are disabled. ### `createAndExerciseExactCmd` `createAndExerciseExactCmd` : (`Template` `t`, `Choice` `t` `c` `r`, `HasEnsure` `t`) => `t` -> `c` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) `r` Create a contract and exercise a choice on it in the same transaction, returns only the choice result. ### `archiveCmd` `archiveCmd` : `Choice` `t` `Archive` () => `ContractId` `t` -> [`Commands`](#type-daml-script-internal-questions-commands-commands-79301) () Archive the given contract. `archiveCmd cid` is equivalent to `exerciseCmd cid Archive`. ### `script` `script` : [`Script`](#type-daml-script-internal-lowlevel-script-4781) `a` -> [`Script`](#type-daml-script-internal-lowlevel-script-4781) `a` Convenience helper to declare you are writing a Script. This is only useful for readability and to improve type inference. Any expression of type `Script a` is a valid script regardless of whether it is implemented using `script` or not.