Daml.Finance.Holding.NonTransferable

Templates

template Factory

Implementation of a factory template for non-transferable holdings.

Signatory: provider

Field Type Description
provider Party The factory’s provider.
observers PartiesMap The factory’s observers.

  • Choice Archive

    Controller: provider

    Returns: ()

    (no fields)

  • interface instance F for Factory

  • interface instance I for Factory

template NonTransferable

Implementation of a non-transferable holding. NonTransferable implements the interface Base.I (which requires Disclosure.I to be implemented).

Signatory: (DA.Internal.Record.getField @"custodian" account), (DA.Internal.Record.getField @"owner" account), getLockers this

Field Type Description
instrument InstrumentKey The instrument of which units are held.
account AccountKey The account at which the holding is held. Defines the holding’s owner and custodian.
amount Decimal Number of units.
lock Optional Lock An optional lock of a holding.
observers PartiesMap Observers.

  • Choice Archive

    Controller: (DA.Internal.Record.getField @"custodian" account), (DA.Internal.Record.getField @"owner" account), getLockers this

    Returns: ()

    (no fields)

  • interface instance I for NonTransferable

  • interface instance I for NonTransferable

Data Types

type F

= Factory

Type synonym for Factory.

type T

= NonTransferable

Type synonym for NonTransferable.