Module Daml.Finance.Interface.Holding.Transferable


interface Transferable

An interface respresenting a contract where ownership can be transferred to other parties.

  • Choice Archive

    (no fields)

  • Choice GetView

    Retrieves the interface view.

    Field Type Description
    viewer Party The party retrieving the view.
  • Choice Transfer

    Transfer a contract to a new owner.

    Field Type Description
    actors Parties Parties authorizing the transfer.
    newOwnerAccount AccountKey Account contract id of the parties to transfer the contract to.
  • Method asBase : I

    Conversion to Base interface.

  • Method transfer : ContractId I -> Transfer -> Update (ContractId Transferable)

    Implementation of the Transfer choice.


class Implementation t => HasImplementation t where

Data Types

type I

= Transferable

Type synonym for Transferable.

instance HasMethod Fungible "asTransferable" I

instance HasMethod Transferable "transfer" (ContractId I -> Transfer -> Update (ContractId Transferable))

type Implementation t

= (HasToInterface t I, Implementation t)

Type constraint for requiring templates to implement Transferable to also implement Base.

type V

= View

Type synonym for View.

data View

View for Transferable.


(no fields)

instance Eq View

instance Show View

instance HasFromAnyView Transferable View