Module Daml.Finance.Instrument.Generic.Election

Templates

template Election

An election, such as the exercise of an option.

Field Type Description
elector Party Entity making the election.
counterparty Party Faces the elector in the Holding.
provider Party The provider of the election is an entity that has the authority to process the election and create a new instrument version.
id Id Election identifier.
description Text A human readable description of the election.
instrument InstrumentKey The instrument to which the election applies.
amount Decimal Number of units of instrument to which the election applies.
claim C The elected sub-tree.
electorIsOwner Bool True if the elector is the owner of a claim, False otherwise.
electionTime Time Time at which the election is put forward.
observers PartiesMap A set of observers.

template Factory

Factory template to create an Election.

Field Type Description
provider Party The provider of the Factory.
observers PartiesMap A set of observers.
  • Choice Archive

    (no fields)

  • interface instance F for Factory

  • interface instance I for Factory

Data Types

type T

= Election

Type synonym for Election.