Plutus.V1.Ledger.Time

Le module Plutus.V1.Ledger.Time définit des types et fonctions pour travailler avec le temps dans le code Plutus on-chain :

DiffMilliSeconds : durée mesurée en millisecondes.
POSIXTime : temps absolu depuis l’époque Unix, en millisecondes.
POSIXTimeRange : alias pour Interval POSIXTime, représentant des fenêtres temporelles valides.

Inclut un utilitaire pour convertir entre DiffMilliSeconds et POSIXTime.

Tous les types dérivent les classes numériques, d’ordre et de sérialisation on-chain pour une utilisation dans les scripts.

Pragmas pour la dérivation générique, les instances on-chain, la flexibilité, et l’optimisation des interfaces.

Imports :

Représente une durée en millisecondes.

Dérive toutes les classes numériques standard et les classes de sérialisation on-chain via newtype.

Représente le nombre de millisecondes écoulées depuis le 1er janvier 1970 à 00:00:00Z.

Opérations numériques pratiques et sérialisation on-chain.

Instance Pretty pour un affichage lisible.

Alias pour les intervalles de temps, par exemple pour les fenêtres de validité des transactions.

Convertit une durée DiffMilliSeconds en un décalage POSIXTime.

Cas d’utilisation : ajouter ou soustraire des durées à/des valeurs POSIXTime dans les contrats.

Permet l’inclusion de ces types dans le code PlutusTx grâce à Template Haskell.

DiffMilliSeconds : wrapper autour d’un entier représentant des millisecondes.
POSIXTime : millisecondes depuis l’époque UNIX.
POSIXTimeRange : intervalle de POSIXTime, utilisé pour les plages de validité.
Interval : type générique d’intervalle issu de Plutus.V1.Ledger.Interval.
MonoLocalBinds / UndecidableInstances : pragmas GHC permettant certaines définitions d’instances.
makeLift : fonction Template Haskell pour créer les instances Lift on-chain.
AdditiveSemigroup / Monoid / Group : classes algébriques pour l’addition.
INLINABLE : pragma exposant la fonction à l’optimisation on-chain.

Last updated 4 months ago