> ## 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.Wallet.Subscriptions

> Documentation for Splice.Wallet.Subscriptions

## Templates

<div id="type-splice-wallet-subscriptions-subscription-33404">
  **template** Subscription
</div>

> Main subscription object.
>
> Signatory: subscriptionSignatories subscriptionData
>
> | Field            | Type                                                                                                                   | Description                                                                                                                |
> | ---------------- | ---------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------- |
> | subscriptionData | SubscriptionData                                                                                                       |                                                                                                                            |
> | reference        | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionRequest | Reference to the subscription request, note that the contract will no longer be active so this just acts as a tracking id. |
>
> * **Choice** Archive
>
>   Controller: subscriptionSignatories subscriptionData
>
>   Returns: ()
>
>   (no fields)
>
> * <div id="type-splice-wallet-subscriptions-subscriptionarchive-38051">
>     **Choice** Subscription\_Archive
>   </div>
>
>   Controller: signatory this
>
>   Returns: Subscription\_ArchiveResult
>
>   (no fields)

<div id="type-splice-wallet-subscriptions-subscriptionidlestate-59870">
  **template** SubscriptionIdleState
</div>

> The base state in our subscription flow. Here, we are typically waiting for the time for the next payment to arrive. If that time has passed, we are waiting for someone to expire the subscription.
>
> Signatory: subscriptionSignatories subscriptionData
>
> | Field            | Type                                                                                                                   | Description                                                       |
> | ---------------- | ---------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------------------------- |
> | subscription     | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Subscription        | The subscription this belongs to.                                 |
> | subscriptionData | SubscriptionData                                                                                                       | Copy of the subscription contract for easier access to its field. |
> | payData          | SubscriptionPayData                                                                                                    | Payment-related properties.                                       |
> | nextPaymentDueAt | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)                                 | After which time the next payment can and should be paid.         |
> | reference        | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionRequest |                                                                   |
>
> * **Choice** Archive
>
>   Controller: subscriptionSignatories subscriptionData
>
>   Returns: ()
>
>   (no fields)
>
> * <div id="type-splice-wallet-subscriptions-subscriptionidlestatecancelsubscription-25061">
>     **Choice** SubscriptionIdleState\_CancelSubscription
>   </div>
>
>   Controller: (DA.Internal.Record.getField @"sender" subscriptionData)
>
>   Returns: SubscriptionIdleState\_CancelSubscriptionResult
>
>   (no fields)
>
> * <div id="type-splice-wallet-subscriptions-subscriptionidlestateexpiresubscription-50078">
>     **Choice** SubscriptionIdleState\_ExpireSubscription
>   </div>
>
>   Controller: actor
>
>   Returns: SubscriptionIdleState\_ExpireSubscriptionResult
>
>   | Field | Type                                                                                     | Description |
>   | ----- | ---------------------------------------------------------------------------------------- | ----------- |
>   | actor | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>
> * <div id="type-splice-wallet-subscriptions-subscriptionidlestatemakepayment-62467">
>     **Choice** SubscriptionIdleState\_MakePayment
>   </div>
>
>   Controller: (DA.Internal.Record.getField @"sender" subscriptionData), walletProvider
>
>   Returns: SubscriptionIdleState\_MakePaymentResult
>
>   | Field          | Type                                                                                     | Description |
>   | -------------- | ---------------------------------------------------------------------------------------- | ----------- |
>   | inputs         | \[TransferInput]                                                                         |             |
>   | context        | PaymentTransferContext                                                                   |             |
>   | walletProvider | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |

<div id="type-splice-wallet-subscriptions-subscriptioninitialpayment-79960">
  **template** SubscriptionInitialPayment
</div>

> The initial payment on a subscription. Implicitly, this is also the "accept" of the preceding `SubscriptionRequest`. Collecting this payments creates the subscription and thereby enables all follow-up payments.
>
> Signatory: subscriptionSignatories subscriptionData
>
> | Field            | Type                                                                                                                   | Description                                                                                                                |
> | ---------------- | ---------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------- |
> | subscriptionData | SubscriptionData                                                                                                       |                                                                                                                            |
> | payData          | SubscriptionPayData                                                                                                    |                                                                                                                            |
> | targetAmount     | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)                                | Exact amount in Amulet that the receiver will get.                                                                         |
> | lockedAmulet     | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) LockedAmulet        |                                                                                                                            |
> | round            | Round                                                                                                                  | The round in which the locked amulet was created, added as an extra field so we can avoid ingesting locked amulets.        |
> | reference        | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionRequest | Reference to the subscription request, note that the contract will no longer be active so this just acts as a tracking id. |
>
> * **Choice** Archive
>
>   Controller: subscriptionSignatories subscriptionData
>
>   Returns: ()
>
>   (no fields)
>
> * <div id="type-splice-wallet-subscriptions-subscriptioninitialpaymentcollect-92147">
>     **Choice** SubscriptionInitialPayment\_Collect
>   </div>
>
>   Controller: signatory this
>
>   Returns: SubscriptionInitialPayment\_CollectResult
>
>   | Field           | Type               | Description |
>   | --------------- | ------------------ | ----------- |
>   | transferContext | AppTransferContext |             |
>
> * <div id="type-splice-wallet-subscriptions-subscriptioninitialpaymentexpire-95363">
>     **Choice** SubscriptionInitialPayment\_Expire
>   </div>
>
>   Controller: actor
>
>   Returns: SubscriptionInitialPayment\_ExpireResult
>
>   | Field           | Type                                                                                     | Description |
>   | --------------- | ---------------------------------------------------------------------------------------- | ----------- |
>   | actor           | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>   | transferContext | AppTransferContext                                                                       |             |
>
> * <div id="type-splice-wallet-subscriptions-subscriptioninitialpaymentreject-61119">
>     **Choice** SubscriptionInitialPayment\_Reject
>   </div>
>
>   Controller: (DA.Internal.Record.getField @"receiver" subscriptionData)
>
>   Returns: SubscriptionInitialPayment\_RejectResult
>
>   | Field           | Type               | Description |
>   | --------------- | ------------------ | ----------- |
>   | transferContext | AppTransferContext |             |

<div id="type-splice-wallet-subscriptions-subscriptionpayment-4463">
  **template** SubscriptionPayment
</div>

> An in-flight (yet to be collected) payment on an existing subscription. Doubles as a "payment in progress" state.
>
> Signatory: subscriptionSignatories subscriptionData
>
> | Field            | Type                                                                                                                   | Description                                                                                                         |
> | ---------------- | ---------------------------------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------- |
> | subscription     | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Subscription        | The subscription this belongs to.                                                                                   |
> | subscriptionData | SubscriptionData                                                                                                       | Copy of the base subscription properties; for convenience.                                                          |
> | payData          | SubscriptionPayData                                                                                                    | Payment-related properties.                                                                                         |
> | thisPaymentDueAt | [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886)                                 | After which time the next payment can and should be paid.                                                           |
> | targetAmount     | [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135)                                |                                                                                                                     |
> | lockedAmulet     | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) LockedAmulet        |                                                                                                                     |
> | round            | Round                                                                                                                  | The round in which the locked amulet was created, added as an extra field so we can avoid ingesting locked amulets. |
> | reference        | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionRequest |                                                                                                                     |
>
> * **Choice** Archive
>
>   Controller: subscriptionSignatories subscriptionData
>
>   Returns: ()
>
>   (no fields)
>
> * <div id="type-splice-wallet-subscriptions-subscriptionpaymentcollect-45604">
>     **Choice** SubscriptionPayment\_Collect
>   </div>
>
>   Controller: signatory this
>
>   Returns: SubscriptionPayment\_CollectResult
>
>   | Field           | Type               | Description |
>   | --------------- | ------------------ | ----------- |
>   | transferContext | AppTransferContext |             |
>
> * <div id="type-splice-wallet-subscriptions-subscriptionpaymentexpire-61162">
>     **Choice** SubscriptionPayment\_Expire
>   </div>
>
>   Controller: actor
>
>   Returns: SubscriptionPayment\_ExpireResult
>
>   | Field           | Type                                                                                     | Description |
>   | --------------- | ---------------------------------------------------------------------------------------- | ----------- |
>   | actor           | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>   | transferContext | AppTransferContext                                                                       |             |
>
> * <div id="type-splice-wallet-subscriptions-subscriptionpaymentreject-72046">
>     **Choice** SubscriptionPayment\_Reject
>   </div>
>
>   Controller: (DA.Internal.Record.getField @"receiver" subscriptionData)
>
>   Returns: SubscriptionPayment\_RejectResult
>
>   | Field           | Type               | Description |
>   | --------------- | ------------------ | ----------- |
>   | transferContext | AppTransferContext |             |

<div id="type-splice-wallet-subscriptions-subscriptionrequest-40942">
  **template** SubscriptionRequest
</div>

> A request for establishing a subscription.
>
> Signatory: subscriptionSignatories subscriptionData
>
> | Field            | Type                | Description |
> | ---------------- | ------------------- | ----------- |
> | subscriptionData | SubscriptionData    |             |
> | payData          | SubscriptionPayData |             |
>
> * **Choice** Archive
>
>   Controller: subscriptionSignatories subscriptionData
>
>   Returns: ()
>
>   (no fields)
>
> * <div id="type-splice-wallet-subscriptions-subscriptionrequestacceptandmakepayment-96423">
>     **Choice** SubscriptionRequest\_AcceptAndMakePayment
>   </div>
>
>   Controller: (DA.Internal.Record.getField @"sender" subscriptionData), walletProvider
>
>   Returns: SubscriptionRequest\_AcceptAndMakePaymentResult
>
>   | Field          | Type                                                                                     | Description |
>   | -------------- | ---------------------------------------------------------------------------------------- | ----------- |
>   | inputs         | \[TransferInput]                                                                         |             |
>   | context        | PaymentTransferContext                                                                   |             |
>   | walletProvider | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>
> * <div id="type-splice-wallet-subscriptions-subscriptionrequestreject-95001">
>     **Choice** SubscriptionRequest\_Reject
>   </div>
>
>   Controller: (DA.Internal.Record.getField @"sender" subscriptionData)
>
>   Returns: SubscriptionRequest\_RejectResult
>
>   (no fields)
>
> * <div id="type-splice-wallet-subscriptions-subscriptionrequestwithdraw-88172">
>     **Choice** SubscriptionRequest\_Withdraw
>   </div>
>
>   Controller: (DA.Internal.Record.getField @"receiver" subscriptionData)
>
>   Returns: SubscriptionRequest\_WithdrawResult
>
>   (no fields)

<div id="type-splice-wallet-subscriptions-terminatedsubscription-20905">
  **template** TerminatedSubscription
</div>

> An aborted subscription. Subscriptions should usually be archived together with the context contract of the app that makes the subscription, e.g., AnsEntryContext. To achieve that, we don't archive subscriptions directly but instead create TerminatedSubscription contracts that are then archived as part of the surrounding workflows.
>
> Signatory: subscriptionSignatories subscriptionData
>
> | Field            | Type                                                                                                                   | Description |
> | ---------------- | ---------------------------------------------------------------------------------------------------------------------- | ----------- |
> | subscriptionData | SubscriptionData                                                                                                       |             |
> | reference        | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionRequest |             |
>
> * **Choice** Archive
>
>   Controller: subscriptionSignatories subscriptionData
>
>   Returns: ()
>
>   (no fields)

## Data Types

<div id="type-splice-wallet-subscriptions-subscriptiondata-61040">
  **data** SubscriptionData
</div>

> <div id="constr-splice-wallet-subscriptions-subscriptiondata-87477">
>   SubscriptionData
> </div>
>
> > | Field       | Type                                                                                     | Description                      |
> > | ----------- | ---------------------------------------------------------------------------------------- | -------------------------------- |
> > | sender      | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | The party that pays.             |
> > | receiver    | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | The party that receives payment. |
> > | provider    | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) | The app provider.                |
> > | dso         | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |                                  |
> > | description | [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)        |                                  |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) SubscriptionData
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) SubscriptionData
>
> **instance** GetField "description" SubscriptionData [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** GetField "dso" SubscriptionData [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "provider" SubscriptionData [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "receiver" SubscriptionData [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "sender" SubscriptionData [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "subscriptionData" Subscription SubscriptionData
>
> **instance** GetField "subscriptionData" SubscriptionIdleState SubscriptionData
>
> **instance** GetField "subscriptionData" SubscriptionInitialPayment SubscriptionData
>
> **instance** GetField "subscriptionData" SubscriptionPayment SubscriptionData
>
> **instance** GetField "subscriptionData" SubscriptionRequest SubscriptionData
>
> **instance** GetField "subscriptionData" TerminatedSubscription SubscriptionData
>
> **instance** SetField "description" SubscriptionData [Text](/appdev/reference/daml-standard-library/prelude#type-ghc-types-text-51952)
>
> **instance** SetField "dso" SubscriptionData [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "provider" SubscriptionData [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "receiver" SubscriptionData [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "sender" SubscriptionData [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "subscriptionData" Subscription SubscriptionData
>
> **instance** SetField "subscriptionData" SubscriptionIdleState SubscriptionData
>
> **instance** SetField "subscriptionData" SubscriptionInitialPayment SubscriptionData
>
> **instance** SetField "subscriptionData" SubscriptionPayment SubscriptionData
>
> **instance** SetField "subscriptionData" SubscriptionRequest SubscriptionData
>
> **instance** SetField "subscriptionData" TerminatedSubscription SubscriptionData

<div id="type-splice-wallet-subscriptions-subscriptionidlestatecancelsubscriptionresult-53096">
  **data** SubscriptionIdleState\_CancelSubscriptionResult
</div>

> <div id="constr-splice-wallet-subscriptions-subscriptionidlestatecancelsubscriptionresult-80217">
>   SubscriptionIdleState\_CancelSubscriptionResult
> </div>
>
> > | Field                  | Type                                                                                                                      | Description |
> > | ---------------------- | ------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | terminatedSubscription | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription |             |
>
> **instance** GetField "terminatedSubscription" SubscriptionIdleState\_CancelSubscriptionResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription)
>
> **instance** SetField "terminatedSubscription" SubscriptionIdleState\_CancelSubscriptionResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) SubscriptionIdleState SubscriptionIdleState\_CancelSubscription SubscriptionIdleState\_CancelSubscriptionResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) SubscriptionIdleState SubscriptionIdleState\_CancelSubscription SubscriptionIdleState\_CancelSubscriptionResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) SubscriptionIdleState SubscriptionIdleState\_CancelSubscription SubscriptionIdleState\_CancelSubscriptionResult

<div id="type-splice-wallet-subscriptions-subscriptionidlestateexpiresubscriptionresult-84335">
  **data** SubscriptionIdleState\_ExpireSubscriptionResult
</div>

> <div id="constr-splice-wallet-subscriptions-subscriptionidlestateexpiresubscriptionresult-85758">
>   SubscriptionIdleState\_ExpireSubscriptionResult
> </div>
>
> > | Field                  | Type                                                                                                                      | Description |
> > | ---------------------- | ------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | terminatedSubscription | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription |             |
>
> **instance** GetField "terminatedSubscription" SubscriptionIdleState\_ExpireSubscriptionResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription)
>
> **instance** SetField "terminatedSubscription" SubscriptionIdleState\_ExpireSubscriptionResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) SubscriptionIdleState SubscriptionIdleState\_ExpireSubscription SubscriptionIdleState\_ExpireSubscriptionResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) SubscriptionIdleState SubscriptionIdleState\_ExpireSubscription SubscriptionIdleState\_ExpireSubscriptionResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) SubscriptionIdleState SubscriptionIdleState\_ExpireSubscription SubscriptionIdleState\_ExpireSubscriptionResult

<div id="type-splice-wallet-subscriptions-subscriptionidlestatemakepaymentresult-27466">
  **data** SubscriptionIdleState\_MakePaymentResult
</div>

> <div id="constr-splice-wallet-subscriptions-subscriptionidlestatemakepaymentresult-79353">
>   SubscriptionIdleState\_MakePaymentResult
> </div>
>
> > | Field               | Type                                                                                                                                                                                                            | Description |
> > | ------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | subscriptionPayment | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionPayment                                                                                          |             |
> > | senderChange        | [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 "senderChange" SubscriptionIdleState\_MakePaymentResult ([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 "subscriptionPayment" SubscriptionIdleState\_MakePaymentResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionPayment)
>
> **instance** SetField "senderChange" SubscriptionIdleState\_MakePaymentResult ([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 "subscriptionPayment" SubscriptionIdleState\_MakePaymentResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionPayment)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) SubscriptionIdleState SubscriptionIdleState\_MakePayment SubscriptionIdleState\_MakePaymentResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) SubscriptionIdleState SubscriptionIdleState\_MakePayment SubscriptionIdleState\_MakePaymentResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) SubscriptionIdleState SubscriptionIdleState\_MakePayment SubscriptionIdleState\_MakePaymentResult

<div id="type-splice-wallet-subscriptions-subscriptioninitialpaymentcollectresult-97286">
  **data** SubscriptionInitialPayment\_CollectResult
</div>

> <div id="constr-splice-wallet-subscriptions-subscriptioninitialpaymentcollectresult-66575">
>   SubscriptionInitialPayment\_CollectResult
> </div>
>
> > | Field             | Type                                                                                                                     | Description |
> > | ----------------- | ------------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | subscription      | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Subscription          |             |
> > | subscriptionState | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState |             |
> > | amulet            | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet                |             |
>
> **instance** GetField "amulet" SubscriptionInitialPayment\_CollectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet)
>
> **instance** GetField "subscription" SubscriptionInitialPayment\_CollectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Subscription)
>
> **instance** GetField "subscriptionState" SubscriptionInitialPayment\_CollectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState)
>
> **instance** SetField "amulet" SubscriptionInitialPayment\_CollectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet)
>
> **instance** SetField "subscription" SubscriptionInitialPayment\_CollectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Subscription)
>
> **instance** SetField "subscriptionState" SubscriptionInitialPayment\_CollectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) SubscriptionInitialPayment SubscriptionInitialPayment\_Collect SubscriptionInitialPayment\_CollectResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) SubscriptionInitialPayment SubscriptionInitialPayment\_Collect SubscriptionInitialPayment\_CollectResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) SubscriptionInitialPayment SubscriptionInitialPayment\_Collect SubscriptionInitialPayment\_CollectResult

<div id="type-splice-wallet-subscriptions-subscriptioninitialpaymentexpireresult-71466">
  **data** SubscriptionInitialPayment\_ExpireResult
</div>

> <div id="constr-splice-wallet-subscriptions-subscriptioninitialpaymentexpireresult-14633">
>   SubscriptionInitialPayment\_ExpireResult
> </div>
>
> > | Field     | Type                                                                                                                            | Description |
> > | --------- | ------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | amuletSum | AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet) |             |
>
> **instance** GetField "amuletSum" SubscriptionInitialPayment\_ExpireResult (AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
>
> **instance** SetField "amuletSum" SubscriptionInitialPayment\_ExpireResult (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) SubscriptionInitialPayment SubscriptionInitialPayment\_Expire SubscriptionInitialPayment\_ExpireResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) SubscriptionInitialPayment SubscriptionInitialPayment\_Expire SubscriptionInitialPayment\_ExpireResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) SubscriptionInitialPayment SubscriptionInitialPayment\_Expire SubscriptionInitialPayment\_ExpireResult

<div id="type-splice-wallet-subscriptions-subscriptioninitialpaymentrejectresult-97550">
  **data** SubscriptionInitialPayment\_RejectResult
</div>

> <div id="constr-splice-wallet-subscriptions-subscriptioninitialpaymentrejectresult-64365">
>   SubscriptionInitialPayment\_RejectResult
> </div>
>
> > | Field     | Type                                                                                                                            | Description |
> > | --------- | ------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | amuletSum | AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet) |             |
>
> **instance** GetField "amuletSum" SubscriptionInitialPayment\_RejectResult (AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
>
> **instance** SetField "amuletSum" SubscriptionInitialPayment\_RejectResult (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) SubscriptionInitialPayment SubscriptionInitialPayment\_Reject SubscriptionInitialPayment\_RejectResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) SubscriptionInitialPayment SubscriptionInitialPayment\_Reject SubscriptionInitialPayment\_RejectResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) SubscriptionInitialPayment SubscriptionInitialPayment\_Reject SubscriptionInitialPayment\_RejectResult

<div id="type-splice-wallet-subscriptions-subscriptionpaydata-96623">
  **data** SubscriptionPayData
</div>

> Payment-related properties. Expected to be mutated rarely.
>
> <div id="constr-splice-wallet-subscriptions-subscriptionpaydata-90180">
>   SubscriptionPayData
> </div>
>
> > | Field           | Type                                                                                        | Description                                                                                                                             |
> > | --------------- | ------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------- |
> > | paymentAmount   | PaymentAmount                                                                               | What amount of amulet is due on each interval.                                                                                          |
> > | paymentInterval | [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082) | At which intervals payments should be made.                                                                                             |
> > | paymentDuration | [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082) | The time available to the sender to initiate a payment; they can initiate the payment this much before the end of the current interval. |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) SubscriptionPayData
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) SubscriptionPayData
>
> **instance** GetField "payData" SubscriptionIdleState SubscriptionPayData
>
> **instance** GetField "payData" SubscriptionInitialPayment SubscriptionPayData
>
> **instance** GetField "payData" SubscriptionPayment SubscriptionPayData
>
> **instance** GetField "payData" SubscriptionRequest SubscriptionPayData
>
> **instance** GetField "paymentAmount" SubscriptionPayData PaymentAmount
>
> **instance** GetField "paymentDuration" SubscriptionPayData [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)
>
> **instance** GetField "paymentInterval" SubscriptionPayData [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)
>
> **instance** SetField "payData" SubscriptionIdleState SubscriptionPayData
>
> **instance** SetField "payData" SubscriptionInitialPayment SubscriptionPayData
>
> **instance** SetField "payData" SubscriptionPayment SubscriptionPayData
>
> **instance** SetField "payData" SubscriptionRequest SubscriptionPayData
>
> **instance** SetField "paymentAmount" SubscriptionPayData PaymentAmount
>
> **instance** SetField "paymentDuration" SubscriptionPayData [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)
>
> **instance** SetField "paymentInterval" SubscriptionPayData [RelTime](/appdev/reference/daml-standard-library/da-time#type-da-time-types-reltime-23082)

<div id="type-splice-wallet-subscriptions-subscriptionpaymentcollectresult-94269">
  **data** SubscriptionPayment\_CollectResult
</div>

> <div id="constr-splice-wallet-subscriptions-subscriptionpaymentcollectresult-9234">
>   SubscriptionPayment\_CollectResult
> </div>
>
> > | Field             | Type                                                                                                                     | Description |
> > | ----------------- | ------------------------------------------------------------------------------------------------------------------------ | ----------- |
> > | subscriptionState | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState |             |
> > | amulet            | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet                |             |
>
> **instance** GetField "amulet" SubscriptionPayment\_CollectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet)
>
> **instance** GetField "subscriptionState" SubscriptionPayment\_CollectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState)
>
> **instance** SetField "amulet" SubscriptionPayment\_CollectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet)
>
> **instance** SetField "subscriptionState" SubscriptionPayment\_CollectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) SubscriptionPayment SubscriptionPayment\_Collect SubscriptionPayment\_CollectResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) SubscriptionPayment SubscriptionPayment\_Collect SubscriptionPayment\_CollectResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) SubscriptionPayment SubscriptionPayment\_Collect SubscriptionPayment\_CollectResult

<div id="type-splice-wallet-subscriptions-subscriptionpaymentexpireresult-84183">
  **data** SubscriptionPayment\_ExpireResult
</div>

> <div id="constr-splice-wallet-subscriptions-subscriptionpaymentexpireresult-46758">
>   SubscriptionPayment\_ExpireResult
> </div>
>
> > | Field             | Type                                                                                                                            | Description |
> > | ----------------- | ------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | subscriptionState | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState        |             |
> > | amuletSum         | AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet) |             |
>
> **instance** GetField "amuletSum" SubscriptionPayment\_ExpireResult (AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
>
> **instance** GetField "subscriptionState" SubscriptionPayment\_ExpireResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState)
>
> **instance** SetField "amuletSum" SubscriptionPayment\_ExpireResult (AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
>
> **instance** SetField "subscriptionState" SubscriptionPayment\_ExpireResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) SubscriptionPayment SubscriptionPayment\_Expire SubscriptionPayment\_ExpireResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) SubscriptionPayment SubscriptionPayment\_Expire SubscriptionPayment\_ExpireResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) SubscriptionPayment SubscriptionPayment\_Expire SubscriptionPayment\_ExpireResult

<div id="type-splice-wallet-subscriptions-subscriptionpaymentrejectresult-80731">
  **data** SubscriptionPayment\_RejectResult
</div>

> <div id="constr-splice-wallet-subscriptions-subscriptionpaymentrejectresult-20586">
>   SubscriptionPayment\_RejectResult
> </div>
>
> > | Field             | Type                                                                                                                            | Description |
> > | ----------------- | ------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | subscriptionState | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState        |             |
> > | amuletSum         | AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet) |             |
>
> **instance** GetField "amuletSum" SubscriptionPayment\_RejectResult (AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
>
> **instance** GetField "subscriptionState" SubscriptionPayment\_RejectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState)
>
> **instance** SetField "amuletSum" SubscriptionPayment\_RejectResult (AmuletCreateSummary ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) Amulet))
>
> **instance** SetField "subscriptionState" SubscriptionPayment\_RejectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionIdleState)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) SubscriptionPayment SubscriptionPayment\_Reject SubscriptionPayment\_RejectResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) SubscriptionPayment SubscriptionPayment\_Reject SubscriptionPayment\_RejectResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) SubscriptionPayment SubscriptionPayment\_Reject SubscriptionPayment\_RejectResult

<div id="type-splice-wallet-subscriptions-subscriptionrequestacceptandmakepaymentresult-1166">
  **data** SubscriptionRequest\_AcceptAndMakePaymentResult
</div>

> <div id="constr-splice-wallet-subscriptions-subscriptionrequestacceptandmakepaymentresult-32571">
>   SubscriptionRequest\_AcceptAndMakePaymentResult
> </div>
>
> > | Field               | Type                                                                                                                                                                                                            | Description |
> > | ------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | subscriptionPayment | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionInitialPayment                                                                                   |             |
> > | senderChange        | [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 "senderChange" SubscriptionRequest\_AcceptAndMakePaymentResult ([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 "subscriptionPayment" SubscriptionRequest\_AcceptAndMakePaymentResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionInitialPayment)
>
> **instance** SetField "senderChange" SubscriptionRequest\_AcceptAndMakePaymentResult ([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 "subscriptionPayment" SubscriptionRequest\_AcceptAndMakePaymentResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) SubscriptionInitialPayment)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) SubscriptionRequest SubscriptionRequest\_AcceptAndMakePayment SubscriptionRequest\_AcceptAndMakePaymentResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) SubscriptionRequest SubscriptionRequest\_AcceptAndMakePayment SubscriptionRequest\_AcceptAndMakePaymentResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) SubscriptionRequest SubscriptionRequest\_AcceptAndMakePayment SubscriptionRequest\_AcceptAndMakePaymentResult

<div id="type-splice-wallet-subscriptions-subscriptionrequestrejectresult-11624">
  **data** SubscriptionRequest\_RejectResult
</div>

> <div id="constr-splice-wallet-subscriptions-subscriptionrequestrejectresult-75381">
>   SubscriptionRequest\_RejectResult
> </div>
>
> > | Field                  | Type                                                                                                                      | Description |
> > | ---------------------- | ------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | terminatedSubscription | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription |             |
>
> **instance** GetField "terminatedSubscription" SubscriptionRequest\_RejectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription)
>
> **instance** SetField "terminatedSubscription" SubscriptionRequest\_RejectResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) SubscriptionRequest SubscriptionRequest\_Reject SubscriptionRequest\_RejectResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) SubscriptionRequest SubscriptionRequest\_Reject SubscriptionRequest\_RejectResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) SubscriptionRequest SubscriptionRequest\_Reject SubscriptionRequest\_RejectResult

<div id="type-splice-wallet-subscriptions-subscriptionrequestwithdrawresult-7225">
  **data** SubscriptionRequest\_WithdrawResult
</div>

> <div id="constr-splice-wallet-subscriptions-subscriptionrequestwithdrawresult-40204">
>   SubscriptionRequest\_WithdrawResult
> </div>
>
> > | Field                  | Type                                                                                                                      | Description |
> > | ---------------------- | ------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | terminatedSubscription | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription |             |
>
> **instance** GetField "terminatedSubscription" SubscriptionRequest\_WithdrawResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription)
>
> **instance** SetField "terminatedSubscription" SubscriptionRequest\_WithdrawResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) SubscriptionRequest SubscriptionRequest\_Withdraw SubscriptionRequest\_WithdrawResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) SubscriptionRequest SubscriptionRequest\_Withdraw SubscriptionRequest\_WithdrawResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) SubscriptionRequest SubscriptionRequest\_Withdraw SubscriptionRequest\_WithdrawResult

<div id="type-splice-wallet-subscriptions-subscriptionarchiveresult-60922">
  **data** Subscription\_ArchiveResult
</div>

> <div id="constr-splice-wallet-subscriptions-subscriptionarchiveresult-91207">
>   Subscription\_ArchiveResult
> </div>
>
> > | Field                  | Type                                                                                                                      | Description |
> > | ---------------------- | ------------------------------------------------------------------------------------------------------------------------- | ----------- |
> > | terminatedSubscription | [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription |             |
>
> **instance** GetField "terminatedSubscription" Subscription\_ArchiveResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription)
>
> **instance** SetField "terminatedSubscription" Subscription\_ArchiveResult ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) TerminatedSubscription)
>
> **instance** [HasExercise](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasexercise-70422) Subscription Subscription\_Archive Subscription\_ArchiveResult
>
> **instance** [HasFromAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hasfromanychoice-81184) Subscription Subscription\_Archive Subscription\_ArchiveResult
>
> **instance** [HasToAnyChoice](/appdev/reference/daml-standard-library/prelude#class-da-internal-template-functions-hastoanychoice-82571) Subscription Subscription\_Archive Subscription\_ArchiveResult

## Functions

<div id="function-splice-wallet-subscriptions-subscriptionsignatories-98765">
  subscriptionSignatories
  : SubscriptionData -> \[[Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)]
</div>

<div id="function-splice-wallet-subscriptions-paydataisvalid-4217">
  payDataIsValid
  : SubscriptionPayData -> [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265)
</div>

<div id="function-splice-wallet-subscriptions-lockandmakechange-61624">
  lockAndMakeChange
  : PaymentTransferContext -> SubscriptionData -> SubscriptionPayData -> \[TransferInput] -> [Time](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-time-63886) -> [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) LockedAmulet, [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), [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135), Round)
</div>

<div id="function-splice-wallet-subscriptions-unlockandtransfer-4476">
  unlockAndTransfer
  : AppTransferContext -> SubscriptionData -> [Decimal](/appdev/reference/daml-standard-library/prelude#type-ghc-types-decimal-18135) -> [ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) LockedAmulet -> [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) Amulet)
</div>

<div id="function-splice-wallet-subscriptions-mktransferoutput-31673">
  mkTransferOutput
  : [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) -> TransferOutput
</div>