Splice.Amulet

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

Field	Type	Description
dso	Party
owner	Party
amount	ExpiringAmount

• Choice Amulet_Expire

  Controller: dso

  Returns: Amulet_ExpireResult

  Field	Type	Description
  roundCid	ContractId OpenMiningRound

• Choice Archive

  Controller: dso, owner

  Returns: ()

  (no fields)

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

Field	Type	Description
dso	Party
provider	Party	Application provider
featured	Bool
amount	Decimal
round	Round

• Choice AppRewardCoupon_DsoExpire

  Controller: dso

  Returns: AppRewardCoupon_DsoExpireResult

  Field	Type	Description
  closedRoundCid	ContractId ClosedMiningRound

• Choice Archive

  Controller: dso

  Returns: ()

  (no fields)

template FeaturedAppRight

The right for an application provider to earn featured app rewards.

Signatory: dso

Field	Type	Description
dso	Party
provider	Party

• 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

  Field	Type	Description
  reason	Text

template LockedAmulet

Signatory: (DA.Internal.Record.getField @"holders" lock), signatory amulet

Field	Type	Description
amulet	Amulet
lock	TimeLock

• 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

  Field	Type	Description
  roundCid	ContractId OpenMiningRound

• Choice LockedAmulet_OwnerExpireLock

  Controller: (DA.Internal.Record.getField @"owner" amulet)

  Returns: LockedAmulet_OwnerExpireLockResult

  Field	Type	Description
  openRoundCid	ContractId OpenMiningRound

• Choice LockedAmulet_Unlock

  Controller: (DA.Internal.Record.getField @"owner" amulet) :: (DA.Internal.Record.getField @"holders" lock)

  Returns: LockedAmulet_UnlockResult

  Field	Type	Description
  openRoundCid	ContractId OpenMiningRound

template SvRewardCoupon

A coupon for a beneficiary to receive part of the SV issuance for a specific SV node and round.

Signatory: dso

Field	Type	Description
dso	Party
sv	Party	The party identifying the SV node for which the reward is issued.
beneficiary	Party	The beneficiary allowed to receive the reward.
round	Round
weight	Int	Coupons receive a share of the SV issuance proportional to their weight.

• 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

  Field	Type	Description
  closedRoundCid	ContractId ClosedMiningRound

template UnclaimedReward

Rewards that have not been claimed and are thus at the disposal of the foundation.

Signatory: dso

Field	Type	Description
dso	Party
amount	Decimal

• 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

Field	Type	Description
dso	Party
user	Party
amount	Decimal
round	Round

• 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

  Field	Type	Description
  validator	Party
  rightCid	ContractId ValidatorRight

• Choice ValidatorRewardCoupon_DsoExpire

  Controller: dso

  Returns: ValidatorRewardCoupon_DsoExpireResult

  Field	Type	Description
  closedRoundCid	ContractId ClosedMiningRound

template ValidatorRight

The right to claim amulet issuances for a user’s burns as their validator.

Signatory: user, validator

Field	Type	Description
dso	Party
user	Party
validator	Party

• 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

Field	Type	Description
amulet	amuletContractId	The new amulet that was created
amuletPrice	Decimal	The amulet price at the round the amulet was created
round	Round	Round for which this amulet was created.

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

Field	Type	Description
owner	Party
round	Round	Round for which this expiry was registered.
changeToInitialAmountAsOfRoundZero	Decimal
changeToHoldingFeesRate	Decimal	The change of total holding fees introduced by a amulet expiry.

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 Amulet_ExpireResult

Amulet_ExpireResult

Field	Type	Description
expireSum	AmuletExpireSummary

instance GetField "expireSum" Amulet_ExpireResult AmuletExpireSummary

instance SetField "expireSum" Amulet_ExpireResult AmuletExpireSummary

instance HasExercise Amulet Amulet_Expire Amulet_ExpireResult

instance HasFromAnyChoice Amulet Amulet_Expire Amulet_ExpireResult

instance HasToAnyChoice Amulet Amulet_Expire Amulet_ExpireResult

data AppRewardCoupon_DsoExpireResult

AppRewardCoupon_DsoExpireResult

Field	Type	Description
featured	Bool
amount	Decimal

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 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

Field	Type	Description
expireSum	AmuletExpireSummary

instance GetField "expireSum" LockedAmulet_ExpireAmuletResult AmuletExpireSummary

instance SetField "expireSum" LockedAmulet_ExpireAmuletResult AmuletExpireSummary

instance HasExercise LockedAmulet LockedAmulet_ExpireAmulet LockedAmulet_ExpireAmuletResult

instance HasFromAnyChoice LockedAmulet LockedAmulet_ExpireAmulet LockedAmulet_ExpireAmuletResult

instance HasToAnyChoice LockedAmulet LockedAmulet_ExpireAmulet LockedAmulet_ExpireAmuletResult

data LockedAmulet_OwnerExpireLockResult

LockedAmulet_OwnerExpireLockResult

Field	Type	Description
amuletSum	AmuletCreateSummary (ContractId Amulet)

instance GetField "amuletSum" LockedAmulet_OwnerExpireLockResult (AmuletCreateSummary (ContractId Amulet))

instance SetField "amuletSum" LockedAmulet_OwnerExpireLockResult (AmuletCreateSummary (ContractId Amulet))

instance HasExercise LockedAmulet LockedAmulet_OwnerExpireLock LockedAmulet_OwnerExpireLockResult

instance HasFromAnyChoice LockedAmulet LockedAmulet_OwnerExpireLock LockedAmulet_OwnerExpireLockResult

instance HasToAnyChoice LockedAmulet LockedAmulet_OwnerExpireLock LockedAmulet_OwnerExpireLockResult

data LockedAmulet_UnlockResult

LockedAmulet_UnlockResult

Field	Type	Description
amuletSum	AmuletCreateSummary (ContractId Amulet)

instance GetField "amuletSum" LockedAmulet_UnlockResult (AmuletCreateSummary (ContractId Amulet))

instance SetField "amuletSum" LockedAmulet_UnlockResult (AmuletCreateSummary (ContractId Amulet))

instance HasExercise LockedAmulet LockedAmulet_Unlock LockedAmulet_UnlockResult

instance HasFromAnyChoice LockedAmulet LockedAmulet_Unlock LockedAmulet_UnlockResult

instance HasToAnyChoice LockedAmulet LockedAmulet_Unlock LockedAmulet_UnlockResult

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

Field	Type	Description
weight	Int

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 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

Field	Type	Description
amount	Decimal

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

requireAmuletExpiredForAllOpenRounds

: ContractId OpenMiningRound -> Amulet -> Update ()