Splice.Wallet.Install

Documentation for Splice.Wallet.Install

Templates

template WalletAppInstall

Signatory: endUserParty, validatorParty

Field	Type	Description
dsoParty	Party
validatorParty	Party
endUserName	Text
endUserParty	Party

• Choice Archive

  Controller: endUserParty, validatorParty

  Returns: ()

  (no fields)

• Choice WalletAppInstall_AcceptedTransferOffer_Abort

  Controller: validatorParty

  Returns: WalletAppInstall_AcceptedTransferOffer_AbortResult

  Field	Type	Description
  cid	ContractId AcceptedTransferOffer
  reason	Text

• Choice WalletAppInstall_AcceptedTransferOffer_Expire

  Controller: validatorParty

  Returns: WalletAppInstall_AcceptedTransferOffer_ExpireResult

  Field	Type	Description
  cid	ContractId AcceptedTransferOffer

• Choice WalletAppInstall_AcceptedTransferOffer_Withdraw

  Controller: validatorParty

  Returns: WalletAppInstall_AcceptedTransferOffer_WithdrawResult

  Field	Type	Description
  cid	ContractId AcceptedTransferOffer
  reason	Text

• Choice WalletAppInstall_AllocationFactory_Allocate

  Controller: validatorParty

  Returns: AllocationInstructionResult

  Field	Type	Description
  allocationFactory	ContractId AllocationFactory
  allocateArg	AllocationFactory_Allocate

• Choice WalletAppInstall_Allocation_Withdraw

  Controller: validatorParty

  Returns: Allocation_WithdrawResult

  Field	Type	Description
  allocationCid	ContractId Allocation
  withdrawArg	Allocation_Withdraw

• Choice WalletAppInstall_AppPaymentRequest_Expire

  Controller: validatorParty

  Returns: WalletAppInstall_AppPaymentRequest_ExpireResult

  Field	Type	Description
  cid	ContractId AppPaymentRequest

• Choice WalletAppInstall_AppPaymentRequest_Reject

  Controller: validatorParty

  Returns: WalletAppInstall_AppPaymentRequest_RejectResult

  Field	Type	Description
  cid	ContractId AppPaymentRequest

• Choice WalletAppInstall_BuyTrafficRequest_Cancel

  Controller: validatorParty

  Returns: WalletAppInstall_BuyTrafficRequest_CancelResult

  Field	Type	Description
  requestCid	ContractId BuyTrafficRequest
  reason	Text

• Choice WalletAppInstall_BuyTrafficRequest_Expire

  Controller: validatorParty

  Returns: WalletAppInstall_BuyTrafficRequest_ExpireResult

  Field	Type	Description
  requestCid	ContractId BuyTrafficRequest

• Choice WalletAppInstall_CreateBuyTrafficRequest

  Controller: validatorParty

  Returns: WalletAppInstall_CreateBuyTrafficRequestResult

  Field	Type	Description
  memberId	Text
  synchronizerId	Text
  migrationId	Int
  trafficAmount	Int
  expiresAt	Time
  trackingId	Text

• Choice WalletAppInstall_CreateTransferOffer

  Controller: validatorParty

  Returns: WalletAppInstall_CreateTransferOfferResult

  Field	Type	Description
  receiver	Party
  amount	PaymentAmount
  description	Text
  expiresAt	Time
  trackingId	Text

• Choice WalletAppInstall_ExecuteBatch

  Controller: validatorParty

  Returns: WalletAppInstall_ExecuteBatchResult

  Field	Type	Description
  context	PaymentTransferContext
  inputs	[TransferInput]
  operations	[AmuletOperation]

• Choice WalletAppInstall_FeaturedAppRights_Cancel

  Controller: validatorParty

  Returns: WalletAppInstall_FeaturedAppRights_CancelResult

  Field	Type	Description
  cid	ContractId FeaturedAppRight

• Choice WalletAppInstall_FeaturedAppRights_SelfGrant

  Controller: validatorParty

  Returns: WalletAppInstall_FeaturedAppRights_SelfGrantResult

  Field	Type	Description
  amuletRulesCid	ContractId AmuletRules

• Choice WalletAppInstall_SubscriptionIdleState_CancelSubscription

  Controller: validatorParty

  Returns: WalletAppInstall_SubscriptionIdleState_CancelSubscriptionResult

  Field	Type	Description
  cid	ContractId SubscriptionIdleState

• Choice WalletAppInstall_SubscriptionRequest_Reject

  Controller: validatorParty

  Returns: WalletAppInstall_SubscriptionRequest_RejectResult

  Field	Type	Description
  cid	ContractId SubscriptionRequest

• Choice WalletAppInstall_TransferFactory_Transfer

  Controller: validatorParty

  Returns: TransferInstructionResult

  Field	Type	Description
  transferFactoryCid	ContractId TransferFactory
  transferArg	TransferFactory_Transfer

• Choice WalletAppInstall_TransferInstruction_Accept

  Controller: validatorParty

  Returns: TransferInstructionResult

  Field	Type	Description
  transferInstructionCid	ContractId TransferInstruction
  acceptArg	TransferInstruction_Accept

• Choice WalletAppInstall_TransferInstruction_Reject

  Controller: validatorParty

  Returns: TransferInstructionResult

  Field	Type	Description
  transferInstructionCid	ContractId TransferInstruction
  rejectArg	TransferInstruction_Reject

• Choice WalletAppInstall_TransferInstruction_Withdraw

  Controller: validatorParty

  Returns: TransferInstructionResult

  Field	Type	Description
  transferInstructionCid	ContractId TransferInstruction
  withdrawArg	TransferInstruction_Withdraw

• Choice WalletAppInstall_TransferOffer_Accept

  Controller: validatorParty

  Returns: WalletAppInstall_TransferOffer_AcceptResult

  Field	Type	Description
  cid	ContractId TransferOffer

• Choice WalletAppInstall_TransferOffer_Expire

  Controller: validatorParty

  Returns: WalletAppInstall_TransferOffer_ExpireResult

  Field	Type	Description
  cid	ContractId TransferOffer

• Choice WalletAppInstall_TransferOffer_Reject

  Controller: validatorParty

  Returns: WalletAppInstall_TransferOffer_RejectResult

  Field	Type	Description
  cid	ContractId TransferOffer

• Choice WalletAppInstall_TransferOffer_Withdraw

  Controller: validatorParty

  Returns: WalletAppInstall_TransferOffer_WithdrawResult

  Field	Type	Description
  cid	ContractId TransferOffer
  reason	Text

Data Types

data AmuletOperation

CO_AppPayment (ContractId AppPaymentRequest)

CO_CompleteAcceptedTransfer (ContractId AcceptedTransferOffer)

CO_SubscriptionAcceptAndMakeInitialPayment (ContractId SubscriptionRequest)

CO_SubscriptionMakePayment (ContractId SubscriptionIdleState)

CO_MergeTransferInputs

CO_BuyMemberTraffic

Field	Type	Description
trafficAmount	Int
memberId	Text
synchronizerId	Text
migrationId	Int
minTopupInterval	RelTime
topupStateCid	Optional (ContractId ValidatorTopUpState)

CO_CompleteBuyTrafficRequest

Field	Type	Description
trafficRequestCid	ContractId BuyTrafficRequest

CO_Tap

Field	Type	Description
tapAmount	Decimal

ExtAmuletOperation

Field	Type	Description
dummyUnitField	()	Extension constructor (and field) to work around the current lack of upgrading for variants in Daml 3.0

CO_CreateExternalPartySetupProposal

Field	Type	Description
externalParty	Party
preapprovalExpiresAt	Time

CO_AcceptTransferPreapprovalProposal

Field	Type	Description
preapprovalProposalCid	ContractId TransferPreapprovalProposal
expiresAt	Time

CO_RenewTransferPreapproval

Field	Type	Description
previousApprovalCid	ContractId TransferPreapproval
newExpiresAt	Time

CO_TransferPreapprovalSend

Field	Type	Description
transferPreapprovalCid	ContractId TransferPreapproval
providerFeaturedAppRightCid	Optional (ContractId FeaturedAppRight)
amount	Decimal
description	Optional Text

instance Eq AmuletOperation

instance Show AmuletOperation

instance GetField “amount” AmuletOperation Decimal

instance GetField “description” AmuletOperation (Optional Text)

instance GetField “dummyUnitField” AmuletOperation ()

instance GetField “expiresAt” AmuletOperation Time

instance GetField “externalParty” AmuletOperation Party

instance GetField “memberId” AmuletOperation Text

instance GetField “migrationId” AmuletOperation Int

instance GetField “minTopupInterval” AmuletOperation RelTime

instance GetField “newExpiresAt” AmuletOperation Time

instance GetField “operations” WalletAppInstall_ExecuteBatch [AmuletOperation]

instance GetField “preapprovalExpiresAt” AmuletOperation Time

instance GetField “preapprovalProposalCid” AmuletOperation (ContractId TransferPreapprovalProposal)

instance GetField “previousApprovalCid” AmuletOperation (ContractId TransferPreapproval)

instance GetField “providerFeaturedAppRightCid” AmuletOperation (Optional (ContractId FeaturedAppRight))

instance GetField “synchronizerId” AmuletOperation Text

instance GetField “tapAmount” AmuletOperation Decimal

instance GetField “topupStateCid” AmuletOperation (Optional (ContractId ValidatorTopUpState))

instance GetField “trafficAmount” AmuletOperation Int

instance GetField “trafficRequestCid” AmuletOperation (ContractId BuyTrafficRequest)

instance GetField “transferPreapprovalCid” AmuletOperation (ContractId TransferPreapproval)

instance SetField “amount” AmuletOperation Decimal

instance SetField “description” AmuletOperation (Optional Text)

instance SetField “dummyUnitField” AmuletOperation ()

instance SetField “expiresAt” AmuletOperation Time

instance SetField “externalParty” AmuletOperation Party

instance SetField “memberId” AmuletOperation Text

instance SetField “migrationId” AmuletOperation Int

instance SetField “minTopupInterval” AmuletOperation RelTime

instance SetField “newExpiresAt” AmuletOperation Time

instance SetField “operations” WalletAppInstall_ExecuteBatch [AmuletOperation]

instance SetField “preapprovalExpiresAt” AmuletOperation Time

instance SetField “preapprovalProposalCid” AmuletOperation (ContractId TransferPreapprovalProposal)

instance SetField “previousApprovalCid” AmuletOperation (ContractId TransferPreapproval)

instance SetField “providerFeaturedAppRightCid” AmuletOperation (Optional (ContractId FeaturedAppRight))

instance SetField “synchronizerId” AmuletOperation Text

instance SetField “tapAmount” AmuletOperation Decimal

instance SetField “topupStateCid” AmuletOperation (Optional (ContractId ValidatorTopUpState))

instance SetField “trafficAmount” AmuletOperation Int

instance SetField “trafficRequestCid” AmuletOperation (ContractId BuyTrafficRequest)

instance SetField “transferPreapprovalCid” AmuletOperation (ContractId TransferPreapproval)

data AmuletOperationOutcome

COO_AcceptedAppPayment (ContractId AcceptedAppPayment)

COO_CompleteAcceptedTransfer (TransferResult, TransferOfferTrackingInfo)

COO_SubscriptionInitialPayment (ContractId SubscriptionInitialPayment)

COO_SubscriptionPayment (ContractId SubscriptionPayment)

COO_MergeTransferInputs (Optional (ContractId Amulet))

COO_BuyMemberTraffic (ContractId MemberTraffic)

COO_CompleteBuyTrafficRequest (ContractId MemberTraffic, BuyTrafficRequestTrackingInfo)

COO_Tap (ContractId Amulet)

COO_Error InvalidTransferReason

ExtAmuletOperationOutcome

Field	Type	Description
dummyUnitField	()	Extension constructor (and field) to work around the current lack of upgrading for variants in Daml 3.0

COO_CreateExternalPartySetupProposal (ContractId ExternalPartySetupProposal)

COO_AcceptTransferPreapprovalProposal (ContractId TransferPreapproval)

COO_RenewTransferPreapproval (ContractId TransferPreapproval)

COO_TransferPreapprovalSend (Optional (ContractId Amulet))

instance Eq AmuletOperationOutcome

instance Show AmuletOperationOutcome

instance GetField “dummyUnitField” AmuletOperationOutcome ()

instance GetField “outcomes” WalletAppInstall_ExecuteBatchResult [AmuletOperationOutcome]

instance SetField “dummyUnitField” AmuletOperationOutcome ()

instance SetField “outcomes” WalletAppInstall_ExecuteBatchResult [AmuletOperationOutcome]

data ExecutionContext

ExecutionContext

Field	Type	Description
dso	Party
endUser	Party
validator	Party
paymentContext	PaymentTransferContext

instance GetField “dso” ExecutionContext Party

instance GetField “endUser” ExecutionContext Party

instance GetField “paymentContext” ExecutionContext PaymentTransferContext

instance GetField “validator” ExecutionContext Party

instance SetField “dso” ExecutionContext Party

instance SetField “endUser” ExecutionContext Party

instance SetField “paymentContext” ExecutionContext PaymentTransferContext

instance SetField “validator” ExecutionContext Party

data WalletAppInstall_AcceptedTransferOffer_AbortResult

WalletAppInstall_AcceptedTransferOffer_AbortResult

Field	Type	Description
trackingInfo	TransferOfferTrackingInfo

instance GetField “trackingInfo” WalletAppInstall_AcceptedTransferOffer_AbortResult TransferOfferTrackingInfo

instance SetField “trackingInfo” WalletAppInstall_AcceptedTransferOffer_AbortResult TransferOfferTrackingInfo

instance HasExercise WalletAppInstall WalletAppInstall_AcceptedTransferOffer_Abort WalletAppInstall_AcceptedTransferOffer_AbortResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_AcceptedTransferOffer_Abort WalletAppInstall_AcceptedTransferOffer_AbortResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_AcceptedTransferOffer_Abort WalletAppInstall_AcceptedTransferOffer_AbortResult

data WalletAppInstall_AcceptedTransferOffer_ExpireResult

WalletAppInstall_AcceptedTransferOffer_ExpireResult

Field	Type	Description
trackingInfo	TransferOfferTrackingInfo

instance GetField “trackingInfo” WalletAppInstall_AcceptedTransferOffer_ExpireResult TransferOfferTrackingInfo

instance SetField “trackingInfo” WalletAppInstall_AcceptedTransferOffer_ExpireResult TransferOfferTrackingInfo

instance HasExercise WalletAppInstall WalletAppInstall_AcceptedTransferOffer_Expire WalletAppInstall_AcceptedTransferOffer_ExpireResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_AcceptedTransferOffer_Expire WalletAppInstall_AcceptedTransferOffer_ExpireResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_AcceptedTransferOffer_Expire WalletAppInstall_AcceptedTransferOffer_ExpireResult

data WalletAppInstall_AcceptedTransferOffer_WithdrawResult

WalletAppInstall_AcceptedTransferOffer_WithdrawResult

Field	Type	Description
trackingInfo	TransferOfferTrackingInfo

instance GetField “trackingInfo” WalletAppInstall_AcceptedTransferOffer_WithdrawResult TransferOfferTrackingInfo

instance SetField “trackingInfo” WalletAppInstall_AcceptedTransferOffer_WithdrawResult TransferOfferTrackingInfo

instance HasExercise WalletAppInstall WalletAppInstall_AcceptedTransferOffer_Withdraw WalletAppInstall_AcceptedTransferOffer_WithdrawResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_AcceptedTransferOffer_Withdraw WalletAppInstall_AcceptedTransferOffer_WithdrawResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_AcceptedTransferOffer_Withdraw WalletAppInstall_AcceptedTransferOffer_WithdrawResult

data WalletAppInstall_AppPaymentRequest_ExpireResult

WalletAppInstall_AppPaymentRequest_ExpireResult

Field	Type	Description
terminatedAppPayment	ContractId TerminatedAppPayment

instance GetField “terminatedAppPayment” WalletAppInstall_AppPaymentRequest_ExpireResult (ContractId TerminatedAppPayment)

instance SetField “terminatedAppPayment” WalletAppInstall_AppPaymentRequest_ExpireResult (ContractId TerminatedAppPayment)

instance HasExercise WalletAppInstall WalletAppInstall_AppPaymentRequest_Expire WalletAppInstall_AppPaymentRequest_ExpireResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_AppPaymentRequest_Expire WalletAppInstall_AppPaymentRequest_ExpireResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_AppPaymentRequest_Expire WalletAppInstall_AppPaymentRequest_ExpireResult

data WalletAppInstall_AppPaymentRequest_RejectResult

WalletAppInstall_AppPaymentRequest_RejectResult

Field	Type	Description
terminatedAppPayment	ContractId TerminatedAppPayment

instance GetField “terminatedAppPayment” WalletAppInstall_AppPaymentRequest_RejectResult (ContractId TerminatedAppPayment)

instance SetField “terminatedAppPayment” WalletAppInstall_AppPaymentRequest_RejectResult (ContractId TerminatedAppPayment)

instance HasExercise WalletAppInstall WalletAppInstall_AppPaymentRequest_Reject WalletAppInstall_AppPaymentRequest_RejectResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_AppPaymentRequest_Reject WalletAppInstall_AppPaymentRequest_RejectResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_AppPaymentRequest_Reject WalletAppInstall_AppPaymentRequest_RejectResult

data WalletAppInstall_BuyTrafficRequest_CancelResult

WalletAppInstall_BuyTrafficRequest_CancelResult

Field	Type	Description
trackingInfo	BuyTrafficRequestTrackingInfo

instance GetField “trackingInfo” WalletAppInstall_BuyTrafficRequest_CancelResult BuyTrafficRequestTrackingInfo

instance SetField “trackingInfo” WalletAppInstall_BuyTrafficRequest_CancelResult BuyTrafficRequestTrackingInfo

instance HasExercise WalletAppInstall WalletAppInstall_BuyTrafficRequest_Cancel WalletAppInstall_BuyTrafficRequest_CancelResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_BuyTrafficRequest_Cancel WalletAppInstall_BuyTrafficRequest_CancelResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_BuyTrafficRequest_Cancel WalletAppInstall_BuyTrafficRequest_CancelResult

data WalletAppInstall_BuyTrafficRequest_ExpireResult

WalletAppInstall_BuyTrafficRequest_ExpireResult

Field	Type	Description
trackingInfo	BuyTrafficRequestTrackingInfo

instance GetField “trackingInfo” WalletAppInstall_BuyTrafficRequest_ExpireResult BuyTrafficRequestTrackingInfo

instance SetField “trackingInfo” WalletAppInstall_BuyTrafficRequest_ExpireResult BuyTrafficRequestTrackingInfo

instance HasExercise WalletAppInstall WalletAppInstall_BuyTrafficRequest_Expire WalletAppInstall_BuyTrafficRequest_ExpireResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_BuyTrafficRequest_Expire WalletAppInstall_BuyTrafficRequest_ExpireResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_BuyTrafficRequest_Expire WalletAppInstall_BuyTrafficRequest_ExpireResult

data WalletAppInstall_CreateBuyTrafficRequestResult

WalletAppInstall_CreateBuyTrafficRequestResult

Field	Type	Description
buyTrafficRequest	ContractId BuyTrafficRequest

instance GetField “buyTrafficRequest” WalletAppInstall_CreateBuyTrafficRequestResult (ContractId BuyTrafficRequest)

instance SetField “buyTrafficRequest” WalletAppInstall_CreateBuyTrafficRequestResult (ContractId BuyTrafficRequest)

instance HasExercise WalletAppInstall WalletAppInstall_CreateBuyTrafficRequest WalletAppInstall_CreateBuyTrafficRequestResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_CreateBuyTrafficRequest WalletAppInstall_CreateBuyTrafficRequestResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_CreateBuyTrafficRequest WalletAppInstall_CreateBuyTrafficRequestResult

data WalletAppInstall_CreateTransferOfferResult

WalletAppInstall_CreateTransferOfferResult

Field	Type	Description
transferOffer	ContractId TransferOffer

instance GetField “transferOffer” WalletAppInstall_CreateTransferOfferResult (ContractId TransferOffer)

instance SetField “transferOffer” WalletAppInstall_CreateTransferOfferResult (ContractId TransferOffer)

instance HasExercise WalletAppInstall WalletAppInstall_CreateTransferOffer WalletAppInstall_CreateTransferOfferResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_CreateTransferOffer WalletAppInstall_CreateTransferOfferResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_CreateTransferOffer WalletAppInstall_CreateTransferOfferResult

data WalletAppInstall_ExecuteBatchResult

WalletAppInstall_ExecuteBatchResult

Field	Type	Description
endUserName	Text
outcomes	[AmuletOperationOutcome]
optEndUserParty	Optional Party

instance Eq WalletAppInstall_ExecuteBatchResult

instance Show WalletAppInstall_ExecuteBatchResult

instance GetField “endUserName” WalletAppInstall_ExecuteBatchResult Text

instance GetField “optEndUserParty” WalletAppInstall_ExecuteBatchResult (Optional Party)

instance GetField “outcomes” WalletAppInstall_ExecuteBatchResult [AmuletOperationOutcome]

instance SetField “endUserName” WalletAppInstall_ExecuteBatchResult Text

instance SetField “optEndUserParty” WalletAppInstall_ExecuteBatchResult (Optional Party)

instance SetField “outcomes” WalletAppInstall_ExecuteBatchResult [AmuletOperationOutcome]

instance HasExercise WalletAppInstall WalletAppInstall_ExecuteBatch WalletAppInstall_ExecuteBatchResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_ExecuteBatch WalletAppInstall_ExecuteBatchResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_ExecuteBatch WalletAppInstall_ExecuteBatchResult

data WalletAppInstall_FeaturedAppRights_CancelResult

WalletAppInstall_FeaturedAppRights_CancelResult

instance HasExercise WalletAppInstall WalletAppInstall_FeaturedAppRights_Cancel WalletAppInstall_FeaturedAppRights_CancelResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_FeaturedAppRights_Cancel WalletAppInstall_FeaturedAppRights_CancelResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_FeaturedAppRights_Cancel WalletAppInstall_FeaturedAppRights_CancelResult

data WalletAppInstall_FeaturedAppRights_SelfGrantResult

WalletAppInstall_FeaturedAppRights_SelfGrantResult

Field	Type	Description
featuredAppRight	ContractId FeaturedAppRight

instance GetField “featuredAppRight” WalletAppInstall_FeaturedAppRights_SelfGrantResult (ContractId FeaturedAppRight)

instance SetField “featuredAppRight” WalletAppInstall_FeaturedAppRights_SelfGrantResult (ContractId FeaturedAppRight)

instance HasExercise WalletAppInstall WalletAppInstall_FeaturedAppRights_SelfGrant WalletAppInstall_FeaturedAppRights_SelfGrantResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_FeaturedAppRights_SelfGrant WalletAppInstall_FeaturedAppRights_SelfGrantResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_FeaturedAppRights_SelfGrant WalletAppInstall_FeaturedAppRights_SelfGrantResult

data WalletAppInstall_SubscriptionIdleState_CancelSubscriptionResult

WalletAppInstall_SubscriptionIdleState_CancelSubscriptionResult

Field	Type	Description
terminatedSubscription	ContractId TerminatedSubscription

instance GetField “terminatedSubscription” WalletAppInstall_SubscriptionIdleState_CancelSubscriptionResult (ContractId TerminatedSubscription)

instance SetField “terminatedSubscription” WalletAppInstall_SubscriptionIdleState_CancelSubscriptionResult (ContractId TerminatedSubscription)

instance HasExercise WalletAppInstall WalletAppInstall_SubscriptionIdleState_CancelSubscription WalletAppInstall_SubscriptionIdleState_CancelSubscriptionResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_SubscriptionIdleState_CancelSubscription WalletAppInstall_SubscriptionIdleState_CancelSubscriptionResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_SubscriptionIdleState_CancelSubscription WalletAppInstall_SubscriptionIdleState_CancelSubscriptionResult

data WalletAppInstall_SubscriptionRequest_RejectResult

WalletAppInstall_SubscriptionRequest_RejectResult

Field	Type	Description
terminatedSubscription	ContractId TerminatedSubscription

instance GetField “terminatedSubscription” WalletAppInstall_SubscriptionRequest_RejectResult (ContractId TerminatedSubscription)

instance SetField “terminatedSubscription” WalletAppInstall_SubscriptionRequest_RejectResult (ContractId TerminatedSubscription)

instance HasExercise WalletAppInstall WalletAppInstall_SubscriptionRequest_Reject WalletAppInstall_SubscriptionRequest_RejectResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_SubscriptionRequest_Reject WalletAppInstall_SubscriptionRequest_RejectResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_SubscriptionRequest_Reject WalletAppInstall_SubscriptionRequest_RejectResult

data WalletAppInstall_TransferOffer_AcceptResult

WalletAppInstall_TransferOffer_AcceptResult

Field	Type	Description
acceptedTransferOffer	ContractId AcceptedTransferOffer

instance GetField “acceptedTransferOffer” WalletAppInstall_TransferOffer_AcceptResult (ContractId AcceptedTransferOffer)

instance SetField “acceptedTransferOffer” WalletAppInstall_TransferOffer_AcceptResult (ContractId AcceptedTransferOffer)

instance HasExercise WalletAppInstall WalletAppInstall_TransferOffer_Accept WalletAppInstall_TransferOffer_AcceptResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_TransferOffer_Accept WalletAppInstall_TransferOffer_AcceptResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_TransferOffer_Accept WalletAppInstall_TransferOffer_AcceptResult

data WalletAppInstall_TransferOffer_ExpireResult

WalletAppInstall_TransferOffer_ExpireResult

Field	Type	Description
trackingInfo	TransferOfferTrackingInfo

instance GetField “trackingInfo” WalletAppInstall_TransferOffer_ExpireResult TransferOfferTrackingInfo

instance SetField “trackingInfo” WalletAppInstall_TransferOffer_ExpireResult TransferOfferTrackingInfo

instance HasExercise WalletAppInstall WalletAppInstall_TransferOffer_Expire WalletAppInstall_TransferOffer_ExpireResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_TransferOffer_Expire WalletAppInstall_TransferOffer_ExpireResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_TransferOffer_Expire WalletAppInstall_TransferOffer_ExpireResult

data WalletAppInstall_TransferOffer_RejectResult

WalletAppInstall_TransferOffer_RejectResult

Field	Type	Description
trackingInfo	TransferOfferTrackingInfo

instance GetField “trackingInfo” WalletAppInstall_TransferOffer_RejectResult TransferOfferTrackingInfo

instance SetField “trackingInfo” WalletAppInstall_TransferOffer_RejectResult TransferOfferTrackingInfo

instance HasExercise WalletAppInstall WalletAppInstall_TransferOffer_Reject WalletAppInstall_TransferOffer_RejectResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_TransferOffer_Reject WalletAppInstall_TransferOffer_RejectResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_TransferOffer_Reject WalletAppInstall_TransferOffer_RejectResult

data WalletAppInstall_TransferOffer_WithdrawResult

WalletAppInstall_TransferOffer_WithdrawResult

Field	Type	Description
trackingInfo	TransferOfferTrackingInfo

instance GetField “trackingInfo” WalletAppInstall_TransferOffer_WithdrawResult TransferOfferTrackingInfo

instance SetField “trackingInfo” WalletAppInstall_TransferOffer_WithdrawResult TransferOfferTrackingInfo

instance HasExercise WalletAppInstall WalletAppInstall_TransferOffer_Withdraw WalletAppInstall_TransferOffer_WithdrawResult

instance HasFromAnyChoice WalletAppInstall WalletAppInstall_TransferOffer_Withdraw WalletAppInstall_TransferOffer_WithdrawResult

instance HasToAnyChoice WalletAppInstall WalletAppInstall_TransferOffer_Withdraw WalletAppInstall_TransferOffer_WithdrawResult

data WalletAppInstall_TransferPreapprovalProposal_CreateResult

WalletAppInstall_TransferPreapprovalProposal_CreateResult

Field	Type	Description
preapprovalProposalCid	ContractId TransferPreapprovalProposal

instance GetField “preapprovalProposalCid” WalletAppInstall_TransferPreapprovalProposal_CreateResult (ContractId TransferPreapprovalProposal)

instance SetField “preapprovalProposalCid” WalletAppInstall_TransferPreapprovalProposal_CreateResult (ContractId TransferPreapprovalProposal)

Functions

executeAmuletOperationRec : ExecutionContext -> [TransferInput] -> [AmuletOperationOutcome] -> [AmuletOperation] -> Update [AmuletOperationOutcome]

mkMergeAmuletAndRewardsTransfer : Party -> [TransferInput] -> Transfer

unpackCid : AnyValue -> AnyContractId