Splice.AmuletAllocation

Templates

template AmuletAllocation

Amulet allocated in locked form to a trade.

Signatory: allocationInstrumentAdmin allocation, (DA.Internal.Record.getField @"sender" (DA.Internal.Record.getField @"transferLeg" allocation))

Field

Type

Description

lockedAmulet

ContractId LockedAmulet

Locked amulet that holds the funds for the allocation

allocation

AllocationSpecification

  • Choice AmuletAllocation_DsoExpire

    Controller: allocationInstrumentAdmin allocation

    Returns: AmuletAllocation_DsoExpireResult

    Field

    Type

    Description

    expireLock

    Bool

  • Choice Archive

    Controller: allocationInstrumentAdmin allocation, (DA.Internal.Record.getField @"sender" (DA.Internal.Record.getField @"transferLeg" allocation))

    Returns: ()

    (no fields)

Data Types

data AmuletAllocation_DsoExpireResult

instance Eq AmuletAllocation_DsoExpireResult

instance Show AmuletAllocation_DsoExpireResult

instance GetField "meta" AmuletAllocation_DsoExpireResult Metadata

instance GetField "results" ExternalPartyAmuletRules_ExpireAmuletAllocationsResult [AmuletAllocation_DsoExpireResult]

instance GetField "senderHoldingCids" AmuletAllocation_DsoExpireResult [ContractId Holding]

instance SetField "meta" AmuletAllocation_DsoExpireResult Metadata

instance SetField "results" ExternalPartyAmuletRules_ExpireAmuletAllocationsResult [AmuletAllocation_DsoExpireResult]

instance SetField "senderHoldingCids" AmuletAllocation_DsoExpireResult [ContractId Holding]

instance HasExercise AmuletAllocation AmuletAllocation_DsoExpire AmuletAllocation_DsoExpireResult

instance HasFromAnyChoice AmuletAllocation AmuletAllocation_DsoExpire AmuletAllocation_DsoExpireResult

instance HasToAnyChoice AmuletAllocation AmuletAllocation_DsoExpire AmuletAllocation_DsoExpireResult

Functions

allocationToTwoStepTransfer

: AllocationSpecification -> TwoStepTransfer

Comments