Skip to main content

Documentation Index

Fetch the complete documentation index at: https://docs.canton.network/llms.txt

Use this file to discover all available pages before exploring further.

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))
FieldTypeDescription
lockedAmuletContractId LockedAmuletLocked amulet that holds the funds for the allocation
allocationAllocationSpecification
  • Choice AmuletAllocation_DsoExpire
    Controller: allocationInstrumentAdmin allocation Returns: AmuletAllocation_DsoExpireResult
    FieldTypeDescription
    expireLockBool
  • 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