plutus-ledger-api-0.1.0.0: 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 #

Hashable POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

ToJSON POSIXTime Source #

Custom ToJSON instance which allows to simply convert a POSIXTime value to a JSON number.

Instance details

Defined in Plutus.V1.Ledger.Time

ToJSONKey POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

FromJSON POSIXTime Source #

Custom FromJSON instance which allows to parse a JSON number to a POSIXTime value. The parsed JSON value MUST be an Integer or else the parsing fails.

Instance details

Defined in Plutus.V1.Ledger.Time

FromJSONKey POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

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

prettyList :: [POSIXTime] -> Doc ann Source #

Enum POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

ToData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

FromData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

UnsafeFromData POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

AdditiveSemigroup POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

AdditiveMonoid POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

AdditiveGroup POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Ord POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Eq POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Serialise POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Lift DefaultUni POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Typeable DefaultUni POSIXTime Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

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-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" '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 #

Hashable DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

ToJSON DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

ToJSONKey DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

FromJSON DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

FromJSONKey DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

NFData DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

rnf :: DiffMilliSeconds -> () Source #

ToData DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

FromData DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

UnsafeFromData DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

AdditiveSemigroup DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

AdditiveMonoid DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

AdditiveGroup DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Ord DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Eq DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Serialise DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Lift DefaultUni DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

Typeable DefaultUni DiffMilliSeconds Source # 
Instance details

Defined in Plutus.V1.Ledger.Time

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-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "DiffMilliSeconds" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))