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 AnsEntry
A ans entry that needs to be renewed continuously. Renewal recreates this contract with an updated expiresAt field.
Signatory: user, dso
template AnsEntryContext
Signatory: dso, user
Choice AnsEntryContext_CollectEntryRenewalPaymentController: dso Returns: AnsEntryContext_CollectEntryRenewalPaymentResult
Field Type Description paymentCid ContractId SubscriptionPayment entryCid ContractId AnsEntry The currently active entry. transferContext AppTransferContext ansRulesCid ContractId AnsRules Choice AnsEntryContext_CollectInitialEntryPaymentController: dso Returns: AnsEntryContext_CollectInitialEntryPaymentResult
Field Type Description paymentCid ContractId SubscriptionInitialPayment transferContext AppTransferContext ansRulesCid ContractId AnsRules Choice AnsEntryContext_RejectEntryInitialPaymentController: dso Returns: AnsEntryContext_RejectEntryInitialPaymentResult
Field Type Description paymentCid ContractId SubscriptionInitialPayment transferContext AppTransferContext ansRulesCid ContractId AnsRules Choice AnsEntryContext_TerminateController: actor Returns: AnsEntryContext_TerminateResult
Field Type Description actor Party terminatedSubscriptionCid ContractId TerminatedSubscription - Choice Archive Controller: dso, user Returns: () (no fields)
template AnsRules
The rules governing how users can pay to use the Amulet Name service. Signatory: dso
Field Type Description dso Party config AnsRulesConfig
Choice AnsRules_CollectEntryRenewalPaymentController: dso, user Returns: AnsRules_CollectEntryRenewalPaymentResult
Field Type Description user Party entryContext ContractId AnsEntryContext paymentCid ContractId SubscriptionPayment entryCid ContractId AnsEntry The currently active entry. transferContext AppTransferContext Choice AnsRules_CollectInitialEntryPaymentController: dso, user Returns: AnsRules_CollectInitialEntryPaymentResult
Field Type Description user Party entryContext ContractId AnsEntryContext paymentCid ContractId SubscriptionInitialPayment transferContext AppTransferContext Choice AnsRules_RejectEntryInitialPaymentController: dso Returns: AnsRules_RejectEntryInitialPaymentResult
Field Type Description paymentCid ContractId SubscriptionInitialPayment transferContext AppTransferContext Choice AnsRules_RequestEntryController: user Returns: AnsRules_RequestEntryResult- Choice Archive Controller: dso Returns: () (no fields)
Data Types
data AnsEntryContext_CollectEntryRenewalPaymentResult
AnsEntryContext_CollectEntryRenewalPaymentResultinstance GetField “entryCid” AnsEntryContext_CollectEntryRenewalPaymentResult (ContractId AnsEntry) instance GetField “subscriptionStateCid” AnsEntryContext_CollectEntryRenewalPaymentResult (ContractId SubscriptionIdleState) instance SetField “entryCid” AnsEntryContext_CollectEntryRenewalPaymentResult (ContractId AnsEntry) instance SetField “subscriptionStateCid” AnsEntryContext_CollectEntryRenewalPaymentResult (ContractId SubscriptionIdleState) instance HasExercise AnsEntryContext AnsEntryContext_CollectEntryRenewalPayment AnsEntryContext_CollectEntryRenewalPaymentResult instance HasFromAnyChoice AnsEntryContext AnsEntryContext_CollectEntryRenewalPayment AnsEntryContext_CollectEntryRenewalPaymentResult instance HasToAnyChoice AnsEntryContext AnsEntryContext_CollectEntryRenewalPayment AnsEntryContext_CollectEntryRenewalPaymentResult
Field Type Description entryCid ContractId AnsEntry subscriptionStateCid ContractId SubscriptionIdleState
data AnsEntryContext_CollectInitialEntryPaymentResult
AnsEntryContext_CollectInitialEntryPaymentResultinstance GetField “entryCid” AnsEntryContext_CollectInitialEntryPaymentResult (ContractId AnsEntry) instance GetField “subscriptionStateCid” AnsEntryContext_CollectInitialEntryPaymentResult (ContractId SubscriptionIdleState) instance SetField “entryCid” AnsEntryContext_CollectInitialEntryPaymentResult (ContractId AnsEntry) instance SetField “subscriptionStateCid” AnsEntryContext_CollectInitialEntryPaymentResult (ContractId SubscriptionIdleState) instance HasExercise AnsEntryContext AnsEntryContext_CollectInitialEntryPayment AnsEntryContext_CollectInitialEntryPaymentResult instance HasFromAnyChoice AnsEntryContext AnsEntryContext_CollectInitialEntryPayment AnsEntryContext_CollectInitialEntryPaymentResult instance HasToAnyChoice AnsEntryContext AnsEntryContext_CollectInitialEntryPayment AnsEntryContext_CollectInitialEntryPaymentResult
Field Type Description entryCid ContractId AnsEntry subscriptionStateCid ContractId SubscriptionIdleState
data AnsEntryContext_RejectEntryInitialPaymentResult
AnsEntryContext_RejectEntryInitialPaymentResultinstance GetField “amuletSum” AnsEntryContext_RejectEntryInitialPaymentResult (AmuletCreateSummary (ContractId Amulet)) instance SetField “amuletSum” AnsEntryContext_RejectEntryInitialPaymentResult (AmuletCreateSummary (ContractId Amulet)) instance HasExercise AnsEntryContext AnsEntryContext_RejectEntryInitialPayment AnsEntryContext_RejectEntryInitialPaymentResult instance HasFromAnyChoice AnsEntryContext AnsEntryContext_RejectEntryInitialPayment AnsEntryContext_RejectEntryInitialPaymentResult instance HasToAnyChoice AnsEntryContext AnsEntryContext_RejectEntryInitialPayment AnsEntryContext_RejectEntryInitialPaymentResult
Field Type Description amuletSum AmuletCreateSummary (ContractId Amulet)
data AnsEntryContext_TerminateResult
AnsEntryContext_TerminateResult(no fields)instance HasExercise AnsEntryContext AnsEntryContext_Terminate AnsEntryContext_TerminateResult instance HasFromAnyChoice AnsEntryContext AnsEntryContext_Terminate AnsEntryContext_TerminateResult instance HasToAnyChoice AnsEntryContext AnsEntryContext_Terminate AnsEntryContext_TerminateResult
data AnsEntry_ExpireResult
AnsEntry_ExpireResult(no fields)instance HasExercise AnsEntry AnsEntry_Expire AnsEntry_ExpireResult instance HasFromAnyChoice AnsEntry AnsEntry_Expire AnsEntry_ExpireResult instance HasToAnyChoice AnsEntry AnsEntry_Expire AnsEntry_ExpireResult
data AnsEntry_RenewResult
AnsEntry_RenewResultinstance GetField “entryCid” AnsEntry_RenewResult (ContractId AnsEntry) instance SetField “entryCid” AnsEntry_RenewResult (ContractId AnsEntry) instance HasExercise AnsEntry AnsEntry_Renew AnsEntry_RenewResult instance HasFromAnyChoice AnsEntry AnsEntry_Renew AnsEntry_RenewResult instance HasToAnyChoice AnsEntry AnsEntry_Renew AnsEntry_RenewResult
Field Type Description entryCid ContractId AnsEntry
data AnsRulesConfig
AnsRulesConfiginstance Eq AnsRulesConfig instance Show AnsRulesConfig instance GetField “config” AnsRules AnsRulesConfig instance GetField “descriptionPrefix” AnsRulesConfig Text instance GetField “entryFee” AnsRulesConfig Decimal instance GetField “entryLifetime” AnsRulesConfig RelTime instance GetField “renewalDuration” AnsRulesConfig RelTime instance SetField “config” AnsRules AnsRulesConfig instance SetField “descriptionPrefix” AnsRulesConfig Text instance SetField “entryFee” AnsRulesConfig Decimal instance SetField “entryLifetime” AnsRulesConfig RelTime instance SetField “renewalDuration” AnsRulesConfig RelTime
data AnsRules_CollectEntryRenewalPaymentResult
AnsRules_CollectEntryRenewalPaymentResultinstance GetField “entryCid” AnsRules_CollectEntryRenewalPaymentResult (ContractId AnsEntry) instance GetField “subscriptionStateCid” AnsRules_CollectEntryRenewalPaymentResult (ContractId SubscriptionIdleState) instance SetField “entryCid” AnsRules_CollectEntryRenewalPaymentResult (ContractId AnsEntry) instance SetField “subscriptionStateCid” AnsRules_CollectEntryRenewalPaymentResult (ContractId SubscriptionIdleState) instance HasExercise AnsRules AnsRules_CollectEntryRenewalPayment AnsRules_CollectEntryRenewalPaymentResult instance HasFromAnyChoice AnsRules AnsRules_CollectEntryRenewalPayment AnsRules_CollectEntryRenewalPaymentResult instance HasToAnyChoice AnsRules AnsRules_CollectEntryRenewalPayment AnsRules_CollectEntryRenewalPaymentResult
Field Type Description entryCid ContractId AnsEntry subscriptionStateCid ContractId SubscriptionIdleState
data AnsRules_CollectInitialEntryPaymentResult
AnsRules_CollectInitialEntryPaymentResultinstance GetField “entryCid” AnsRules_CollectInitialEntryPaymentResult (ContractId AnsEntry) instance GetField “subscriptionStateCid” AnsRules_CollectInitialEntryPaymentResult (ContractId SubscriptionIdleState) instance SetField “entryCid” AnsRules_CollectInitialEntryPaymentResult (ContractId AnsEntry) instance SetField “subscriptionStateCid” AnsRules_CollectInitialEntryPaymentResult (ContractId SubscriptionIdleState) instance HasExercise AnsRules AnsRules_CollectInitialEntryPayment AnsRules_CollectInitialEntryPaymentResult instance HasFromAnyChoice AnsRules AnsRules_CollectInitialEntryPayment AnsRules_CollectInitialEntryPaymentResult instance HasToAnyChoice AnsRules AnsRules_CollectInitialEntryPayment AnsRules_CollectInitialEntryPaymentResult
Field Type Description entryCid ContractId AnsEntry subscriptionStateCid ContractId SubscriptionIdleState
data AnsRules_RejectEntryInitialPaymentResult
AnsRules_RejectEntryInitialPaymentResultinstance GetField “amuletSum” AnsRules_RejectEntryInitialPaymentResult (AmuletCreateSummary (ContractId Amulet)) instance SetField “amuletSum” AnsRules_RejectEntryInitialPaymentResult (AmuletCreateSummary (ContractId Amulet)) instance HasExercise AnsRules AnsRules_RejectEntryInitialPayment AnsRules_RejectEntryInitialPaymentResult instance HasFromAnyChoice AnsRules AnsRules_RejectEntryInitialPayment AnsRules_RejectEntryInitialPaymentResult instance HasToAnyChoice AnsRules AnsRules_RejectEntryInitialPayment AnsRules_RejectEntryInitialPaymentResult
Field Type Description amuletSum AmuletCreateSummary (ContractId Amulet)
data AnsRules_RequestEntryResult
AnsRules_RequestEntryResultinstance GetField “entryCid” AnsRules_RequestEntryResult (ContractId AnsEntryContext) instance GetField “requestCid” AnsRules_RequestEntryResult (ContractId SubscriptionRequest) instance SetField “entryCid” AnsRules_RequestEntryResult (ContractId AnsEntryContext) instance SetField “requestCid” AnsRules_RequestEntryResult (ContractId SubscriptionRequest) instance HasExercise AnsRules AnsRules_RequestEntry AnsRules_RequestEntryResult instance HasFromAnyChoice AnsRules AnsRules_RequestEntry AnsRules_RequestEntryResult instance HasToAnyChoice AnsRules AnsRules_RequestEntry AnsRules_RequestEntryResult
Field Type Description entryCid ContractId AnsEntryContext requestCid ContractId SubscriptionRequest
data ExpectedEntryContext
ExpectedEntryContextinstance Eq ExpectedEntryContext instance Show ExpectedEntryContext instance GetField “dso” ExpectedEntryContext Party instance GetField “reference” ExpectedEntryContext (ContractId SubscriptionRequest) instance GetField “user” ExpectedEntryContext Party instance SetField “dso” ExpectedEntryContext Party instance SetField “reference” ExpectedEntryContext (ContractId SubscriptionRequest) instance SetField “user” ExpectedEntryContext Party
Field Type Description dso Party user Party reference ContractId SubscriptionRequest
data ExpectedPayment
ExpectedPaymentinstance Eq ExpectedPayment instance Show ExpectedPayment instance GetField “dso” ExpectedPayment Party instance GetField “sender” ExpectedPayment Party instance SetField “dso” ExpectedPayment Party instance SetField “sender” ExpectedPayment Party
Functions
fetchAndValidateInitialPayment
: ContractId SubscriptionInitialPayment -> ExpectedPayment -> Update SubscriptionInitialPayment
fetchAndValidatePayment
: ContractId SubscriptionPayment -> ExpectedPayment -> Update SubscriptionPayment
fetchAndValidateEntryContext
: ContractId AnsEntryContext -> ExpectedEntryContext -> Update AnsEntryContext
validAnsConfig
: AnsRulesConfig -> Bool