> ## 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.
# Splice.AmuletRules
> Documentation for Splice.AmuletRules
## Templates
**template** AmuletRules
> The rules governing how Amulet users can modify the Amulet state managed by the DSO party.
>
> Signatory: dso
>
> | Field | Type | Description |
> | -------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> | dso | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | configSchedule | Schedule [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) (AmuletConfig USD) | |
> | isDevNet | [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265) | |
> | contractStateSchemaVersion | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261) | |
>
> *
> **Choice** AmuletRules\_AddFutureAmuletConfigSchedule
>
>
> Controller: dso
>
> Returns: AmuletRules\_AddFutureAmuletConfigScheduleResult
>
> | Field | Type | Description |
> | --------------- | ---------------------------------------------------------------------------------------------------------- | ----------- |
> | newScheduleItem | ([Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886), AmuletConfig USD) | |
>
> *
> **Choice** AmuletRules\_AdvanceOpenMiningRounds
>
>
> Controller: dso
>
> Returns: AmuletRules\_AdvanceOpenMiningRoundsResult
>
> | Field | Type | Description |
> | ----------------- | ------------------------------------------------------------------------------------------------------------------ | ----------- |
> | amuletPrice | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> | roundToArchiveCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound | |
> | middleRoundCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound | |
> | latestRoundCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound | |
>
> *
> **Choice** AmuletRules\_AllocateDevelopmentFundCoupon
>
>
> Allows the Development Fund manager to allocate a specified amount from a collection of UnclaimedDevelopmentFundCoupons to a beneficiary, generating a DevelopmentFundCoupon and producing a leftover unclaimed coupon if applicable.
>
> Controller: fundManager
>
> Returns: AmuletRules\_AllocateDevelopmentFundCouponResult
>
> | Field | Type | Description |
> | ---------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------ | ----------- |
> | unclaimedDevelopmentFundCouponCids | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon] | |
> | beneficiary | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | amount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> | expiresAt | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | |
> | reason | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | |
> | fundManager | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
>
> *
> **Choice** AmuletRules\_Amulet\_ExpireTransferInstructions
>
>
> Controller: dso
>
> Returns: AmuletRules\_Amulet\_ExpireTransferInstructionsResult
>
> | Field | Type | Description |
> | ----------- | ------------------------------------------------------------------------------------------- | ----------- |
> | expectedDso | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | inputs | \[AmuletRules\_ExpireTransferInstructionInput] | |
> | observers | \[[Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)] | |
>
> *
> **Choice** AmuletRules\_BootstrapExternalPartyConfigState
>
>
> Controller: dso
>
> Returns: AmuletRules\_BootstrapExternalPartyConfigStateResult
>
> | Field | Type | Description |
> | --------------------- | ---------------------------------------------------------------------------------------- | ----------- |
> | openMiningRoundTriple | OpenMiningRoundTriple | |
> | expectedDso | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
>
> *
> **Choice** AmuletRules\_Bootstrap\_Rounds
>
>
> Controller: dso
>
> Returns: AmuletRules\_Bootstrap\_RoundsResult
>
> | Field | Type | Description |
> | -------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> | amuletPrice | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> | round0Duration | [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082) | |
> | initialRound | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261) | |
>
> *
> **Choice** AmuletRules\_BuyMemberTraffic
>
>
> Controller: provider
>
> Returns: AmuletRules\_BuyMemberTrafficResult
>
> | Field | Type | Description |
> | -------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> | inputs | \[TransferInput] | |
> | context | TransferContext | |
> | provider | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | memberId | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | |
> | synchronizerId | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | |
> | migrationId | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261) | |
> | trafficAmount | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261) | |
> | expectedDso | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
>
> *
> **Choice** AmuletRules\_ClaimExpiredRewards
>
>
> Controller: dso
>
> Returns: AmuletRules\_ClaimExpiredRewardsResult
>
> | Field | Type | Description |
> | -------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> | closedRoundCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ClosedMiningRound | |
> | validatorRewardCouponCids | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorRewardCoupon] | |
> | appCouponCids | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AppRewardCoupon] | |
> | svRewardCouponCids | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvRewardCoupon] | |
> | optValidatorFaucetCouponCids | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorFaucetCoupon] | |
> | optValidatorLivenessActivityRecordCids | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorLivenessActivityRecord] | |
>
> *
> **Choice** AmuletRules\_ComputeFees
>
>
> Compute the output fees for transfer against the given context
>
> Controller: sender
>
> Returns: AmuletRules\_ComputeFeesResult
>
> | Field | Type | Description |
> | ----------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> | context | TransferContext | |
> | sender | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | outputs | \[TransferOutput] | |
> | expectedDso | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
>
> *
> **Choice** AmuletRules\_ConvertFeaturedAppActivityMarkers
>
>
> Controller: dso
>
> Returns: AmuletRules\_ConvertFeaturedAppActivityMarkersResult
>
> | Field | Type | Description |
> | ------------------ | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------- |
> | markerCids | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppActivityMarker] | |
> | openMiningRoundCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound | |
> | observers | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) \[[Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)] | A list of choice observers. This is expected to be set to the union of all providers and beneficiaries to ensure that this creates only one view. |
>
> *
> **Choice** AmuletRules\_CreateExternalPartySetupProposal
>
>
> Propose to host an external party The provider pre-pays the fees for the creation of a TransferPreapproval contract on behalf of the external party when exercising this choice
>
> Controller: validator
>
> Returns: AmuletRules\_CreateExternalPartySetupProposalResult
>
> | Field | Type | Description |
> | -------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> | context | PaymentTransferContext | |
> | inputs | \[TransferInput] | |
> | user | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | validator | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | preapprovalExpiresAt | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | |
> | expectedDso | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
>
> *
> **Choice** AmuletRules\_CreateTransferPreapproval
>
>
> Pre-approve incoming amulet transfers
>
> Controller: provider, receiver
>
> Returns: AmuletRules\_CreateTransferPreapprovalResult
>
> | Field | Type | Description |
> | ----------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> | context | PaymentTransferContext | |
> | inputs | \[TransferInput] | |
> | receiver | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | provider | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | expiresAt | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | |
> | expectedDso | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
>
> *
> **Choice** AmuletRules\_DevNet\_FeatureApp
>
>
> Controller: provider
>
> Returns: AmuletRules\_DevNet\_FeatureAppResult
>
> | Field | Type | Description |
> | -------- | ---------------------------------------------------------------------------------------- | ----------- |
> | provider | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
>
> *
> **Choice** AmuletRules\_DevNet\_Tap
>
>
> Controller: receiver
>
> Returns: AmuletRules\_DevNet\_TapResult
>
> | Field | Type | Description |
> | --------- | ------------------------------------------------------------------------------------------------------------------ | ----------- |
> | receiver | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | amount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> | openRound | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound | |
>
> *
> **Choice** AmuletRules\_Fetch
>
>
> Controller: p
>
> Returns: AmuletRules
>
> | Field | Type | Description |
> | ----- | ---------------------------------------------------------------------------------------- | ----------- |
> | p | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
>
> *
> **Choice** AmuletRules\_MergeMemberTrafficContracts
>
>
> Controller: dso
>
> Returns: AmuletRules\_MergeMemberTrafficContractsResult
>
> | Field | Type | Description |
> | ----------- | ------------------------------------------------------------------------------------------------------------------- | ----------- |
> | trafficCids | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) MemberTraffic] | |
>
> *
> **Choice** AmuletRules\_MergeUnclaimedDevelopmentFundCoupons
>
>
> Batch merge of unclaimed development fund coupons
>
> Controller: dso
>
> Returns: AmuletRules\_MergeUnclaimedDevelopmentFundCouponsResult
>
> | Field | Type | Description |
> | ---------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------ | ----------- |
> | unclaimedDevelopmentFundCouponCids | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon] | |
>
> *
> **Choice** AmuletRules\_MergeUnclaimedRewards
>
>
> Controller: dso
>
> Returns: AmuletRules\_MergeUnclaimedRewardsResult
>
> | Field | Type | Description |
> | ------------------- | --------------------------------------------------------------------------------------------------------------------- | ----------- |
> | unclaimedRewardCids | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedReward] | |
>
> *
> **Choice** AmuletRules\_MiningRound\_Archive
>
>
> Controller: dso
>
> Returns: AmuletRules\_MiningRound\_ArchiveResult
>
> | Field | Type | Description |
> | -------------- | -------------------------------------------------------------------------------------------------------------------- | ----------- |
> | closedRoundCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ClosedMiningRound | |
>
> *
> **Choice** AmuletRules\_MiningRound\_Close
>
>
> Controller: dso
>
> Returns: AmuletRules\_MiningRound\_CloseResult
>
> | Field | Type | Description |
> | --------------- | --------------------------------------------------------------------------------------------------------------------- | ----------- |
> | issuingRoundCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) IssuingMiningRound | |
>
> *
> **Choice** AmuletRules\_MiningRound\_StartIssuing
>
>
> Controller: dso
>
> Returns: AmuletRules\_MiningRound\_StartIssuingResult
>
> | Field | Type | Description |
> | -------------- | ------------------------------------------------------------------------------------------------------------------------- | ----------- |
> | miningRoundCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SummarizingMiningRound | |
> | summary | OpenMiningRoundSummary | |
>
> *
> **Choice** AmuletRules\_Mint
>
>
> Controller: dso, receiver
>
> Returns: AmuletRules\_MintResult
>
> | Field | Type | Description |
> | --------- | ------------------------------------------------------------------------------------------------------------------ | ----------- |
> | receiver | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | amount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> | openRound | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound | |
>
> *
> **Choice** AmuletRules\_RemoveFutureAmuletConfigSchedule
>
>
> Controller: dso
>
> Returns: AmuletRules\_RemoveFutureAmuletConfigScheduleResult
>
> | Field | Type | Description |
> | ------------ | -------------------------------------------------------------------------------------- | ----------- |
> | scheduleTime | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | |
>
> *
> **Choice** AmuletRules\_SetConfig
>
>
> Controller: dso
>
> Returns: AmuletRules\_SetConfigResult
>
> | Field | Type | Description |
> | ---------- | ---------------- | ----------- |
> | newConfig | AmuletConfig USD | |
> | baseConfig | AmuletConfig USD | |
>
> *
> **Choice** AmuletRules\_Transfer
>
>
> Controller: Set.toList (transferControllers transfer)
>
> Returns: TransferResult
>
> | Field | Type | Description |
> | ----------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> | transfer | Transfer | |
> | context | TransferContext | |
> | expectedDso | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
>
> *
> **Choice** AmuletRules\_UpdateExternalPartyConfigStates
>
>
> Controller: dso
>
> Returns: AmuletRules\_UpdateExternalPartyConfigStatesResult
>
> | Field | Type | Description |
> | ---------------------------- | --------------------------------------------------------------------------------------------------------------------------- | ----------- |
> | externalPartyConfigStateCid0 | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyConfigState | |
> | externalPartyConfigStateCid1 | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyConfigState | |
> | openMiningRoundTriple | OpenMiningRoundTriple | |
>
> *
> **Choice** AmuletRules\_UpdateFutureAmuletConfigSchedule
>
>
> Controller: dso
>
> Returns: AmuletRules\_UpdateFutureAmuletConfigScheduleResult
>
> | Field | Type | Description |
> | ------------ | ---------------------------------------------------------------------------------------------------------- | ----------- |
> | scheduleItem | ([Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886), AmuletConfig USD) | |
>
> * **Choice** Archive
>
> Controller: dso
>
> Returns: ()
>
> (no fields)
**template** ExternalPartySetupProposal
> Signatory: validator, dso
>
> | Field | Type | Description |
> | -------------------- | ---------------------------------------------------------------------------------------- | ----------- |
> | validator | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | user | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | dso | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | createdAt | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | |
> | preapprovalExpiresAt | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | |
>
> * **Choice** Archive
>
> Controller: validator, dso
>
> Returns: ()
>
> (no fields)
>
> *
> **Choice** ExternalPartySetupProposal\_Accept
>
>
> Controller: user
>
> Returns: ExternalPartySetupProposal\_AcceptResult
>
> (no fields)
>
> *
> **Choice** ExternalPartySetupProposal\_Reject
>
>
> Controller: user
>
> Returns: ExternalPartySetupProposal\_RejectResult
>
> | Field | Type | Description |
> | ------ | --------------------------------------------------------------------------------- | ----------- |
> | reason | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | |
>
> *
> **Choice** ExternalPartySetupProposal\_Withdraw
>
>
> Controller: validator
>
> Returns: ExternalPartySetupProposal\_WithdrawResult
>
> | Field | Type | Description |
> | ------ | --------------------------------------------------------------------------------- | ----------- |
> | reason | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | |
**template** TransferPreapproval
> A pre-approval by a receiver to receive Amulet from anybody.
>
> Pre-approvals are indexed by the SVs and served from scan for easy discovery until they expire. The cost of providing this discovery service is charged by burning Amulet.
>
> Receivers can either purchase and renew these pre-approvals by themselves, or have an app provider do so for them in exchange for the app rewards for the amulet transfers completed via the managed pre-approval.
>
> Signatory: receiver, provider, dso
>
> | Field | Type | Description |
> | ------------- | ---------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------- |
> | dso | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | receiver | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | The receiver party |
> | provider | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | The app provider that manages the pre-approval for the receiver. Equal to the receiver for self-managed pre-approvals. |
> | validFrom | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | This timestamp marks the start of the period for which fees were paid for the pre-approval. Preserved across renewals. |
> | lastRenewedAt | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | When the pre-approval was last renewed. Set equal to `validFrom` on creation and updated on each renewal. |
> | expiresAt | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | Provider selected timestamp defining the lifetime of the contract. Can be extended by renewing the contract. |
>
> * **Choice** Archive
>
> Controller: receiver, provider, dso
>
> Returns: ()
>
> (no fields)
>
> *
> **Choice** TransferPreapproval\_Cancel
>
>
> Controller: p
>
> Returns: TransferPreapproval\_CancelResult
>
> | Field | Type | Description |
> | ----- | ---------------------------------------------------------------------------------------- | ----------- |
> | p | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
>
> *
> **Choice** TransferPreapproval\_Expire
>
>
> Controller: dso
>
> Returns: TransferPreapproval\_ExpireResult
>
> (no fields)
>
> *
> **Choice** TransferPreapproval\_Fetch
>
>
> Controller: p
>
> Returns: TransferPreapproval
>
> | Field | Type | Description |
> | ----- | ---------------------------------------------------------------------------------------- | ----------- |
> | p | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
>
> *
> **Choice** TransferPreapproval\_Renew
>
>
> Controller: provider
>
> Returns: TransferPreapproval\_RenewResult
>
> | Field | Type | Description |
> | ------------ | -------------------------------------------------------------------------------------- | ----------- |
> | context | PaymentTransferContext | |
> | inputs | \[TransferInput] | |
> | newExpiresAt | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) | |
>
> *
> **Choice** TransferPreapproval\_Send
>
>
> Deprecated: Use TransferPreapproval\_SendV2 instead.
>
> Controller: sender
>
> Returns: TransferPreapproval\_SendResult
>
> | Field | Type | Description |
> | ----------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> | context | PaymentTransferContext | |
> | inputs | \[TransferInput] | |
> | amount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> | sender | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | description | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | |
>
> *
> **Choice** TransferPreapproval\_SendV2
>
>
> Controller: sender
>
> Returns: TransferPreapproval\_SendV2Result
>
> | Field | Type | Description |
> | ----------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> | context | ExternalPartyTransferContext | |
> | inputs | \[TransferInput] | |
> | amount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> | sender | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> | description | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | |
## Data Types
**data** AmuletRules\_AddFutureAmuletConfigScheduleResult
>
> AmuletRules\_AddFutureAmuletConfigScheduleResult
>
>
> > | Field | Type | Description |
> > | -------------- | -------------------------------------------------------------------------------------------------------------- | ----------- |
> > | newAmuletRules | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules | |
>
> **instance** GetField "newAmuletRules" AmuletRules\_AddFutureAmuletConfigScheduleResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules)
>
> **instance** SetField "newAmuletRules" AmuletRules\_AddFutureAmuletConfigScheduleResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_AddFutureAmuletConfigSchedule AmuletRules\_AddFutureAmuletConfigScheduleResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_AddFutureAmuletConfigSchedule AmuletRules\_AddFutureAmuletConfigScheduleResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_AddFutureAmuletConfigSchedule AmuletRules\_AddFutureAmuletConfigScheduleResult
**data** AmuletRules\_AdvanceOpenMiningRoundsResult
>
> AmuletRules\_AdvanceOpenMiningRoundsResult
>
>
> > | Field | Type | Description |
> > | ------------------- | ------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | summarizingRoundCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SummarizingMiningRound | |
> > | openRoundCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound | |
>
> **instance** GetField "openRoundCid" AmuletRules\_AdvanceOpenMiningRoundsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
>
> **instance** GetField "summarizingRoundCid" AmuletRules\_AdvanceOpenMiningRoundsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SummarizingMiningRound)
>
> **instance** SetField "openRoundCid" AmuletRules\_AdvanceOpenMiningRoundsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
>
> **instance** SetField "summarizingRoundCid" AmuletRules\_AdvanceOpenMiningRoundsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SummarizingMiningRound)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_AdvanceOpenMiningRounds AmuletRules\_AdvanceOpenMiningRoundsResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_AdvanceOpenMiningRounds AmuletRules\_AdvanceOpenMiningRoundsResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_AdvanceOpenMiningRounds AmuletRules\_AdvanceOpenMiningRoundsResult
**data** AmuletRules\_AllocateDevelopmentFundCouponResult
>
> AmuletRules\_AllocateDevelopmentFundCouponResult
>
>
> > | Field | Type | Description |
> > | ------------------------------------ | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | developmentFundCouponCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DevelopmentFundCoupon | |
> > | optUnclaimedDevelopmentFundCouponCid | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon) | |
>
> **instance** GetField "developmentFundCouponCid" AmuletRules\_AllocateDevelopmentFundCouponResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DevelopmentFundCoupon)
>
> **instance** GetField "optUnclaimedDevelopmentFundCouponCid" AmuletRules\_AllocateDevelopmentFundCouponResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon))
>
> **instance** SetField "developmentFundCouponCid" AmuletRules\_AllocateDevelopmentFundCouponResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DevelopmentFundCoupon)
>
> **instance** SetField "optUnclaimedDevelopmentFundCouponCid" AmuletRules\_AllocateDevelopmentFundCouponResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon))
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_AllocateDevelopmentFundCoupon AmuletRules\_AllocateDevelopmentFundCouponResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_AllocateDevelopmentFundCoupon AmuletRules\_AllocateDevelopmentFundCouponResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_AllocateDevelopmentFundCoupon AmuletRules\_AllocateDevelopmentFundCouponResult
**data** AmuletRules\_Amulet\_ExpireTransferInstructionsResult
>
> AmuletRules\_Amulet\_ExpireTransferInstructionsResult
>
>
> > | Field | Type | Description |
> > | ------- | ---------------------------- | ----------- |
> > | results | \[TransferInstructionResult] | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) AmuletRules\_Amulet\_ExpireTransferInstructionsResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) AmuletRules\_Amulet\_ExpireTransferInstructionsResult
>
> **instance** GetField "results" AmuletRules\_Amulet\_ExpireTransferInstructionsResult \[TransferInstructionResult]
>
> **instance** SetField "results" AmuletRules\_Amulet\_ExpireTransferInstructionsResult \[TransferInstructionResult]
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_Amulet\_ExpireTransferInstructions AmuletRules\_Amulet\_ExpireTransferInstructionsResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_Amulet\_ExpireTransferInstructions AmuletRules\_Amulet\_ExpireTransferInstructionsResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_Amulet\_ExpireTransferInstructions AmuletRules\_Amulet\_ExpireTransferInstructionsResult
**data** AmuletRules\_BootstrapExternalPartyConfigStateResult
>
> AmuletRules\_BootstrapExternalPartyConfigStateResult
>
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) AmuletRules\_BootstrapExternalPartyConfigStateResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) AmuletRules\_BootstrapExternalPartyConfigStateResult
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_BootstrapExternalPartyConfigState AmuletRules\_BootstrapExternalPartyConfigStateResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_BootstrapExternalPartyConfigState AmuletRules\_BootstrapExternalPartyConfigStateResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_BootstrapExternalPartyConfigState AmuletRules\_BootstrapExternalPartyConfigStateResult
**data** AmuletRules\_Bootstrap\_RoundsResult
>
> AmuletRules\_Bootstrap\_RoundsResult
>
>
> > | Field | Type | Description |
> > | ------------------ | ------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | openMiningRoundCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound | |
> > | initialRound | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Round | |
>
> **instance** GetField "initialRound" AmuletRules\_Bootstrap\_RoundsResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Round)
>
> **instance** GetField "openMiningRoundCid" AmuletRules\_Bootstrap\_RoundsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
>
> **instance** SetField "initialRound" AmuletRules\_Bootstrap\_RoundsResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Round)
>
> **instance** SetField "openMiningRoundCid" AmuletRules\_Bootstrap\_RoundsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_Bootstrap\_Rounds AmuletRules\_Bootstrap\_RoundsResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_Bootstrap\_Rounds AmuletRules\_Bootstrap\_RoundsResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_Bootstrap\_Rounds AmuletRules\_Bootstrap\_RoundsResult
**data** AmuletRules\_BuyMemberTrafficResult
>
> AmuletRules\_BuyMemberTrafficResult
>
>
> > | Field | Type | Description |
> > | ------------------ | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | round | Round | |
> > | summary | TransferSummary | |
> > | amuletPaid | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> > | purchasedTraffic | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) MemberTraffic | |
> > | senderChangeAmulet | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet) | |
> > | meta | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) AmuletRules\_BuyMemberTrafficResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) AmuletRules\_BuyMemberTrafficResult
>
> **instance** GetField "amuletPaid" AmuletRules\_BuyMemberTrafficResult [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "meta" AmuletRules\_BuyMemberTrafficResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata)
>
> **instance** GetField "purchasedTraffic" AmuletRules\_BuyMemberTrafficResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) MemberTraffic)
>
> **instance** GetField "round" AmuletRules\_BuyMemberTrafficResult Round
>
> **instance** GetField "senderChangeAmulet" AmuletRules\_BuyMemberTrafficResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
>
> **instance** GetField "summary" AmuletRules\_BuyMemberTrafficResult TransferSummary
>
> **instance** SetField "amuletPaid" AmuletRules\_BuyMemberTrafficResult [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "meta" AmuletRules\_BuyMemberTrafficResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata)
>
> **instance** SetField "purchasedTraffic" AmuletRules\_BuyMemberTrafficResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) MemberTraffic)
>
> **instance** SetField "round" AmuletRules\_BuyMemberTrafficResult Round
>
> **instance** SetField "senderChangeAmulet" AmuletRules\_BuyMemberTrafficResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
>
> **instance** SetField "summary" AmuletRules\_BuyMemberTrafficResult TransferSummary
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_BuyMemberTraffic AmuletRules\_BuyMemberTrafficResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_BuyMemberTraffic AmuletRules\_BuyMemberTrafficResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_BuyMemberTraffic AmuletRules\_BuyMemberTrafficResult
**data** AmuletRules\_ClaimExpiredRewardsResult
>
> AmuletRules\_ClaimExpiredRewardsResult
>
>
> > | Field | Type | Description |
> > | ------------------ | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | unclaimedRewardCid | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedReward) | |
>
> **instance** GetField "unclaimedRewardCid" AmuletRules\_ClaimExpiredRewardsResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedReward))
>
> **instance** SetField "unclaimedRewardCid" AmuletRules\_ClaimExpiredRewardsResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedReward))
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_ClaimExpiredRewards AmuletRules\_ClaimExpiredRewardsResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_ClaimExpiredRewards AmuletRules\_ClaimExpiredRewardsResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_ClaimExpiredRewards AmuletRules\_ClaimExpiredRewardsResult
**data** AmuletRules\_ComputeFeesResult
>
> AmuletRules\_ComputeFeesResult
>
>
> > | Field | Type | Description |
> > | ----- | ------------------------------------------------------------------------------------------ | ----------- |
> > | fees | \[[Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)] | |
>
> **instance** GetField "fees" AmuletRules\_ComputeFeesResult \[[Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)]
>
> **instance** SetField "fees" AmuletRules\_ComputeFeesResult \[[Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)]
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_ComputeFees AmuletRules\_ComputeFeesResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_ComputeFees AmuletRules\_ComputeFeesResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_ComputeFees AmuletRules\_ComputeFeesResult
**data** AmuletRules\_ConvertFeaturedAppActivityMarkersResult
>
> AmuletRules\_ConvertFeaturedAppActivityMarkersResult
>
>
> > | Field | Type | Description |
> > | ------------------- | --------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | appRewardCouponCids | \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AppRewardCoupon] | |
>
> **instance** GetField "appRewardCouponCids" AmuletRules\_ConvertFeaturedAppActivityMarkersResult \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AppRewardCoupon]
>
> **instance** SetField "appRewardCouponCids" AmuletRules\_ConvertFeaturedAppActivityMarkersResult \[[ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AppRewardCoupon]
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_ConvertFeaturedAppActivityMarkers AmuletRules\_ConvertFeaturedAppActivityMarkersResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_ConvertFeaturedAppActivityMarkers AmuletRules\_ConvertFeaturedAppActivityMarkersResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_ConvertFeaturedAppActivityMarkers AmuletRules\_ConvertFeaturedAppActivityMarkersResult
**data** AmuletRules\_CreateExternalPartySetupProposalResult
>
> AmuletRules\_CreateExternalPartySetupProposalResult
>
>
> > | Field | Type | Description |
> > | -------------- | ----------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | proposalCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartySetupProposal | |
> > | user | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> > | validator | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> > | transferResult | TransferResult | |
> > | amuletPaid | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> > | meta | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) AmuletRules\_CreateExternalPartySetupProposalResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) AmuletRules\_CreateExternalPartySetupProposalResult
>
> **instance** GetField "amuletPaid" AmuletRules\_CreateExternalPartySetupProposalResult [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "meta" AmuletRules\_CreateExternalPartySetupProposalResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata)
>
> **instance** GetField "proposalCid" AmuletRules\_CreateExternalPartySetupProposalResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartySetupProposal)
>
> **instance** GetField "transferResult" AmuletRules\_CreateExternalPartySetupProposalResult TransferResult
>
> **instance** GetField "user" AmuletRules\_CreateExternalPartySetupProposalResult [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "validator" AmuletRules\_CreateExternalPartySetupProposalResult [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "amuletPaid" AmuletRules\_CreateExternalPartySetupProposalResult [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "meta" AmuletRules\_CreateExternalPartySetupProposalResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata)
>
> **instance** SetField "proposalCid" AmuletRules\_CreateExternalPartySetupProposalResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartySetupProposal)
>
> **instance** SetField "transferResult" AmuletRules\_CreateExternalPartySetupProposalResult TransferResult
>
> **instance** SetField "user" AmuletRules\_CreateExternalPartySetupProposalResult [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "validator" AmuletRules\_CreateExternalPartySetupProposalResult [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_CreateExternalPartySetupProposal AmuletRules\_CreateExternalPartySetupProposalResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_CreateExternalPartySetupProposal AmuletRules\_CreateExternalPartySetupProposalResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_CreateExternalPartySetupProposal AmuletRules\_CreateExternalPartySetupProposalResult
**data** AmuletRules\_CreateTransferPreapprovalResult
>
> AmuletRules\_CreateTransferPreapprovalResult
>
>
> > | Field | Type | Description |
> > | ---------------------- | ---------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | transferPreapprovalCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval | |
> > | transferResult | TransferResult | |
> > | amuletPaid | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> > | meta | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) AmuletRules\_CreateTransferPreapprovalResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) AmuletRules\_CreateTransferPreapprovalResult
>
> **instance** GetField "amuletPaid" AmuletRules\_CreateTransferPreapprovalResult [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "meta" AmuletRules\_CreateTransferPreapprovalResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata)
>
> **instance** GetField "transferPreapprovalCid" AmuletRules\_CreateTransferPreapprovalResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval)
>
> **instance** GetField "transferResult" AmuletRules\_CreateTransferPreapprovalResult TransferResult
>
> **instance** SetField "amuletPaid" AmuletRules\_CreateTransferPreapprovalResult [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "meta" AmuletRules\_CreateTransferPreapprovalResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata)
>
> **instance** SetField "transferPreapprovalCid" AmuletRules\_CreateTransferPreapprovalResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval)
>
> **instance** SetField "transferResult" AmuletRules\_CreateTransferPreapprovalResult TransferResult
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_CreateTransferPreapproval AmuletRules\_CreateTransferPreapprovalResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_CreateTransferPreapproval AmuletRules\_CreateTransferPreapprovalResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_CreateTransferPreapproval AmuletRules\_CreateTransferPreapprovalResult
**data** AmuletRules\_DevNet\_FeatureAppResult
>
> AmuletRules\_DevNet\_FeatureAppResult
>
>
> > | Field | Type | Description |
> > | ------------------- | ------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | featuredAppRightCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight | |
>
> **instance** GetField "featuredAppRightCid" AmuletRules\_DevNet\_FeatureAppResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight)
>
> **instance** SetField "featuredAppRightCid" AmuletRules\_DevNet\_FeatureAppResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_DevNet\_FeatureApp AmuletRules\_DevNet\_FeatureAppResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_DevNet\_FeatureApp AmuletRules\_DevNet\_FeatureAppResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_DevNet\_FeatureApp AmuletRules\_DevNet\_FeatureAppResult
**data** AmuletRules\_DevNet\_TapResult
>
> AmuletRules\_DevNet\_TapResult
>
>
> > | Field | Type | Description |
> > | --------- | ------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | amuletSum | AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet) | |
> > | meta | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata | |
>
> **instance** GetField "amuletSum" AmuletRules\_DevNet\_TapResult (AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
>
> **instance** GetField "meta" AmuletRules\_DevNet\_TapResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata)
>
> **instance** SetField "amuletSum" AmuletRules\_DevNet\_TapResult (AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
>
> **instance** SetField "meta" AmuletRules\_DevNet\_TapResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_DevNet\_Tap AmuletRules\_DevNet\_TapResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_DevNet\_Tap AmuletRules\_DevNet\_TapResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_DevNet\_Tap AmuletRules\_DevNet\_TapResult
**data** AmuletRules\_ExpireTransferInstructionInput
>
> AmuletRules\_ExpireTransferInstructionInput
>
>
> > | Field | Type | Description |
> > | ---------------------- | ---------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | transferInstructionCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferInstruction | |
> > | expireLock | [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265) | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) AmuletRules\_ExpireTransferInstructionInput
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) AmuletRules\_ExpireTransferInstructionInput
>
> **instance** GetField "expireLock" AmuletRules\_ExpireTransferInstructionInput [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265)
>
> **instance** GetField "inputs" AmuletRules\_Amulet\_ExpireTransferInstructions \[AmuletRules\_ExpireTransferInstructionInput]
>
> **instance** GetField "transferInstructionCid" AmuletRules\_ExpireTransferInstructionInput ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferInstruction)
>
> **instance** SetField "expireLock" AmuletRules\_ExpireTransferInstructionInput [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265)
>
> **instance** SetField "inputs" AmuletRules\_Amulet\_ExpireTransferInstructions \[AmuletRules\_ExpireTransferInstructionInput]
>
> **instance** SetField "transferInstructionCid" AmuletRules\_ExpireTransferInstructionInput ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferInstruction)
**data** AmuletRules\_MergeMemberTrafficContractsResult
>
> AmuletRules\_MergeMemberTrafficContractsResult
>
>
> > | Field | Type | Description |
> > | ---------------- | ---------------------------------------------------------------------------------------------------------------- | ----------- |
> > | mergedTrafficCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) MemberTraffic | |
>
> **instance** GetField "mergedTrafficCid" AmuletRules\_MergeMemberTrafficContractsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) MemberTraffic)
>
> **instance** SetField "mergedTrafficCid" AmuletRules\_MergeMemberTrafficContractsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) MemberTraffic)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_MergeMemberTrafficContracts AmuletRules\_MergeMemberTrafficContractsResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_MergeMemberTrafficContracts AmuletRules\_MergeMemberTrafficContractsResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_MergeMemberTrafficContracts AmuletRules\_MergeMemberTrafficContractsResult
**data** AmuletRules\_MergeUnclaimedDevelopmentFundCouponsResult
>
> AmuletRules\_MergeUnclaimedDevelopmentFundCouponsResult
>
>
> > | Field | Type | Description |
> > | --------------------------------- | --------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | unclaimedDevelopmentFundCouponCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon | |
>
> **instance** GetField "unclaimedDevelopmentFundCouponCid" AmuletRules\_MergeUnclaimedDevelopmentFundCouponsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon)
>
> **instance** SetField "unclaimedDevelopmentFundCouponCid" AmuletRules\_MergeUnclaimedDevelopmentFundCouponsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_MergeUnclaimedDevelopmentFundCoupons AmuletRules\_MergeUnclaimedDevelopmentFundCouponsResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_MergeUnclaimedDevelopmentFundCoupons AmuletRules\_MergeUnclaimedDevelopmentFundCouponsResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_MergeUnclaimedDevelopmentFundCoupons AmuletRules\_MergeUnclaimedDevelopmentFundCouponsResult
**data** AmuletRules\_MergeUnclaimedRewardsResult
>
> AmuletRules\_MergeUnclaimedRewardsResult
>
>
> > | Field | Type | Description |
> > | ------------------ | ------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | unclaimedRewardCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedReward | |
>
> **instance** GetField "unclaimedRewardCid" AmuletRules\_MergeUnclaimedRewardsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedReward)
>
> **instance** SetField "unclaimedRewardCid" AmuletRules\_MergeUnclaimedRewardsResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedReward)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_MergeUnclaimedRewards AmuletRules\_MergeUnclaimedRewardsResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_MergeUnclaimedRewards AmuletRules\_MergeUnclaimedRewardsResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_MergeUnclaimedRewards AmuletRules\_MergeUnclaimedRewardsResult
**data** AmuletRules\_MiningRound\_ArchiveResult
>
> AmuletRules\_MiningRound\_ArchiveResult
>
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_MiningRound\_Archive AmuletRules\_MiningRound\_ArchiveResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_MiningRound\_Archive AmuletRules\_MiningRound\_ArchiveResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_MiningRound\_Archive AmuletRules\_MiningRound\_ArchiveResult
**data** AmuletRules\_MiningRound\_CloseResult
>
> AmuletRules\_MiningRound\_CloseResult
>
>
> > | Field | Type | Description |
> > | -------------- | -------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | closedRoundCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ClosedMiningRound | |
>
> **instance** GetField "closedRoundCid" AmuletRules\_MiningRound\_CloseResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ClosedMiningRound)
>
> **instance** SetField "closedRoundCid" AmuletRules\_MiningRound\_CloseResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ClosedMiningRound)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_MiningRound\_Close AmuletRules\_MiningRound\_CloseResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_MiningRound\_Close AmuletRules\_MiningRound\_CloseResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_MiningRound\_Close AmuletRules\_MiningRound\_CloseResult
**data** AmuletRules\_MiningRound\_StartIssuingResult
>
> AmuletRules\_MiningRound\_StartIssuingResult
>
>
> > | Field | Type | Description |
> > | --------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | issuingRoundCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) IssuingMiningRound | |
> > | unclaimedDevelopmentFundCouponCid | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon) | |
>
> **instance** GetField "issuingRoundCid" AmuletRules\_MiningRound\_StartIssuingResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) IssuingMiningRound)
>
> **instance** GetField "unclaimedDevelopmentFundCouponCid" AmuletRules\_MiningRound\_StartIssuingResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon))
>
> **instance** SetField "issuingRoundCid" AmuletRules\_MiningRound\_StartIssuingResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) IssuingMiningRound)
>
> **instance** SetField "unclaimedDevelopmentFundCouponCid" AmuletRules\_MiningRound\_StartIssuingResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedDevelopmentFundCoupon))
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_MiningRound\_StartIssuing AmuletRules\_MiningRound\_StartIssuingResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_MiningRound\_StartIssuing AmuletRules\_MiningRound\_StartIssuingResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_MiningRound\_StartIssuing AmuletRules\_MiningRound\_StartIssuingResult
**data** AmuletRules\_MintResult
>
> AmuletRules\_MintResult
>
>
> > | Field | Type | Description |
> > | --------- | ------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | amuletSum | AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet) | |
>
> **instance** GetField "amuletSum" AmuletRules\_MintResult (AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
>
> **instance** SetField "amuletSum" AmuletRules\_MintResult (AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_Mint AmuletRules\_MintResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_Mint AmuletRules\_MintResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_Mint AmuletRules\_MintResult
**data** AmuletRules\_RemoveFutureAmuletConfigScheduleResult
>
> AmuletRules\_RemoveFutureAmuletConfigScheduleResult
>
>
> > | Field | Type | Description |
> > | -------------- | -------------------------------------------------------------------------------------------------------------- | ----------- |
> > | newAmuletRules | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules | |
>
> **instance** GetField "newAmuletRules" AmuletRules\_RemoveFutureAmuletConfigScheduleResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules)
>
> **instance** SetField "newAmuletRules" AmuletRules\_RemoveFutureAmuletConfigScheduleResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_RemoveFutureAmuletConfigSchedule AmuletRules\_RemoveFutureAmuletConfigScheduleResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_RemoveFutureAmuletConfigSchedule AmuletRules\_RemoveFutureAmuletConfigScheduleResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_RemoveFutureAmuletConfigSchedule AmuletRules\_RemoveFutureAmuletConfigScheduleResult
**data** AmuletRules\_SetConfigResult
>
> AmuletRules\_SetConfigResult
>
>
> > | Field | Type | Description |
> > | -------------- | -------------------------------------------------------------------------------------------------------------- | ----------- |
> > | newAmuletRules | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules | |
>
> **instance** GetField "newAmuletRules" AmuletRules\_SetConfigResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules)
>
> **instance** SetField "newAmuletRules" AmuletRules\_SetConfigResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_SetConfig AmuletRules\_SetConfigResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_SetConfig AmuletRules\_SetConfigResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_SetConfig AmuletRules\_SetConfigResult
**data** AmuletRules\_UpdateExternalPartyConfigStatesResult
>
> AmuletRules\_UpdateExternalPartyConfigStatesResult
>
>
> > | Field | Type | Description |
> > | ------------------------------ | --------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | newExternalPartyConfigStateCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyConfigState | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) AmuletRules\_UpdateExternalPartyConfigStatesResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) AmuletRules\_UpdateExternalPartyConfigStatesResult
>
> **instance** GetField "newExternalPartyConfigStateCid" AmuletRules\_UpdateExternalPartyConfigStatesResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyConfigState)
>
> **instance** SetField "newExternalPartyConfigStateCid" AmuletRules\_UpdateExternalPartyConfigStatesResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyConfigState)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_UpdateExternalPartyConfigStates AmuletRules\_UpdateExternalPartyConfigStatesResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_UpdateExternalPartyConfigStates AmuletRules\_UpdateExternalPartyConfigStatesResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_UpdateExternalPartyConfigStates AmuletRules\_UpdateExternalPartyConfigStatesResult
**data** AmuletRules\_UpdateFutureAmuletConfigScheduleResult
>
> AmuletRules\_UpdateFutureAmuletConfigScheduleResult
>
>
> > | Field | Type | Description |
> > | -------------- | -------------------------------------------------------------------------------------------------------------- | ----------- |
> > | newAmuletRules | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules | |
>
> **instance** GetField "newAmuletRules" AmuletRules\_UpdateFutureAmuletConfigScheduleResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules)
>
> **instance** SetField "newAmuletRules" AmuletRules\_UpdateFutureAmuletConfigScheduleResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_UpdateFutureAmuletConfigSchedule AmuletRules\_UpdateFutureAmuletConfigScheduleResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_UpdateFutureAmuletConfigSchedule AmuletRules\_UpdateFutureAmuletConfigScheduleResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_UpdateFutureAmuletConfigSchedule AmuletRules\_UpdateFutureAmuletConfigScheduleResult
**data** AppTransferContext
>
> AppTransferContext
>
>
> > | Field | Type | Description |
> > | ---------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | amuletRules | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules | |
> > | openMiningRound | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound | |
> > | featuredAppRight | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight) | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) AppTransferContext
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) AppTransferContext
>
> **instance** GetField "amuletRules" AppTransferContext ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules)
>
> **instance** GetField "featuredAppRight" AppTransferContext ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight))
>
> **instance** GetField "openMiningRound" AppTransferContext ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
>
> **instance** SetField "amuletRules" AppTransferContext ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules)
>
> **instance** SetField "featuredAppRight" AppTransferContext ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight))
>
> **instance** SetField "openMiningRound" AppTransferContext ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
**data** BalanceChange
>
> BalanceChange
>
>
> > | Field | Type | Description |
> > | ---------------------------------- | --------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
> > | changeToInitialAmountAsOfRoundZero | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | The change to the total balance introduced by this balance change, normalized to round zero, i.e., a amulet created in round 3 is treated as a amulet created in round 0 with a higher initial amount. |
> > | changeToHoldingFeesRate | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | The change of total holding fees introduced by this balance change. |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) BalanceChange
>
> **instance** [Additive](/appdev/reference/daml-standard-library/prelude#class-ghc-num-additive-25881) BalanceChange
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) BalanceChange
>
> **instance** GetField "balanceChanges" TransferSummary ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) BalanceChange)
>
> **instance** GetField "changeToHoldingFeesRate" BalanceChange [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "changeToInitialAmountAsOfRoundZero" BalanceChange [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "balanceChanges" TransferSummary ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) BalanceChange)
>
> **instance** SetField "changeToHoldingFeesRate" BalanceChange [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "changeToInitialAmountAsOfRoundZero" BalanceChange [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
**data** CreatedAmulet
>
> TransferResultAmulet ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet)
>
>
>
> TransferResultLockedAmulet ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) LockedAmulet)
>
>
>
> ExtCreatedAmulet
>
>
> > | Field | Type | Description |
> > | -------------- | ---- | ------------------------------------------------------------------------------------------------------- |
> > | dummyUnitField | () | Extension constructor (and field) to work around the current lack of upgrading for variants in Daml 3.0 |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) CreatedAmulet
>
> **instance** [Ord](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-ord-6395) CreatedAmulet
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) CreatedAmulet
>
> **instance** GetField "createdAmulets" TransferResult \[CreatedAmulet]
>
> **instance** GetField "dummyUnitField" CreatedAmulet ()
>
> **instance** SetField "createdAmulets" TransferResult \[CreatedAmulet]
>
> **instance** SetField "dummyUnitField" CreatedAmulet ()
**data** ExternalPartySetupProposal\_AcceptResult
>
> ExternalPartySetupProposal\_AcceptResult
>
>
> > | Field | Type | Description |
> > | ---------------------- | ---------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | validatorRightCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorRight | |
> > | transferPreapprovalCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) ExternalPartySetupProposal\_AcceptResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) ExternalPartySetupProposal\_AcceptResult
>
> **instance** GetField "transferPreapprovalCid" ExternalPartySetupProposal\_AcceptResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval)
>
> **instance** GetField "validatorRightCid" ExternalPartySetupProposal\_AcceptResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorRight)
>
> **instance** SetField "transferPreapprovalCid" ExternalPartySetupProposal\_AcceptResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval)
>
> **instance** SetField "validatorRightCid" ExternalPartySetupProposal\_AcceptResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorRight)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) ExternalPartySetupProposal ExternalPartySetupProposal\_Accept ExternalPartySetupProposal\_AcceptResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) ExternalPartySetupProposal ExternalPartySetupProposal\_Accept ExternalPartySetupProposal\_AcceptResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) ExternalPartySetupProposal ExternalPartySetupProposal\_Accept ExternalPartySetupProposal\_AcceptResult
**data** ExternalPartySetupProposal\_RejectResult
>
> ExternalPartySetupProposal\_RejectResult
>
>
> > | Field | Type | Description |
> > | -------- | ---- | ----------- |
> > | dummyArg | () | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) ExternalPartySetupProposal\_RejectResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) ExternalPartySetupProposal\_RejectResult
>
> **instance** GetField "dummyArg" ExternalPartySetupProposal\_RejectResult ()
>
> **instance** SetField "dummyArg" ExternalPartySetupProposal\_RejectResult ()
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) ExternalPartySetupProposal ExternalPartySetupProposal\_Reject ExternalPartySetupProposal\_RejectResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) ExternalPartySetupProposal ExternalPartySetupProposal\_Reject ExternalPartySetupProposal\_RejectResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) ExternalPartySetupProposal ExternalPartySetupProposal\_Reject ExternalPartySetupProposal\_RejectResult
**data** ExternalPartySetupProposal\_WithdrawResult
>
> ExternalPartySetupProposal\_WithdrawResult
>
>
> > | Field | Type | Description |
> > | -------- | ---- | ----------- |
> > | dummyArg | () | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) ExternalPartySetupProposal\_WithdrawResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) ExternalPartySetupProposal\_WithdrawResult
>
> **instance** GetField "dummyArg" ExternalPartySetupProposal\_WithdrawResult ()
>
> **instance** SetField "dummyArg" ExternalPartySetupProposal\_WithdrawResult ()
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) ExternalPartySetupProposal ExternalPartySetupProposal\_Withdraw ExternalPartySetupProposal\_WithdrawResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) ExternalPartySetupProposal ExternalPartySetupProposal\_Withdraw ExternalPartySetupProposal\_WithdrawResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) ExternalPartySetupProposal ExternalPartySetupProposal\_Withdraw ExternalPartySetupProposal\_WithdrawResult
**data** ExternalPartyTransferContext
> Contracts that need to be passed in to a Transfer so that we can reference them by contract id instead of by key.
>
>
> ExternalPartyTransferContext
>
>
> > | Field | Type | Description |
> > | ------------------------ | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------ |
> > | externalPartyConfigState | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyConfigState | |
> > | featuredAppRight | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight) | Optional proof that the provider is a featured app provider. |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) ExternalPartyTransferContext
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) ExternalPartyTransferContext
>
> **instance** GetField "context" TransferPreapproval\_SendV2 ExternalPartyTransferContext
>
> **instance** GetField "externalPartyConfigState" ExternalPartyTransferContext ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyConfigState)
>
> **instance** GetField "featuredAppRight" ExternalPartyTransferContext ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight))
>
> **instance** SetField "context" TransferPreapproval\_SendV2 ExternalPartyTransferContext
>
> **instance** SetField "externalPartyConfigState" ExternalPartyTransferContext ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ExternalPartyConfigState)
>
> **instance** SetField "featuredAppRight" ExternalPartyTransferContext ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight))
**data** InvalidTransferReason
>
> ITR\_InsufficientFunds
>
>
> > | Field | Type | Description |
> > | ------------- | --------------------------------------------------------------------------------------- | ----------- |
> > | missingAmount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
>
>
> ITR\_UnknownSynchronizer
>
>
> > | Field | Type | Description |
> > | -------------- | --------------------------------------------------------------------------------- | ----------- |
> > | synchronizerId | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | |
>
>
> ITR\_InsufficientTopupAmount
>
>
> > | Field | Type | Description |
> > | -------------------- | ------------------------------------------------------------------------------- | ----------- |
> > | requestedTopupAmount | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261) | |
> > | minTopupAmount | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261) | |
>
>
> ITR\_Other
>
>
> > | Field | Type | Description |
> > | ----------- | --------------------------------------------------------------------------------- | ----------- |
> > | description | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) | |
>
>
> ExtInvalidTransferReason
>
>
> > | Field | Type | Description |
> > | -------------- | ---- | ------------------------------------------------------------------------------------------------------- |
> > | dummyUnitField | () | Extension constructor (and field) to work around the current lack of upgrading for variants in Daml 3.0 |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) InvalidTransferReason
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) InvalidTransferReason
>
> **instance** GetField "description" InvalidTransferReason [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** GetField "dummyUnitField" InvalidTransferReason ()
>
> **instance** GetField "minTopupAmount" InvalidTransferReason [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** GetField "missingAmount" InvalidTransferReason [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "reason" TransferCommandResult InvalidTransferReason
>
> **instance** GetField "requestedTopupAmount" InvalidTransferReason [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** GetField "synchronizerId" InvalidTransferReason [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** SetField "description" InvalidTransferReason [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** SetField "dummyUnitField" InvalidTransferReason ()
>
> **instance** SetField "minTopupAmount" InvalidTransferReason [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** SetField "missingAmount" InvalidTransferReason [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "reason" TransferCommandResult InvalidTransferReason
>
> **instance** SetField "requestedTopupAmount" InvalidTransferReason [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** SetField "synchronizerId" InvalidTransferReason [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
**data** OpenMiningRoundTriple
>
> OpenMiningRoundTriple
>
>
> > | Field | Type | Description |
> > | --------- | ------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | round0Cid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound | |
> > | round1Cid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound | |
> > | round2Cid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) OpenMiningRoundTriple
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) OpenMiningRoundTriple
>
> **instance** GetField "openMiningRoundTriple" AmuletRules\_BootstrapExternalPartyConfigState OpenMiningRoundTriple
>
> **instance** GetField "openMiningRoundTriple" AmuletRules\_UpdateExternalPartyConfigStates OpenMiningRoundTriple
>
> **instance** GetField "round0Cid" OpenMiningRoundTriple ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
>
> **instance** GetField "round1Cid" OpenMiningRoundTriple ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
>
> **instance** GetField "round2Cid" OpenMiningRoundTriple ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
>
> **instance** SetField "openMiningRoundTriple" AmuletRules\_BootstrapExternalPartyConfigState OpenMiningRoundTriple
>
> **instance** SetField "openMiningRoundTriple" AmuletRules\_UpdateExternalPartyConfigStates OpenMiningRoundTriple
>
> **instance** SetField "round0Cid" OpenMiningRoundTriple ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
>
> **instance** SetField "round1Cid" OpenMiningRoundTriple ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
>
> **instance** SetField "round2Cid" OpenMiningRoundTriple ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
**data** PaymentTransferContext
>
> PaymentTransferContext
>
>
> > | Field | Type | Description |
> > | ----------- | -------------------------------------------------------------------------------------------------------------- | ----------- |
> > | amuletRules | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules | |
> > | context | TransferContext | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) PaymentTransferContext
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) PaymentTransferContext
>
> **instance** GetField "amuletRules" PaymentTransferContext ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules)
>
> **instance** GetField "context" AmuletRules\_CreateExternalPartySetupProposal PaymentTransferContext
>
> **instance** GetField "context" AmuletRules\_CreateTransferPreapproval PaymentTransferContext
>
> **instance** GetField "context" PaymentTransferContext TransferContext
>
> **instance** GetField "context" TransferPreapproval\_Renew PaymentTransferContext
>
> **instance** GetField "context" TransferPreapproval\_Send PaymentTransferContext
>
> **instance** GetField "context" TransferCommand\_Send PaymentTransferContext
>
> **instance** SetField "amuletRules" PaymentTransferContext ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AmuletRules)
>
> **instance** SetField "context" AmuletRules\_CreateExternalPartySetupProposal PaymentTransferContext
>
> **instance** SetField "context" AmuletRules\_CreateTransferPreapproval PaymentTransferContext
>
> **instance** SetField "context" PaymentTransferContext TransferContext
>
> **instance** SetField "context" TransferPreapproval\_Renew PaymentTransferContext
>
> **instance** SetField "context" TransferPreapproval\_Send PaymentTransferContext
>
> **instance** SetField "context" TransferCommand\_Send PaymentTransferContext
**data** PreprocessedTransferOutput
>
> PreprocessedTransferOutput
>
>
> > | Field | Type | Description |
> > | --------- | ------------------------------------------------------------------------------------------------------------ | ----------------------------------------------------------- |
> > | owner | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | Owner of the output |
> > | outputFee | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | Fee charged to create this output |
> > | amount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | Amount of amulet held by this output (after deducting fees) |
> > | lock | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) TimeLock | Whether to lock the amulet or not |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) PreprocessedTransferOutput
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) PreprocessedTransferOutput
>
> **instance** GetField "amount" PreprocessedTransferOutput [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "lock" PreprocessedTransferOutput ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) TimeLock)
>
> **instance** GetField "outputFee" PreprocessedTransferOutput [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "owner" PreprocessedTransferOutput [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "amount" PreprocessedTransferOutput [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "lock" PreprocessedTransferOutput ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) TimeLock)
>
> **instance** SetField "outputFee" PreprocessedTransferOutput [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "owner" PreprocessedTransferOutput [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
**data** RewardsIssuanceConfig
> An easy way to configure `exucuteTransfer` wrt what rewards to issue. We currently only use two configurations: but all of the options in here make sense, so we keep them.
>
>
> RewardsIssuanceConfig
>
>
> > | Field | Type | Description |
> > | --------------------- | --------------------------------------------------------------------------------- | ----------- |
> > | issueAppRewards | [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265) | |
> > | issueValidatorRewards | [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265) | |
>
> **instance** GetField "issueAppRewards" RewardsIssuanceConfig [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265)
>
> **instance** GetField "issueValidatorRewards" RewardsIssuanceConfig [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265)
>
> **instance** SetField "issueAppRewards" RewardsIssuanceConfig [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265)
>
> **instance** SetField "issueValidatorRewards" RewardsIssuanceConfig [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265)
**data** Transfer
> Representation of a batch transfer.
>
>
> Transfer
>
>
> > | Field | Type | Description |
> > | ------------- | --------------------------------------------------------------------------------------------------------------------------- | ---------------------------------------------------- |
> > | sender | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> > | provider | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> > | inputs | \[TransferInput] | |
> > | outputs | \[TransferOutput] | |
> > | beneficiaries | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) \[AppRewardBeneficiary] | Beneficiaries between which the app reward is split. |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) Transfer
>
> **instance** [Ord](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-ord-6395) Transfer
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) Transfer
>
> **instance** GetField "beneficiaries" Transfer ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) \[AppRewardBeneficiary])
>
> **instance** GetField "inputs" Transfer \[TransferInput]
>
> **instance** GetField "outputs" Transfer \[TransferOutput]
>
> **instance** GetField "provider" Transfer [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "sender" Transfer [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "transfer" AmuletRules\_Transfer Transfer
>
> **instance** SetField "beneficiaries" Transfer ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) \[AppRewardBeneficiary])
>
> **instance** SetField "inputs" Transfer \[TransferInput]
>
> **instance** SetField "outputs" Transfer \[TransferOutput]
>
> **instance** SetField "provider" Transfer [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "sender" Transfer [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "transfer" AmuletRules\_Transfer Transfer
**data** TransferContext
> Contracts that need to be passed in to a Transfer so that we can reference them by contract id instead of by key.
>
>
> TransferContext
>
>
> > | Field | Type | Description |
> > | ------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------ |
> > | openMiningRound | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound | |
> > | issuingMiningRounds | [Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) Round ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) IssuingMiningRound) | |
> > | validatorRights | [Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorRight) | Map from user to ValidatorRight contract. |
> > | featuredAppRight | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight) | Optional proof that the provider is a featured app provider. |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) TransferContext
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) TransferContext
>
> **instance** GetField "context" AmuletRules\_BuyMemberTraffic TransferContext
>
> **instance** GetField "context" AmuletRules\_ComputeFees TransferContext
>
> **instance** GetField "context" AmuletRules\_Transfer TransferContext
>
> **instance** GetField "context" PaymentTransferContext TransferContext
>
> **instance** GetField "featuredAppRight" TransferContext ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight))
>
> **instance** GetField "issuingMiningRounds" TransferContext ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) Round ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) IssuingMiningRound))
>
> **instance** GetField "openMiningRound" TransferContext ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
>
> **instance** GetField "validatorRights" TransferContext ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorRight))
>
> **instance** SetField "context" AmuletRules\_BuyMemberTraffic TransferContext
>
> **instance** SetField "context" AmuletRules\_ComputeFees TransferContext
>
> **instance** SetField "context" AmuletRules\_Transfer TransferContext
>
> **instance** SetField "context" PaymentTransferContext TransferContext
>
> **instance** SetField "featuredAppRight" TransferContext ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight))
>
> **instance** SetField "issuingMiningRounds" TransferContext ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) Round ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) IssuingMiningRound))
>
> **instance** SetField "openMiningRound" TransferContext ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound)
>
> **instance** SetField "validatorRights" TransferContext ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorRight))
**data** TransferContextSummary
> Deprecated: unused, we just can't remove it yet due to upgrading rules
>
>
> TransferContextSummary
>
>
> > | Field | Type | Description |
> > | ------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | featuredAppProvider | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> > | config | TransferConfig Amulet | |
> > | openRound | OpenMiningRound | |
> > | issuingMiningRounds | [Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) Round IssuingMiningRound | |
> > | validatorRights | [Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorRight) | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) TransferContextSummary
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) TransferContextSummary
>
> **instance** GetField "config" TransferContextSummary (TransferConfig Amulet)
>
> **instance** GetField "featuredAppProvider" TransferContextSummary ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932))
>
> **instance** GetField "issuingMiningRounds" TransferContextSummary ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) Round IssuingMiningRound)
>
> **instance** GetField "openRound" TransferContextSummary OpenMiningRound
>
> **instance** GetField "validatorRights" TransferContextSummary ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorRight))
>
> **instance** SetField "config" TransferContextSummary (TransferConfig Amulet)
>
> **instance** SetField "featuredAppProvider" TransferContextSummary ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932))
>
> **instance** SetField "issuingMiningRounds" TransferContextSummary ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) Round IssuingMiningRound)
>
> **instance** SetField "openRound" TransferContextSummary OpenMiningRound
>
> **instance** SetField "validatorRights" TransferContextSummary ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorRight))
**data** TransferContextSummaryV2
>
> TransferContextSummaryV2
>
>
> > | Field | Type | Description |
> > | ------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | dso | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> > | featuredAppProvider | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> > | config | TransferConfigV2 Amulet | |
> > | openRoundNumber | Round | |
> > | amuletPrice | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> > | issuingMiningRounds | [Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) Round IssuingMiningRound | |
> > | validatorRights | [Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorRight) | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) TransferContextSummaryV2
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) TransferContextSummaryV2
>
> **instance** GetField "amuletPrice" TransferContextSummaryV2 [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "config" TransferContextSummaryV2 (TransferConfigV2 Amulet)
>
> **instance** GetField "dso" TransferContextSummaryV2 [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "featuredAppProvider" TransferContextSummaryV2 ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932))
>
> **instance** GetField "issuingMiningRounds" TransferContextSummaryV2 ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) Round IssuingMiningRound)
>
> **instance** GetField "openRoundNumber" TransferContextSummaryV2 Round
>
> **instance** GetField "validatorRights" TransferContextSummaryV2 ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorRight))
>
> **instance** SetField "amuletPrice" TransferContextSummaryV2 [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "config" TransferContextSummaryV2 (TransferConfigV2 Amulet)
>
> **instance** SetField "dso" TransferContextSummaryV2 [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "featuredAppProvider" TransferContextSummaryV2 ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932))
>
> **instance** SetField "issuingMiningRounds" TransferContextSummaryV2 ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) Round IssuingMiningRound)
>
> **instance** SetField "openRoundNumber" TransferContextSummaryV2 Round
>
> **instance** SetField "validatorRights" TransferContextSummaryV2 ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorRight))
**data** TransferInput
> An individual input for a batch transfer.
>
>
> InputAppRewardCoupon ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) AppRewardCoupon)
>
>
>
> InputValidatorRewardCoupon ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorRewardCoupon)
>
>
>
> InputSvRewardCoupon ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SvRewardCoupon)
>
>
>
> InputAmulet ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet)
>
>
>
> ExtTransferInput
>
>
> > | Field | Type | Description |
> > | ----------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | ------------------------------------------------------------------------------------------------------- |
> > | dummyUnitField | () | Extension constructor (and field) to work around the current lack of upgrading for variants in Daml 3.0 |
> > | optInputValidatorFaucetCoupon | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorFaucetCoupon) | Added in CIP-3. Optional validator faucet coupon input into this transfer. |
>
>
> InputValidatorLivenessActivityRecord ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorLivenessActivityRecord)
>
>
>
> InputUnclaimedActivityRecord ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) UnclaimedActivityRecord)
>
>
>
> InputDevelopmentFundCoupon ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) DevelopmentFundCoupon)
>
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) TransferInput
>
> **instance** [Ord](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-ord-6395) TransferInput
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) TransferInput
>
> **instance** GetField "dummyUnitField" TransferInput ()
>
> **instance** GetField "inputs" AmuletRules\_BuyMemberTraffic \[TransferInput]
>
> **instance** GetField "inputs" AmuletRules\_CreateExternalPartySetupProposal \[TransferInput]
>
> **instance** GetField "inputs" AmuletRules\_CreateTransferPreapproval \[TransferInput]
>
> **instance** GetField "inputs" Transfer \[TransferInput]
>
> **instance** GetField "inputs" TransferPreapproval\_Renew \[TransferInput]
>
> **instance** GetField "inputs" TransferPreapproval\_Send \[TransferInput]
>
> **instance** GetField "inputs" TransferPreapproval\_SendV2 \[TransferInput]
>
> **instance** GetField "inputs" TransferCommand\_Send \[TransferInput]
>
> **instance** GetField "optInputValidatorFaucetCoupon" TransferInput ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorFaucetCoupon))
>
> **instance** SetField "dummyUnitField" TransferInput ()
>
> **instance** SetField "inputs" AmuletRules\_BuyMemberTraffic \[TransferInput]
>
> **instance** SetField "inputs" AmuletRules\_CreateExternalPartySetupProposal \[TransferInput]
>
> **instance** SetField "inputs" AmuletRules\_CreateTransferPreapproval \[TransferInput]
>
> **instance** SetField "inputs" Transfer \[TransferInput]
>
> **instance** SetField "inputs" TransferPreapproval\_Renew \[TransferInput]
>
> **instance** SetField "inputs" TransferPreapproval\_Send \[TransferInput]
>
> **instance** SetField "inputs" TransferPreapproval\_SendV2 \[TransferInput]
>
> **instance** SetField "inputs" TransferCommand\_Send \[TransferInput]
>
> **instance** SetField "optInputValidatorFaucetCoupon" TransferInput ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorFaucetCoupon))
**data** TransferInputsSummary
>
> TransferInputsSummary
>
>
> > | Field | Type | Description |
> > | ---------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------- |
> > | totalAmuletAmount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> > | totalAppRewardAmount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> > | totalValidatorRewardAmount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> > | totalValidatorFaucetAmount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | Note that the validator faucet amount does not need to be optional in this type, as it is not stored on the ledger. |
> > | totalSvRewardAmount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> > | totalHoldingFees | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> > | amountArchivedAsOfRoundZero | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> > | changeToHoldingFeesRate | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> > | totalUnclaimedActivityRecordAmount | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | Note: Made optional as the addition of this field is checked by the upgrade checker on package upload because `TransferInputsSummary` is serializable. |
> > | totalDevelopmentFundAmount | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | Note: Same rationale as above — made optional to ensure compatibility with the upgrade checker on package upload because `TransferInputsSummary` is serializable. |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) TransferInputsSummary
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) TransferInputsSummary
>
> **instance** GetField "amountArchivedAsOfRoundZero" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "changeToHoldingFeesRate" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "totalAmuletAmount" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "totalAppRewardAmount" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "totalDevelopmentFundAmount" TransferInputsSummary ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135))
>
> **instance** GetField "totalHoldingFees" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "totalSvRewardAmount" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "totalUnclaimedActivityRecordAmount" TransferInputsSummary ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135))
>
> **instance** GetField "totalValidatorFaucetAmount" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "totalValidatorRewardAmount" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "amountArchivedAsOfRoundZero" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "changeToHoldingFeesRate" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "totalAmuletAmount" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "totalAppRewardAmount" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "totalDevelopmentFundAmount" TransferInputsSummary ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135))
>
> **instance** SetField "totalHoldingFees" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "totalSvRewardAmount" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "totalUnclaimedActivityRecordAmount" TransferInputsSummary ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135))
>
> **instance** SetField "totalValidatorFaucetAmount" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "totalValidatorRewardAmount" TransferInputsSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
**data** TransferOutput
> An individual output for a batch transfer.
>
>
> TransferOutput
>
>
> > | Field | Type | Description |
> > | ---------------- | ------------------------------------------------------------------------------------------------------------ | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
> > | receiver | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | The receiver who will own the created output amulet. |
> > | receiverFeeRatio | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | The ratio of the output fee paid from receiver's output amount. 1.0 means the whole fee is deducted from the specified output amount, 0.0 the whole fee is deducted from the sender's input balance. If a receiver's fee is not covered by the specified output amount, the transfer is aborted. |
> > | amount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | The amount of amulet to receive, before deducting the receiver's part of the output fee. |
> > | lock | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) TimeLock | The lock to be added, if any. |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) TransferOutput
>
> **instance** [Ord](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-ord-6395) TransferOutput
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) TransferOutput
>
> **instance** GetField "amount" TransferOutput [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "lock" TransferOutput ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) TimeLock)
>
> **instance** GetField "outputs" AmuletRules\_ComputeFees \[TransferOutput]
>
> **instance** GetField "outputs" Transfer \[TransferOutput]
>
> **instance** GetField "receiver" TransferOutput [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "receiverFeeRatio" TransferOutput [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "amount" TransferOutput [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "lock" TransferOutput ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) TimeLock)
>
> **instance** SetField "outputs" AmuletRules\_ComputeFees \[TransferOutput]
>
> **instance** SetField "outputs" Transfer \[TransferOutput]
>
> **instance** SetField "receiver" TransferOutput [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "receiverFeeRatio" TransferOutput [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
**type** TransferOutputsSummary
\= \[PreprocessedTransferOutput]
**data** TransferPreapproval\_CancelResult
>
> TransferPreapproval\_CancelResult
>
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) TransferPreapproval\_CancelResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) TransferPreapproval\_CancelResult
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) TransferPreapproval TransferPreapproval\_Cancel TransferPreapproval\_CancelResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) TransferPreapproval TransferPreapproval\_Cancel TransferPreapproval\_CancelResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) TransferPreapproval TransferPreapproval\_Cancel TransferPreapproval\_CancelResult
**data** TransferPreapproval\_ExpireResult
>
> TransferPreapproval\_ExpireResult
>
>
> > (no fields)
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) TransferPreapproval\_ExpireResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) TransferPreapproval\_ExpireResult
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) TransferPreapproval TransferPreapproval\_Expire TransferPreapproval\_ExpireResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) TransferPreapproval TransferPreapproval\_Expire TransferPreapproval\_ExpireResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) TransferPreapproval TransferPreapproval\_Expire TransferPreapproval\_ExpireResult
**data** TransferPreapproval\_RenewResult
>
> TransferPreapproval\_RenewResult
>
>
> > | Field | Type | Description |
> > | ---------------------- | ---------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | transferPreapprovalCid | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval | |
> > | transferResult | TransferResult | |
> > | receiver | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> > | provider | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | |
> > | amuletPaid | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | |
> > | meta | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) TransferPreapproval\_RenewResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) TransferPreapproval\_RenewResult
>
> **instance** GetField "amuletPaid" TransferPreapproval\_RenewResult [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "meta" TransferPreapproval\_RenewResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata)
>
> **instance** GetField "provider" TransferPreapproval\_RenewResult [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "receiver" TransferPreapproval\_RenewResult [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "transferPreapprovalCid" TransferPreapproval\_RenewResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval)
>
> **instance** GetField "transferResult" TransferPreapproval\_RenewResult TransferResult
>
> **instance** SetField "amuletPaid" TransferPreapproval\_RenewResult [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "meta" TransferPreapproval\_RenewResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata)
>
> **instance** SetField "provider" TransferPreapproval\_RenewResult [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "receiver" TransferPreapproval\_RenewResult [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "transferPreapprovalCid" TransferPreapproval\_RenewResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TransferPreapproval)
>
> **instance** SetField "transferResult" TransferPreapproval\_RenewResult TransferResult
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) TransferPreapproval TransferPreapproval\_Renew TransferPreapproval\_RenewResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) TransferPreapproval TransferPreapproval\_Renew TransferPreapproval\_RenewResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) TransferPreapproval TransferPreapproval\_Renew TransferPreapproval\_RenewResult
**data** TransferPreapproval\_SendResult
>
> TransferPreapproval\_SendResult
>
>
> > | Field | Type | Description |
> > | ------ | ------------------------------------------------------------------------------------------------------------ | ----------- |
> > | result | TransferResult | |
> > | meta | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) TransferPreapproval\_SendResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) TransferPreapproval\_SendResult
>
> **instance** GetField "meta" TransferPreapproval\_SendResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata)
>
> **instance** GetField "result" TransferPreapproval\_SendResult TransferResult
>
> **instance** SetField "meta" TransferPreapproval\_SendResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata)
>
> **instance** SetField "result" TransferPreapproval\_SendResult TransferResult
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) TransferPreapproval TransferPreapproval\_Send TransferPreapproval\_SendResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) TransferPreapproval TransferPreapproval\_Send TransferPreapproval\_SendResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) TransferPreapproval TransferPreapproval\_Send TransferPreapproval\_SendResult
**data** TransferPreapproval\_SendV2Result
>
> TransferPreapproval\_SendV2Result
>
>
> > | Field | Type | Description |
> > | ------ | -------------- | ----------- |
> > | result | TransferResult | |
> > | meta | Metadata | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) TransferPreapproval\_SendV2Result
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) TransferPreapproval\_SendV2Result
>
> **instance** GetField "meta" TransferPreapproval\_SendV2Result Metadata
>
> **instance** GetField "result" TransferPreapproval\_SendV2Result TransferResult
>
> **instance** SetField "meta" TransferPreapproval\_SendV2Result Metadata
>
> **instance** SetField "result" TransferPreapproval\_SendV2Result TransferResult
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) TransferPreapproval TransferPreapproval\_SendV2 TransferPreapproval\_SendV2Result
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) TransferPreapproval TransferPreapproval\_SendV2 TransferPreapproval\_SendV2Result
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) TransferPreapproval TransferPreapproval\_SendV2 TransferPreapproval\_SendV2Result
**data** TransferResult
>
> TransferResult
>
>
> > | Field | Type | Description |
> > | ------------------ | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
> > | round | Round | Round for which this transfer was registered. |
> > | summary | TransferSummary | Summary of amount input and outputs, and fees paid. |
> > | createdAmulets | \[CreatedAmulet] | References to the created output amulets. |
> > | senderChangeAmulet | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet) | Optional reference to the amulet for the change returned to the sender. Only created if there was some change to be returned after deducting the fee for returning change. |
> > | meta | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) TransferResult
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) TransferResult
>
> **instance** GetField "createdAmulets" TransferResult \[CreatedAmulet]
>
> **instance** GetField "meta" TransferResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata)
>
> **instance** GetField "result" TransferPreapproval\_SendResult TransferResult
>
> **instance** GetField "result" TransferPreapproval\_SendV2Result TransferResult
>
> **instance** GetField "result" TransferCommandResult TransferResult
>
> **instance** GetField "round" TransferResult Round
>
> **instance** GetField "senderChangeAmulet" TransferResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
>
> **instance** GetField "summary" TransferResult TransferSummary
>
> **instance** GetField "transferResult" AmuletRules\_CreateExternalPartySetupProposalResult TransferResult
>
> **instance** GetField "transferResult" AmuletRules\_CreateTransferPreapprovalResult TransferResult
>
> **instance** GetField "transferResult" TransferPreapproval\_RenewResult TransferResult
>
> **instance** SetField "createdAmulets" TransferResult \[CreatedAmulet]
>
> **instance** SetField "meta" TransferResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Metadata)
>
> **instance** SetField "result" TransferPreapproval\_SendResult TransferResult
>
> **instance** SetField "result" TransferPreapproval\_SendV2Result TransferResult
>
> **instance** SetField "result" TransferCommandResult TransferResult
>
> **instance** SetField "round" TransferResult Round
>
> **instance** SetField "senderChangeAmulet" TransferResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
>
> **instance** SetField "summary" TransferResult TransferSummary
>
> **instance** SetField "transferResult" AmuletRules\_CreateExternalPartySetupProposalResult TransferResult
>
> **instance** SetField "transferResult" AmuletRules\_CreateTransferPreapprovalResult TransferResult
>
> **instance** SetField "transferResult" TransferPreapproval\_RenewResult TransferResult
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) AmuletRules AmuletRules\_Transfer TransferResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) AmuletRules AmuletRules\_Transfer TransferResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) AmuletRules AmuletRules\_Transfer TransferResult
**data** TransferSummary
> Summary of input and output amounts and fees paid. This summary is intended to be used together with the `Transfer` specification used to initiate the transfer when displaying a transaction summary. Its fields are intended to provide shortcuts for key numbers that are complex to compute off-ledger.
>
> All amounts are denominated in Splice.
>
>
> TransferSummary
>
>
> > | Field | Type | Description |
> > | ---------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
> > | inputAppRewardAmount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | Total amount of app reward coupon issunace input into this transfer. |
> > | inputValidatorRewardAmount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | Total amount of validator rewards coupon issuance input into this transfer. |
> > | inputSvRewardAmount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | Total amount of SV reward coupon issuance input into this transfer. |
> > | inputAmuletAmount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | Total input amount of amulet input into this transfer, before deducting holding fees. |
> > | balanceChanges | [Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) BalanceChange | Balance changes per party |
> > | holdingFees | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | Holding fees paid by the sender on their input amulets. |
> > | outputFees | \[[Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)] | Fees paid for the individual output amulets in the order they were specified. |
> > | senderChangeFee | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | Fee charged for returning change to the sender, which is the smaller of the left-over balance after paying for all outputs or one amulet create fee. In case the left-over balance after paying for all outputs is smaller than a create fee, all of that balance is consumed by the fee for returning change, and no actual amulet is created for the sender, i.e., the `senderChangeAmount` is zero. The transfer does though succeed. For transfers that do not allow returning change to the sender, the left-over balance after paying for all outputs must be zero, and thus the `senderChangeFee` must be zero as well. |
> > | senderChangeAmount | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | The final amount of amulet returned to the sender after paying for all outputs and fees. If it is zero, then no amulet is created for the sender. |
> > | amuletPrice | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | The amulet price at the round this transfer was executed. |
> > | inputValidatorFaucetAmount | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | Added in CIP-3. Total amount of validator faucet coupon issuance input into this transfer. |
> > | inputUnclaimedActivityRecordAmount | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | Total amount of unclaimed activity record issuance input into this transfer. Note: Made optional as the addition of this field is checked by the upgrade checker. |
> > | inputDevelopmentFundAmount | [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) | Total amount of development fund coupon issuance input into this transfer. Note: Made optional as the addition of this field is checked by the upgrade checker. |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) TransferSummary
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) TransferSummary
>
> **instance** GetField "amuletPrice" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "balanceChanges" TransferSummary ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) BalanceChange)
>
> **instance** GetField "holdingFees" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "inputAmuletAmount" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "inputAppRewardAmount" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "inputDevelopmentFundAmount" TransferSummary ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135))
>
> **instance** GetField "inputSvRewardAmount" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "inputUnclaimedActivityRecordAmount" TransferSummary ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135))
>
> **instance** GetField "inputValidatorFaucetAmount" TransferSummary ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135))
>
> **instance** GetField "inputValidatorRewardAmount" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "outputFees" TransferSummary \[[Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)]
>
> **instance** GetField "senderChangeAmount" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "senderChangeFee" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** GetField "summary" AmuletRules\_BuyMemberTrafficResult TransferSummary
>
> **instance** GetField "summary" TransferResult TransferSummary
>
> **instance** SetField "amuletPrice" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "balanceChanges" TransferSummary ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) BalanceChange)
>
> **instance** SetField "holdingFees" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "inputAmuletAmount" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "inputAppRewardAmount" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "inputDevelopmentFundAmount" TransferSummary ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135))
>
> **instance** SetField "inputSvRewardAmount" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "inputUnclaimedActivityRecordAmount" TransferSummary ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135))
>
> **instance** SetField "inputValidatorFaucetAmount" TransferSummary ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135))
>
> **instance** SetField "inputValidatorRewardAmount" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "outputFees" TransferSummary \[[Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)]
>
> **instance** SetField "senderChangeAmount" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "senderChangeFee" TransferSummary [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
>
> **instance** SetField "summary" AmuletRules\_BuyMemberTrafficResult TransferSummary
>
> **instance** SetField "summary" TransferResult TransferSummary
**data** ValidatedOpenMiningRounds
>
> ValidatedOpenMiningRounds
>
>
> > | Field | Type | Description |
> > | ----------------- | --------------- | ----------- |
> > | oldestRound | OpenMiningRound | |
> > | latestUsableRound | OpenMiningRound | |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) ValidatedOpenMiningRounds
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) ValidatedOpenMiningRounds
>
> **instance** GetField "latestUsableRound" ValidatedOpenMiningRounds OpenMiningRound
>
> **instance** GetField "oldestRound" ValidatedOpenMiningRounds OpenMiningRound
>
> **instance** SetField "latestUsableRound" ValidatedOpenMiningRounds OpenMiningRound
>
> **instance** SetField "oldestRound" ValidatedOpenMiningRounds OpenMiningRound
## Functions
validateOpenMiningRoundTriple
: [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> OpenMiningRoundTriple -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ValidatedOpenMiningRounds
transferControllers
: Transfer -> Set [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
The controllers for a transfer.
mkUnknownSynchronizerFailure
: [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) -> FailureStatus
mkInsufficientTopupAmountFailure
: [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261) -> [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261) -> FailureStatus
mkMaximumInputsExceededFailure
: FailureStatus
mkMaximumOutputsExceededFailure
: FailureStatus
mkInsufficientFundsFailure
: [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) -> FailureStatus
spliceErrorId
: [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) -> [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
mkFailureStatus
: [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) -> FailureCategory -> [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) -> [TextMap](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-textmap-11691) [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) -> FailureStatus
checkTransferConstraints
: Transfer -> TransferSummary -> TransferConfigV2 unit -> [Either](/appdev/reference/daml-standard-library/prelude#type-da-types-either-56020) FailureStatus ()
executeTransfer
: RewardsIssuanceConfig -> TransferContext -> [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> Transfer -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) TransferResult
Execute a transfer.
executeExternalPartyTransfer
: [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> ExternalPartyTransferContext -> Transfer -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) TransferResult
Execute a transfer for external parties so that the prepared tx remains valid for 24h
executeTransfer'
: RewardsIssuanceConfig -> TransferContextSummaryV2 -> [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> Transfer -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) TransferResult
summarizeAndValidateContext
: TransferContext -> [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> Transfer -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) TransferContextSummaryV2
summarizeAndValidateExternalPartyContext
: ExternalPartyTransferContext -> [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> Transfer -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) TransferContextSummaryV2
getValidatorRight
: TransferContextSummaryV2 -> [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorRight)
getIssuingMiningRound
: TransferContextSummaryV2 -> Round -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) IssuingMiningRound
summarizeAndConsumeInputs
: TransferContextSummaryV2 -> [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> \[TransferInput] -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) TransferInputsSummary
dedupOutputLockHolders
: TransferOutput -> TransferOutput
Deduplicate lock-holders to store them and charge for them at most once
preprocessOutputs
: TransferConfigV2 Amulet -> \[TransferOutput] -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) TransferOutputsSummary
summarizeTransfer
: [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> Round -> [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) -> TransferConfigV2 Amulet -> TransferInputsSummary -> TransferOutputsSummary -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) TransferSummary
issueRewards
: RewardsIssuanceConfig -> TransferContextSummaryV2 -> [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) \[AppRewardBeneficiary] -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ()
createTransferOutputs
: Round -> TransferConfigV2 Amulet -> [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> TransferSummary -> TransferOutputsSummary -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) (\[CreatedAmulet], [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
scaleFees
: [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) -> TransferConfig USD -> TransferConfig Amulet
Scale the 'AmuletConfig' such that the fees charged are scaled by the same scale factor.
scaleFees2
: [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) -> TransferConfigV2 USD -> TransferConfigV2 Amulet
Scale the 'TranserConfigV2' such that the fees charged are scaled by the same scale factor.
transferConfigAmuletFromOpenRound
: OpenMiningRound -> TransferConfig Amulet
validateBuyMemberTrafficInputs
: AmuletConfig USD -> [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) -> [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261) -> [Either](/appdev/reference/daml-standard-library/prelude#type-da-types-either-56020) FailureStatus ()
computeSynchronizerFees
: [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261) -> AmuletRules -> TransferContext -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ([Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135), [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135))
Computing synchronizer fees
legacyAmuletCreateSummary
: [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound -> [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) (AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
checkExpectedDso
: [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ()
exerciseAppTransfer
: [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> AppTransferContext -> Transfer -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) TransferResult
exercisePaymentTransfer
: [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> PaymentTransferContext -> Transfer -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) TransferResult
amuletTransferContext
: [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) OpenMiningRound -> [Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) FeaturedAppRight) -> TransferContext
Helper to construct transfer context with only amulet inputs
createdAmuletToHolding
: CreatedAmulet -> [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Holding
mkInputValidatorFaucetCoupon
: [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) ValidatorFaucetCoupon -> TransferInput
Smart constructor for inputing validator faucet coupons into a transfer.
computeTransferPreapprovalFee
: [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082) -> AmuletConfig USD -> TransferContext -> [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ([Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135), [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135))
splitAndBurn
: [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) -> \[TransferInput] -> TransferContext -> [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952) -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) (TransferResult, Metadata)
totalBurnFromSummary
: TransferSummary -> [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)
Compute the total burn done as part of the transfer.
externalPartyTransferFromChoiceContext
: [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> ChoiceContext -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ExternalPartyTransferContext
unfeaturedPaymentContextFromChoiceContext
: [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) -> ChoiceContext -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ExternalPartyTransferContext
Used when we want to ignore a featured app right, even if it is present in the context.
bootstrapExternalPartyConfigState
: AmuletRules -> OpenMiningRoundTriple -> [Update](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-update-68072) ()