Daml.Finance.Interface.Holding.Transferable

Interfaces

interface Transferable

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

viewtype View

  • Choice Archive

    Controller: Signatories of implementing template

    Returns: ()

    (no fields)

  • Choice GetView

    Retrieves the interface view.

    Controller: viewer

    Returns: View

    Field Type Description
    viewer Party The party retrieving the view.

  • Choice Transfer

    Transfer a contract to a new owner.

    Controller: actors, getLockers this

    Returns: ContractId Transferable

    Field Type Description
    actors Parties Parties authorizing the transfer.
    newOwnerAccount AccountKey The new owner’s account.

  • Method asBase : I

    Conversion to Base interface.

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

    Implementation of the Transfer choice.

Typeclasses

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.

View

(no fields)

instance Eq View

instance Show View

instance HasFromAnyView Transferable View