Functions for computing amulet and lock expiry times and conditions.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.
Data Types
data BoundedSet a
A symbolic representation of a set of values of typeauseful for computing upper-bounds.Singleton aSingleton xrepresents the singleton set{x}AfterMaxBoundinstance Functor BoundedSet instance Eq a => Eq (BoundedSet a) instance Show a => Show (BoundedSet a)AfterMaxBoundrepresents the set of all values larger than the maximal value that can be represented by typea
data TimeLock
A lock held by multiple parties until its expiry.TimeLockinstance FromAnyValue TimeLock instance ToAnyValue TimeLock instance Eq TimeLock instance Ord TimeLock instance Show TimeLock instance GetField “expiresAt” TimeLock Time instance GetField “holders” TimeLock [Party] instance GetField “lock” LockedAmulet TimeLock instance GetField “lock” PreprocessedTransferOutput (Optional TimeLock) instance GetField “lock” TransferOutput (Optional TimeLock) instance GetField “optContext” TimeLock (Optional Text) instance SetField “expiresAt” TimeLock Time instance SetField “holders” TimeLock [Party] instance SetField “lock” LockedAmulet TimeLock instance SetField “lock” PreprocessedTransferOutput (Optional TimeLock) instance SetField “lock” TransferOutput (Optional TimeLock) instance SetField “optContext” TimeLock (Optional Text)
Field Type Description holders [Party] expiresAt Time optContext Optional Text Short, human-readable description of the context in which the amulet is locked. Intended for wallets to inform the user about the reason for the lock. Consider what details to share about the context, as that might be private and the string here will be public information.
Functions
maxInt
: Int
maxDecimalDiv10
: Decimal
minTime
: TimeThe smallest time point that can be represented by the
Time type.maxTime
: TimeThe largest time point that can be represented by the
Time type.amountExpiresAt
: ExpiringAmount -> BoundedSet RoundCompute the round where the amulet expires. i.e. the amulet is fully expired.
isAmuletExpired
: Round -> ExpiringAmount -> Bool
isAmuletExpired openRound amuletAmount computes whether the expiring amuletAmount is definitely expired in case the openRound is open.