Module Daml.Finance.Interface.Holding.Factory

Interfaces

interface Factory

Holding factory contract used to create (credit) and archive (debit) holdings.

• Choice Archive

  (no fields)

• Choice Create

  Create a holding on the instrument in the corresponding account.

  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.
  observers	PartiesMap	Observers of the holding to be credited.

• Choice Remove

  Archive a holding.

  Field	Type	Description
  actors	Parties	The parties authorizing the removal.
  holdingCid	ContractId I	The holding to be removed.

• Method asDisclosure : I

  Conversion to Disclosure.I interface.

• Method create’ : Create -> Update (ContractId I)

  Implementation of Create choice.

• Method remove : Remove -> Update ()

  Implementation of Remove choice.

Typeclasses

class Implementation t => HasImplementation t where

Data Types

type F

= Factory

Type synonym for Factory.

type Implementation t

= (HasToInterface t F, Implementation t)

Type constraint for requiring templates to implement Factory along with Disclosure.

type V

= View

Type synonym for View.

instance HasFromAnyView Factory V

data View

View

Field	Type	Description
provider	Party	The provider of the Factory.

instance Eq View

instance Show View

Functions

asDisclosure

: Factory -> I

create’

: Factory -> Create -> Update (ContractId I)

remove

: Factory -> Remove -> Update ()