Utility.Registry.App.V0.Model.Mint

Templates

template ExecutedMint

An executed mint.

Signatory: (DA.Internal.Record.getField @"admin" (DA.Internal.Record.getField @"instrumentId" mint))

Field	Type	Description
operator	Party	Operator party.
provider	Party	Provider party.
mint	Mint	Mint payload.

• Choice Archive

  Controller: (DA.Internal.Record.getField @"admin" (DA.Internal.Record.getField @"instrumentId" mint))

  Returns: ()

  (no fields)

• Choice ExecutedMint_Delete

  Deletes an executed mint.

  Controller: actor

  Returns: ExecutedMint_Delete_Result

  Field	Type	Description
  actor	Party	The party requesting the deletion, must be the operator.

template MintOffer

An offer to mint a holding.

Signatory: provider, (DA.Internal.Record.getField @"admin" (DA.Internal.Record.getField @"instrumentId" mint))

Field	Type	Description
operator	Party	Operator party.
provider	Party	Provider party.
mint	Mint	Mint offer payload.

• Choice Archive

  Controller: provider, (DA.Internal.Record.getField @"admin" (DA.Internal.Record.getField @"instrumentId" mint))

  Returns: ()

  (no fields)

• Choice MintOffer_Accept

  Accepts a mint offer.

  Controller: (DA.Internal.Record.getField @"holder" mint)

  Returns: MintOffer_Accept_Result

  Field	Type	Description
  extraArgs	ExtraArgs	Additional context required to exercise the choice. extraArgs.context (provided by the backend) includes: * The InstrumentConfiguration of the holding being minted * The Credential``s of the holder that satisfy the issuer requirements * ``AppRewardConfiguration of the provider (if any) * FeaturedAppRight of the provider (if featured) extraArgs.metadata is reserved for extensibility.

• Choice MintOffer_Cancel

  Cancels a mint offer.

  Controller: (DA.Internal.Record.getField @"admin" (DA.Internal.Record.getField @"instrumentId" mint))

  Returns: MintOffer_Cancel_Result

  (no fields)

• Choice MintOffer_Reject

  Rejects a mint offer.

  Controller: (DA.Internal.Record.getField @"holder" mint)

  Returns: MintOffer_Reject_Result

  Field	Type	Description
  reason	Text	Reason for rejection.

template MintRequest

A request to mint a holding.

Signatory: provider, (DA.Internal.Record.getField @"holder" mint)

Field	Type	Description
operator	Party	Operator requesting the mint.
provider	Party	Provider of the instrument to mint.
mint	Mint	Mint request payload.

• Choice Archive

  Controller: provider, (DA.Internal.Record.getField @"holder" mint)

  Returns: ()

  (no fields)

• Choice MintRequest_Accept

  Accepts a mint request.

  Controller: (DA.Internal.Record.getField @"admin" (DA.Internal.Record.getField @"instrumentId" mint))

  Returns: MintRequest_Accept_Result

  Field	Type	Description
  extraArgs	ExtraArgs	Additional context required to exercise the choice. extraArgs.context (provided by the backend) includes: * The InstrumentConfiguration of the holding being minted * The Credential``s of the holder that satisfy the issuer requirements * ``AppRewardConfiguration of the provider (if any) * FeaturedAppRight of the provider (if featured) extraArgs.metadata is reserved for extensibility.

• Choice MintRequest_Cancel

  Cancels a mint request.

  Controller: (DA.Internal.Record.getField @"holder" mint)

  Returns: MintRequest_Cancel_Result

  (no fields)

• Choice MintRequest_Reject

  Rejects a mint request.

  Controller: (DA.Internal.Record.getField @"admin" (DA.Internal.Record.getField @"instrumentId" mint))

  Returns: MintRequest_Reject_Result

  Field	Type	Description
  reason	Text	Reason for rejection.

template RejectedMint

A rejected mint.

Signatory: (DA.Internal.Record.getField @"admin" (DA.Internal.Record.getField @"instrumentId" mint)), (DA.Internal.Record.getField @"holder" mint)

Field	Type	Description
operator	Party	Operator party.
provider	Party	Provider party.
mint	Mint	Rejected mint payload.
reason	Text	Reason for rejection.

• Choice Archive

  Controller: (DA.Internal.Record.getField @"admin" (DA.Internal.Record.getField @"instrumentId" mint)), (DA.Internal.Record.getField @"holder" mint)

  Returns: ()

  (no fields)

• Choice RejectedMint_Delete

  Deletes a rejected mint.

  Controller: actor

  Returns: RejectedMint_Delete_Result

  Field	Type	Description
  actor	Party	The party requesting the deletion, must be the instrument admin or operator.

Data Types

data ExecutedMint_Delete_Result

Result of ExecutedMint_Delete.

ExecutedMint_Delete_Result

(no fields)

data Mint

Mint payload.

Mint

Field	Type	Description
instrumentId	InstrumentId	The identifier of the instrument to be minted. The instrumentId.admin is the registrar in the utility.
amount	Decimal	The amount to mint.
holder	Party	The party for whom the holding will be minted.
reference	Text	A reference for the mint.
requestedAt	Time	The time at which the mint was requested.
executeBefore	Time	The time by which the mint must have been executed.
meta	Metadata	Optional metadata to associate extra information throughout the workflow.

data MintOffer_Accept_Result

Result of MintOffer_Accept.

MintOffer_Accept_Result

Field	Type	Description
holdingCid	ContractId Holding	Minted holding.
executedMintCid	Optional (ContractId ExecutedMint)	Executed mint.
meta	Metadata	Choice output metadata.

data MintOffer_Cancel_Result

Result of MintOffer_Cancel.

MintOffer_Cancel_Result

(no fields)

data MintOffer_Reject_Result

Result of MintOffer_Reject.

MintOffer_Reject_Result

Field	Type	Description
rejectedMintCid	Optional (ContractId RejectedMint)	Rejected mint.

data MintRequest_Accept_Result

Result of AcceptedMint_Execute.

MintRequest_Accept_Result

Field	Type	Description
holdingCid	ContractId Holding	Minted holding.
executedMintCid	Optional (ContractId ExecutedMint)	Executed mint.
meta	Metadata	Choice output metadata.

data MintRequest_Cancel_Result

Result of MintRequest_Cancel.

MintRequest_Cancel_Result

(no fields)

data MintRequest_Reject_Result

Result of MintRequest_Reject.

MintRequest_Reject_Result

Field	Type	Description
rejectedMintCid	Optional (ContractId RejectedMint)	Rejected mint.

data RejectedMint_Delete_Result

Result of RejectedMint_Delete.

RejectedMint_Delete_Result

(no fields)