Skip to main content
The contracts representing the long-term state of Splice.

Templates

template Amulet
A amulet, which can be locked and whose amount expires over time. The expiry serves to charge an inactivity fee, and thereby ensures that the SVs can reclaim the corresponding storage space at some point in the future. Signatory: dso, owner
  • Choice Amulet_Expire
    Controller: dso Returns: Amulet_ExpireResult
  • Choice Amulet_ExpireV2
    Controller: dso Returns: Amulet_ExpireV2Result
  • Choice Archive Controller: dso, owner Returns: () (no fields)
  • interface instance Holding for Amulet
template AppRewardCoupon
A coupon for receiving app rewards proportional to the usage fee paid as part of a Amulet transfer coordinated by the app of a provider. Signatory: dso
  • Choice AppRewardCoupon_DsoExpire
    Controller: dso Returns: AppRewardCoupon_DsoExpireResult
  • Choice Archive Controller: dso Returns: () (no fields)
template DevelopmentFundCoupon
A coupon recording an emission for the Development Fund under CIP-0082, which can be collected by the designated beneficiary. Signatory: dso
  • Choice Archive Controller: dso Returns: () (no fields)
  • Choice DevelopmentFundCoupon_DsoExpire
    Controller: dso Returns: DevelopmentFundCoupon_DsoExpireResult (no fields)
  • Choice DevelopmentFundCoupon_Reject
    Controller: beneficiary Returns: DevelopmentFundCoupon_RejectResult
  • Choice DevelopmentFundCoupon_Withdraw
    Controller: fundManager Returns: DevelopmentFundCoupon_WithdrawResult
template FeaturedAppActivityMarker
A marker created by a featured application for activity generated from that app. This is used to record activity other than amulet transfers where regular AppRewardCoupons are not created directly. Will be converted to a AppRewardCoupon through automation run by the SVs and can then be minted as part of the normal minting process. Signatory: dso
  • Choice Archive Controller: dso Returns: () (no fields)
  • interface instance FeaturedAppActivityMarker for FeaturedAppActivityMarker
  • interface instance FeaturedAppActivityMarker for FeaturedAppActivityMarker
template FeaturedAppRight
The right for an application provider to earn featured app rewards. Signatory: dso
  • Choice Archive Controller: dso Returns: () (no fields)
  • Choice FeaturedAppRight_Cancel
    Controller: provider Returns: FeaturedAppRight_CancelResult (no fields)
  • Choice FeaturedAppRight_Withdraw
    Controller: dso Returns: FeaturedAppRight_WithdrawResult
  • interface instance FeaturedAppRight for FeaturedAppRight
  • interface instance FeaturedAppRight for FeaturedAppRight
template LockedAmulet
Signatory: (DA.Internal.Record.getField @“holders” lock), signatory amulet
  • Choice Archive Controller: (DA.Internal.Record.getField @“holders” lock), signatory amulet Returns: () (no fields)
  • Choice LockedAmulet_ExpireAmulet
    Controller: (DA.Internal.Record.getField @“dso” amulet) Returns: LockedAmulet_ExpireAmuletResult
  • Choice LockedAmulet_ExpireAmuletV2
    Controller: (DA.Internal.Record.getField @“dso” amulet) Returns: LockedAmulet_ExpireAmuletV2Result
  • Choice LockedAmulet_OwnerExpireLock
    Controller: (DA.Internal.Record.getField @“owner” amulet) Returns: LockedAmulet_OwnerExpireLockResult
  • Choice LockedAmulet_OwnerExpireLockV2
    Controller: (DA.Internal.Record.getField @“owner” amulet) Returns: LockedAmulet_OwnerExpireLockV2Result (no fields)
  • Choice LockedAmulet_Unlock
    Controller: (DA.Internal.Record.getField @“owner” amulet) :: (DA.Internal.Record.getField @“holders” lock) Returns: LockedAmulet_UnlockResult
  • Choice LockedAmulet_UnlockV2
    Controller: (DA.Internal.Record.getField @“owner” amulet) :: (DA.Internal.Record.getField @“holders” lock) Returns: LockedAmulet_UnlockV2Result (no fields)
  • interface instance Holding for LockedAmulet
template SvRewardCoupon
A coupon for a beneficiary to receive part of the SV issuance for a specific SV node and round. Signatory: dso
  • Choice Archive Controller: dso Returns: () (no fields)
  • Choice SvRewardCoupon_ArchiveAsBeneficiary
    Controller: beneficiary Returns: SvRewardCoupon_ArchiveAsBeneficiaryResult (no fields)
  • Choice SvRewardCoupon_DsoExpire
    Controller: dso Returns: SvRewardCoupon_DsoExpireResult
template UnclaimedActivityRecord
A record of activity that can be minted by the beneficiary. Note that these do not come out of the per-round issuance but are instead created by burning UnclaimedRewardCoupon as defined through a vote by the SVs. That’s also why expiry is a separate time-based expiry instead of being tied to a round like the other activity records. Signatory: dso
  • Choice Archive Controller: dso Returns: () (no fields)
  • Choice UnclaimedActivityRecord_DsoExpire
    Controller: dso Returns: UnclaimedActivityRecord_DsoExpireResult (no fields)
template UnclaimedDevelopmentFundCoupon
A coupon recording an emission for the Development Fund from CIP-0082 that was not yet assigned to a specific beneficiary. Signatory: dso
  • Choice Archive Controller: dso Returns: () (no fields)
template UnclaimedReward
Rewards that have not been claimed and are thus at the disposal of the foundation. Signatory: dso
  • Choice Archive Controller: dso Returns: () (no fields)
template ValidatorRewardCoupon
A coupon for receiving validator rewards proportional to the usage fee paid by a user hosted by a validator operator. Signatory: dso
  • Choice Archive Controller: dso Returns: () (no fields)
  • Choice ValidatorRewardCoupon_ArchiveAsValidator
    This choice is used by validators to archive the burn receipt upon claiming its corresponding issuance. Controller: dso, validator Returns: ValidatorRewardCoupon_ArchiveAsValidatorResult
  • Choice ValidatorRewardCoupon_DsoExpire
    Controller: dso Returns: ValidatorRewardCoupon_DsoExpireResult
template ValidatorRight
The right to claim amulet issuances for a user’s burns as their validator. Signatory: user, validator
  • Choice Archive Controller: user, validator Returns: () (no fields)
  • Choice ValidatorRight_ArchiveAsUser
    Controller: user Returns: ValidatorRight_ArchiveAsUserResult (no fields)
  • Choice ValidatorRight_ArchiveAsValidator
    Controller: validator Returns: ValidatorRight_ArchiveAsValidatorResult (no fields)

Data Types

data AmuletCreateSummary amuletContractId
Result of an operation that created a new amulet, e.g., by minting a fresh amulet, or by unlocking a locked amulet.
AmuletCreateSummary
instance Eq amuletContractId => Eq (AmuletCreateSummary amuletContractId) instance Show amuletContractId => Show (AmuletCreateSummary amuletContractId) instance GetField “amulet” (AmuletCreateSummary amuletContractId) amuletContractId instance GetField “amuletPrice” (AmuletCreateSummary amuletContractId) Decimal instance GetField “amuletSum” LockedAmulet_OwnerExpireLockResult (AmuletCreateSummary (ContractId Amulet)) instance GetField “amuletSum” LockedAmulet_UnlockResult (AmuletCreateSummary (ContractId Amulet)) instance GetField “amuletSum” AmuletRules_DevNet_TapResult (AmuletCreateSummary (ContractId Amulet)) instance GetField “amuletSum” AmuletRules_MintResult (AmuletCreateSummary (ContractId Amulet)) instance GetField “round” (AmuletCreateSummary amuletContractId) Round instance SetField “amulet” (AmuletCreateSummary amuletContractId) amuletContractId instance SetField “amuletPrice” (AmuletCreateSummary amuletContractId) Decimal instance SetField “amuletSum” LockedAmulet_OwnerExpireLockResult (AmuletCreateSummary (ContractId Amulet)) instance SetField “amuletSum” LockedAmulet_UnlockResult (AmuletCreateSummary (ContractId Amulet)) instance SetField “amuletSum” AmuletRules_DevNet_TapResult (AmuletCreateSummary (ContractId Amulet)) instance SetField “amuletSum” AmuletRules_MintResult (AmuletCreateSummary (ContractId Amulet)) instance SetField “round” (AmuletCreateSummary amuletContractId) Round
data AmuletExpireSummary
AmuletExpireSummary
instance Eq AmuletExpireSummary instance Show AmuletExpireSummary instance GetField “changeToHoldingFeesRate” AmuletExpireSummary Decimal instance GetField “changeToInitialAmountAsOfRoundZero” AmuletExpireSummary Decimal instance GetField “expireSum” Amulet_ExpireResult AmuletExpireSummary instance GetField “expireSum” LockedAmulet_ExpireAmuletResult AmuletExpireSummary instance GetField “owner” AmuletExpireSummary Party instance GetField “round” AmuletExpireSummary Round instance SetField “changeToHoldingFeesRate” AmuletExpireSummary Decimal instance SetField “changeToInitialAmountAsOfRoundZero” AmuletExpireSummary Decimal instance SetField “expireSum” Amulet_ExpireResult AmuletExpireSummary instance SetField “expireSum” LockedAmulet_ExpireAmuletResult AmuletExpireSummary instance SetField “owner” AmuletExpireSummary Party instance SetField “round” AmuletExpireSummary Round
data AmuletExpireV2Summary
AmuletExpireV2Summary
instance Eq AmuletExpireV2Summary instance Show AmuletExpireV2Summary instance GetField “expireSum” Amulet_ExpireV2Result AmuletExpireV2Summary instance GetField “expireSum” LockedAmulet_ExpireAmuletV2Result AmuletExpireV2Summary instance GetField “owner” AmuletExpireV2Summary Party instance SetField “expireSum” Amulet_ExpireV2Result AmuletExpireV2Summary instance SetField “expireSum” LockedAmulet_ExpireAmuletV2Result AmuletExpireV2Summary instance SetField “owner” AmuletExpireV2Summary Party
data Amulet_ExpireResult
Amulet_ExpireResult
instance GetField “expireSum” Amulet_ExpireResult AmuletExpireSummary instance GetField “meta” Amulet_ExpireResult (Optional Metadata) instance SetField “expireSum” Amulet_ExpireResult AmuletExpireSummary instance SetField “meta” Amulet_ExpireResult (Optional Metadata) instance HasExercise Amulet Amulet_Expire Amulet_ExpireResult instance HasFromAnyChoice Amulet Amulet_Expire Amulet_ExpireResult instance HasToAnyChoice Amulet Amulet_Expire Amulet_ExpireResult
data Amulet_ExpireV2Result
Amulet_ExpireV2Result
instance GetField “expireSum” Amulet_ExpireV2Result AmuletExpireV2Summary instance GetField “meta” Amulet_ExpireV2Result Metadata instance SetField “expireSum” Amulet_ExpireV2Result AmuletExpireV2Summary instance SetField “meta” Amulet_ExpireV2Result Metadata instance HasExercise Amulet Amulet_ExpireV2 Amulet_ExpireV2Result instance HasFromAnyChoice Amulet Amulet_ExpireV2 Amulet_ExpireV2Result instance HasToAnyChoice Amulet Amulet_ExpireV2 Amulet_ExpireV2Result
data AppRewardCoupon_DsoExpireResult
AppRewardCoupon_DsoExpireResult
instance GetField “amount” AppRewardCoupon_DsoExpireResult Decimal instance GetField “featured” AppRewardCoupon_DsoExpireResult Bool instance SetField “amount” AppRewardCoupon_DsoExpireResult Decimal instance SetField “featured” AppRewardCoupon_DsoExpireResult Bool instance HasExercise AppRewardCoupon AppRewardCoupon_DsoExpire AppRewardCoupon_DsoExpireResult instance HasFromAnyChoice AppRewardCoupon AppRewardCoupon_DsoExpire AppRewardCoupon_DsoExpireResult instance HasToAnyChoice AppRewardCoupon AppRewardCoupon_DsoExpire AppRewardCoupon_DsoExpireResult
data DevelopmentFundCoupon_DsoExpireResult
DevelopmentFundCoupon_DsoExpireResult
instance GetField “unclaimedDevelopmentFundCouponCid” DevelopmentFundCoupon_DsoExpireResult (ContractId UnclaimedDevelopmentFundCoupon) instance SetField “unclaimedDevelopmentFundCouponCid” DevelopmentFundCoupon_DsoExpireResult (ContractId UnclaimedDevelopmentFundCoupon) instance HasExercise DevelopmentFundCoupon DevelopmentFundCoupon_DsoExpire DevelopmentFundCoupon_DsoExpireResult instance HasFromAnyChoice DevelopmentFundCoupon DevelopmentFundCoupon_DsoExpire DevelopmentFundCoupon_DsoExpireResult instance HasToAnyChoice DevelopmentFundCoupon DevelopmentFundCoupon_DsoExpire DevelopmentFundCoupon_DsoExpireResult
data DevelopmentFundCoupon_RejectResult
DevelopmentFundCoupon_RejectResult
instance GetField “unclaimedDevelopmentFundCouponCid” DevelopmentFundCoupon_RejectResult (ContractId UnclaimedDevelopmentFundCoupon) instance SetField “unclaimedDevelopmentFundCouponCid” DevelopmentFundCoupon_RejectResult (ContractId UnclaimedDevelopmentFundCoupon) instance HasExercise DevelopmentFundCoupon DevelopmentFundCoupon_Reject DevelopmentFundCoupon_RejectResult instance HasFromAnyChoice DevelopmentFundCoupon DevelopmentFundCoupon_Reject DevelopmentFundCoupon_RejectResult instance HasToAnyChoice DevelopmentFundCoupon DevelopmentFundCoupon_Reject DevelopmentFundCoupon_RejectResult
data DevelopmentFundCoupon_WithdrawResult
DevelopmentFundCoupon_WithdrawResult
instance GetField “unclaimedDevelopmentFundCouponCid” DevelopmentFundCoupon_WithdrawResult (ContractId UnclaimedDevelopmentFundCoupon) instance SetField “unclaimedDevelopmentFundCouponCid” DevelopmentFundCoupon_WithdrawResult (ContractId UnclaimedDevelopmentFundCoupon) instance HasExercise DevelopmentFundCoupon DevelopmentFundCoupon_Withdraw DevelopmentFundCoupon_WithdrawResult instance HasFromAnyChoice DevelopmentFundCoupon DevelopmentFundCoupon_Withdraw DevelopmentFundCoupon_WithdrawResult instance HasToAnyChoice DevelopmentFundCoupon DevelopmentFundCoupon_Withdraw DevelopmentFundCoupon_WithdrawResult
data FeaturedAppRight_CancelResult
FeaturedAppRight_CancelResult
instance HasExercise FeaturedAppRight FeaturedAppRight_Cancel FeaturedAppRight_CancelResult instance HasFromAnyChoice FeaturedAppRight FeaturedAppRight_Cancel FeaturedAppRight_CancelResult instance HasToAnyChoice FeaturedAppRight FeaturedAppRight_Cancel FeaturedAppRight_CancelResult
data FeaturedAppRight_WithdrawResult
FeaturedAppRight_WithdrawResult
instance HasExercise FeaturedAppRight FeaturedAppRight_Withdraw FeaturedAppRight_WithdrawResult instance HasFromAnyChoice FeaturedAppRight FeaturedAppRight_Withdraw FeaturedAppRight_WithdrawResult instance HasToAnyChoice FeaturedAppRight FeaturedAppRight_Withdraw FeaturedAppRight_WithdrawResult
data LockedAmulet_ExpireAmuletResult
LockedAmulet_ExpireAmuletResult
instance GetField “expireSum” LockedAmulet_ExpireAmuletResult AmuletExpireSummary instance GetField “meta” LockedAmulet_ExpireAmuletResult (Optional Metadata) instance SetField “expireSum” LockedAmulet_ExpireAmuletResult AmuletExpireSummary instance SetField “meta” LockedAmulet_ExpireAmuletResult (Optional Metadata) instance HasExercise LockedAmulet LockedAmulet_ExpireAmulet LockedAmulet_ExpireAmuletResult instance HasFromAnyChoice LockedAmulet LockedAmulet_ExpireAmulet LockedAmulet_ExpireAmuletResult instance HasToAnyChoice LockedAmulet LockedAmulet_ExpireAmulet LockedAmulet_ExpireAmuletResult
data LockedAmulet_ExpireAmuletV2Result
LockedAmulet_ExpireAmuletV2Result
instance GetField “expireSum” LockedAmulet_ExpireAmuletV2Result AmuletExpireV2Summary instance GetField “meta” LockedAmulet_ExpireAmuletV2Result Metadata instance SetField “expireSum” LockedAmulet_ExpireAmuletV2Result AmuletExpireV2Summary instance SetField “meta” LockedAmulet_ExpireAmuletV2Result Metadata instance HasExercise LockedAmulet LockedAmulet_ExpireAmuletV2 LockedAmulet_ExpireAmuletV2Result instance HasFromAnyChoice LockedAmulet LockedAmulet_ExpireAmuletV2 LockedAmulet_ExpireAmuletV2Result instance HasToAnyChoice LockedAmulet LockedAmulet_ExpireAmuletV2 LockedAmulet_ExpireAmuletV2Result
data LockedAmulet_OwnerExpireLockResult
LockedAmulet_OwnerExpireLockResult
instance GetField “amuletSum” LockedAmulet_OwnerExpireLockResult (AmuletCreateSummary (ContractId Amulet)) instance GetField “meta” LockedAmulet_OwnerExpireLockResult (Optional Metadata) instance SetField “amuletSum” LockedAmulet_OwnerExpireLockResult (AmuletCreateSummary (ContractId Amulet)) instance SetField “meta” LockedAmulet_OwnerExpireLockResult (Optional Metadata) instance HasExercise LockedAmulet LockedAmulet_OwnerExpireLock LockedAmulet_OwnerExpireLockResult instance HasFromAnyChoice LockedAmulet LockedAmulet_OwnerExpireLock LockedAmulet_OwnerExpireLockResult instance HasToAnyChoice LockedAmulet LockedAmulet_OwnerExpireLock LockedAmulet_OwnerExpireLockResult
data LockedAmulet_OwnerExpireLockV2Result
LockedAmulet_OwnerExpireLockV2Result
instance GetField “amuletCid” LockedAmulet_OwnerExpireLockV2Result (ContractId Amulet) instance GetField “meta” LockedAmulet_OwnerExpireLockV2Result Metadata instance SetField “amuletCid” LockedAmulet_OwnerExpireLockV2Result (ContractId Amulet) instance SetField “meta” LockedAmulet_OwnerExpireLockV2Result Metadata instance HasExercise LockedAmulet LockedAmulet_OwnerExpireLockV2 LockedAmulet_OwnerExpireLockV2Result instance HasFromAnyChoice LockedAmulet LockedAmulet_OwnerExpireLockV2 LockedAmulet_OwnerExpireLockV2Result instance HasToAnyChoice LockedAmulet LockedAmulet_OwnerExpireLockV2 LockedAmulet_OwnerExpireLockV2Result
data LockedAmulet_UnlockResult
LockedAmulet_UnlockResult
instance GetField “amuletSum” LockedAmulet_UnlockResult (AmuletCreateSummary (ContractId Amulet)) instance GetField “meta” LockedAmulet_UnlockResult (Optional Metadata) instance SetField “amuletSum” LockedAmulet_UnlockResult (AmuletCreateSummary (ContractId Amulet)) instance SetField “meta” LockedAmulet_UnlockResult (Optional Metadata) instance HasExercise LockedAmulet LockedAmulet_Unlock LockedAmulet_UnlockResult instance HasFromAnyChoice LockedAmulet LockedAmulet_Unlock LockedAmulet_UnlockResult instance HasToAnyChoice LockedAmulet LockedAmulet_Unlock LockedAmulet_UnlockResult
data LockedAmulet_UnlockV2Result
LockedAmulet_UnlockV2Result
instance GetField “amuletCid” LockedAmulet_UnlockV2Result (ContractId Amulet) instance GetField “meta” LockedAmulet_UnlockV2Result Metadata instance SetField “amuletCid” LockedAmulet_UnlockV2Result (ContractId Amulet) instance SetField “meta” LockedAmulet_UnlockV2Result Metadata instance HasExercise LockedAmulet LockedAmulet_UnlockV2 LockedAmulet_UnlockV2Result instance HasFromAnyChoice LockedAmulet LockedAmulet_UnlockV2 LockedAmulet_UnlockV2Result instance HasToAnyChoice LockedAmulet LockedAmulet_UnlockV2 LockedAmulet_UnlockV2Result
data SvRewardCoupon_ArchiveAsBeneficiaryResult
SvRewardCoupon_ArchiveAsBeneficiaryResult
instance HasExercise SvRewardCoupon SvRewardCoupon_ArchiveAsBeneficiary SvRewardCoupon_ArchiveAsBeneficiaryResult instance HasFromAnyChoice SvRewardCoupon SvRewardCoupon_ArchiveAsBeneficiary SvRewardCoupon_ArchiveAsBeneficiaryResult instance HasToAnyChoice SvRewardCoupon SvRewardCoupon_ArchiveAsBeneficiary SvRewardCoupon_ArchiveAsBeneficiaryResult
data SvRewardCoupon_DsoExpireResult
SvRewardCoupon_DsoExpireResult
instance GetField “weight” SvRewardCoupon_DsoExpireResult Int instance SetField “weight” SvRewardCoupon_DsoExpireResult Int instance HasExercise SvRewardCoupon SvRewardCoupon_DsoExpire SvRewardCoupon_DsoExpireResult instance HasFromAnyChoice SvRewardCoupon SvRewardCoupon_DsoExpire SvRewardCoupon_DsoExpireResult instance HasToAnyChoice SvRewardCoupon SvRewardCoupon_DsoExpire SvRewardCoupon_DsoExpireResult
data UnclaimedActivityRecord_ArchiveAsBeneficiaryResult
UnclaimedActivityRecord_ArchiveAsBeneficiaryResult
data UnclaimedActivityRecord_DsoExpireResult
UnclaimedActivityRecord_DsoExpireResult
instance GetField “unclaimedRewardCid” UnclaimedActivityRecord_DsoExpireResult (ContractId UnclaimedReward) instance SetField “unclaimedRewardCid” UnclaimedActivityRecord_DsoExpireResult (ContractId UnclaimedReward) instance HasExercise UnclaimedActivityRecord UnclaimedActivityRecord_DsoExpire UnclaimedActivityRecord_DsoExpireResult instance HasFromAnyChoice UnclaimedActivityRecord UnclaimedActivityRecord_DsoExpire UnclaimedActivityRecord_DsoExpireResult instance HasToAnyChoice UnclaimedActivityRecord UnclaimedActivityRecord_DsoExpire UnclaimedActivityRecord_DsoExpireResult
data ValidatorRewardCoupon_ArchiveAsValidatorResult
ValidatorRewardCoupon_ArchiveAsValidatorResult
(no fields)
instance HasExercise ValidatorRewardCoupon ValidatorRewardCoupon_ArchiveAsValidator ValidatorRewardCoupon_ArchiveAsValidatorResult instance HasFromAnyChoice ValidatorRewardCoupon ValidatorRewardCoupon_ArchiveAsValidator ValidatorRewardCoupon_ArchiveAsValidatorResult instance HasToAnyChoice ValidatorRewardCoupon ValidatorRewardCoupon_ArchiveAsValidator ValidatorRewardCoupon_ArchiveAsValidatorResult
data ValidatorRewardCoupon_DsoExpireResult
ValidatorRewardCoupon_DsoExpireResult
instance GetField “amount” ValidatorRewardCoupon_DsoExpireResult Decimal instance SetField “amount” ValidatorRewardCoupon_DsoExpireResult Decimal instance HasExercise ValidatorRewardCoupon ValidatorRewardCoupon_DsoExpire ValidatorRewardCoupon_DsoExpireResult instance HasFromAnyChoice ValidatorRewardCoupon ValidatorRewardCoupon_DsoExpire ValidatorRewardCoupon_DsoExpireResult instance HasToAnyChoice ValidatorRewardCoupon ValidatorRewardCoupon_DsoExpire ValidatorRewardCoupon_DsoExpireResult
data ValidatorRight_ArchiveAsUserResult
ValidatorRight_ArchiveAsUserResult
instance HasExercise ValidatorRight ValidatorRight_ArchiveAsUser ValidatorRight_ArchiveAsUserResult instance HasFromAnyChoice ValidatorRight ValidatorRight_ArchiveAsUser ValidatorRight_ArchiveAsUserResult instance HasToAnyChoice ValidatorRight ValidatorRight_ArchiveAsUser ValidatorRight_ArchiveAsUserResult
data ValidatorRight_ArchiveAsValidatorResult
ValidatorRight_ArchiveAsValidatorResult
instance HasExercise ValidatorRight ValidatorRight_ArchiveAsValidator ValidatorRight_ArchiveAsValidatorResult instance HasFromAnyChoice ValidatorRight ValidatorRight_ArchiveAsValidator ValidatorRight_ArchiveAsValidatorResult instance HasToAnyChoice ValidatorRight ValidatorRight_ArchiveAsValidator ValidatorRight_ArchiveAsValidatorResult

Functions

amuletMetadata : Amulet -> Metadata
validateAppRewardBeneficiaries : [AppRewardBeneficiary] -> Update ()
validateAppRewardBeneficiariesV2 : [AppRewardBeneficiary] -> Update ()
requireAmuletExpiredForAllRounds : ContractId ExternalPartyConfigState -> ContractId ExternalPartyConfigState -> Amulet -> Update ()