plutus-ledger-api-1.30.0.0: Interface to the Plutus ledger for the Cardano ledger.
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusLedgerApi.V1.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. This is not the same as Haskell's POSIXTime

Constructors

POSIXTime 

Fields

Instances

Instances details
Enum POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Generic POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Associated Types

type Rep POSIXTimeTypeType Source #

Num POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Integral POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Real POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Show POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

NFData POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

rnfPOSIXTime → () Source #

Eq POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Ord POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Enum POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Eq POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

(==)POSIXTimePOSIXTimeBool Source #

FromData POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

ToData POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

UnsafeFromData POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

AdditiveGroup POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

AdditiveMonoid POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

zeroPOSIXTime Source #

AdditiveSemigroup POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Ord POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Pretty POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

prettyPOSIXTimeDoc ann #

prettyList ∷ [POSIXTime] → Doc ann #

Lift DefaultUni POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Typeable DefaultUni POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

type Rep POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

type Rep POSIXTime = D1 ('MetaData "POSIXTime" "PlutusLedgerApi.V1.Time" "plutus-ledger-api-1.30.0.0-inplace" '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 PlutusLedgerApi.V1.Time

Generic DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Associated Types

type Rep DiffMilliSecondsTypeType Source #

Num DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Integral DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Real DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Show DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

NFData DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

rnfDiffMilliSeconds → () Source #

Eq DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Ord DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Eq DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

FromData DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

ToData DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

UnsafeFromData DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

AdditiveGroup DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

AdditiveMonoid DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

AdditiveSemigroup DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Ord DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Lift DefaultUni DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Typeable DefaultUni DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

type Rep DiffMilliSeconds Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

type Rep DiffMilliSeconds = D1 ('MetaData "DiffMilliSeconds" "PlutusLedgerApi.V1.Time" "plutus-ledger-api-1.30.0.0-inplace" 'True) (C1 ('MetaCons "DiffMilliSeconds" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))