Module Daml.Finance.Interface.Instrument.Token.Factory¶
Interfaces¶
interface Factory
Factory interface to instantiate simple tokens.
Choice Archive
(no fields)
Choice Create
Create a new account.
Field Type Description token Token Attributes to create a token. observers PartiesMap The instrument’s observers. Choice Remove
Archive an account.
Field Type Description instrument InstrumentKey The account’s key. Method asDisclosure : I
Conversion to
Disclosureinterface.Method create’ : Create -> Update (ContractId I)
Implementation of
Createchoice.Method remove : Remove -> Update ()
Implementation of
Removechoice.
Typeclasses¶
class Implementation t => HasImplementation t where
Data Types¶
- type Implementation t
= (HasToInterface t Factory, Implementation t)
Type constraint for requiring templates to implement
Factoryalong withDisclosure.
- type V
= View
Type synonym for
View.instance HasFromAnyView Factory V
data View