plutus-ledger-api-1.0.0.1: Interface to the Plutus ledger for the Cardano ledger.
Safe HaskellNone
LanguageHaskell2010

Plutus.V1.Ledger.Time

Description

UTCTime and UTCTime ranges.

Synopsis

Documentation

newtype POSIXTime Source #

POSIX time is measured as the number of milliseconds since 1970-01-01T00:00:00Z

Constructors

POSIXTime 

Instances

Instances details
Enum POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Eq POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Integral POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Num POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Ord POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Real POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Show POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Generic POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Associated Types

type Rep POSIXTime :: Type -> Type Source #

NFData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

rnf :: POSIXTime -> () Source #

Pretty POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

pretty :: POSIXTime -> Doc ann

prettyList :: [POSIXTime] -> Doc ann

FromData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

ToData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

UnsafeFromData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Enum POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Eq POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

(==) :: POSIXTime -> POSIXTime -> Bool

AdditiveGroup POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

AdditiveMonoid POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

zero :: POSIXTime

AdditiveSemigroup POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Ord POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Lift DefaultUni POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

lift :: POSIXTime -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

typeRep :: Proxy POSIXTime -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

type Rep POSIXTime = D1 ('MetaData "POSIXTime" "Plutus.V1.Ledger.Time" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "POSIXTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPOSIXTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

newtype DiffMilliSeconds Source #

This is a length of time, as measured by a number of milliseconds.

Instances

Instances details
Enum DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Eq DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Integral DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Num DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Ord DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Real DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Show DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Generic DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Associated Types

type Rep DiffMilliSeconds :: Type -> Type Source #

NFData DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

rnf :: DiffMilliSeconds -> () Source #

FromData DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

ToData DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

UnsafeFromData DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Eq DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

AdditiveGroup DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

AdditiveMonoid DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

AdditiveSemigroup DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Ord DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Lift DefaultUni DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

lift :: DiffMilliSeconds -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())

Typeable DefaultUni DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

typeRep :: Proxy DiffMilliSeconds -> RTCompile DefaultUni fun (Type TyName DefaultUni ())

type Rep DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

type Rep DiffMilliSeconds = D1 ('MetaData "DiffMilliSeconds" "Plutus.V1.Ledger.Time" "plutus-ledger-api-1.0.0.1-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "DiffMilliSeconds" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))