Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusLedgerApi.V1.Data.Time

Description

UTCTime and UTCTime ranges.

Synopsis

newtype POSIXTime = POSIXTime {
- getPOSIXTime ∷ Integer
}
type POSIXTimeRange = Interval POSIXTime
newtype DiffMilliSeconds = DiffMilliSeconds Integer
fromMilliSeconds ∷ DiffMilliSeconds → POSIXTime

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 getPOSIXTime ∷ Integer

Instances

Instances details

Enum POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods succ ∷ POSIXTime → POSIXTime Source # pred ∷ POSIXTime → POSIXTime Source # toEnum ∷ Int → POSIXTime Source # fromEnum ∷ POSIXTime → Int Source # enumFrom ∷ POSIXTime → [POSIXTime] Source # enumFromThen ∷ POSIXTime → POSIXTime → [POSIXTime] Source # enumFromTo ∷ POSIXTime → POSIXTime → [POSIXTime] Source # enumFromThenTo ∷ POSIXTime → POSIXTime → POSIXTime → [POSIXTime] Source #
Generic POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Associated Types type Rep POSIXTime ∷ Type → Type Source # Methods from ∷ POSIXTime → Rep POSIXTime x Source # to ∷ Rep POSIXTime x → POSIXTime Source #
Num POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods (+) ∷ POSIXTime → POSIXTime → POSIXTime Source # (-) ∷ POSIXTime → POSIXTime → POSIXTime Source # (*) ∷ POSIXTime → POSIXTime → POSIXTime Source # negate ∷ POSIXTime → POSIXTime Source # abs ∷ POSIXTime → POSIXTime Source # signum ∷ POSIXTime → POSIXTime Source # fromInteger ∷ Integer → POSIXTime Source #
Integral POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods quot ∷ POSIXTime → POSIXTime → POSIXTime Source # rem ∷ POSIXTime → POSIXTime → POSIXTime Source # div ∷ POSIXTime → POSIXTime → POSIXTime Source # mod ∷ POSIXTime → POSIXTime → POSIXTime Source # quotRem ∷ POSIXTime → POSIXTime → (POSIXTime, POSIXTime) Source # divMod ∷ POSIXTime → POSIXTime → (POSIXTime, POSIXTime) Source # toInteger ∷ POSIXTime → Integer Source #
Real POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods toRational ∷ POSIXTime → Rational Source #
Show POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods showsPrec ∷ Int → POSIXTime → ShowS Source # show ∷ POSIXTime → String Source # showList ∷ [POSIXTime] → ShowS Source #
NFData POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods rnf ∷ POSIXTime → () Source #
Eq POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods (==) ∷ POSIXTime → POSIXTime → Bool Source # (/=) ∷ POSIXTime → POSIXTime → Bool Source #
Ord POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods compare ∷ POSIXTime → POSIXTime → Ordering Source # (<) ∷ POSIXTime → POSIXTime → Bool Source # (<=) ∷ POSIXTime → POSIXTime → Bool Source # (>) ∷ POSIXTime → POSIXTime → Bool Source # (>=) ∷ POSIXTime → POSIXTime → Bool Source # max ∷ POSIXTime → POSIXTime → POSIXTime Source # min ∷ POSIXTime → POSIXTime → POSIXTime Source #
HasBlueprintDefinition POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Associated Types type Unroll POSIXTime ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Enum POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods succ ∷ POSIXTime → POSIXTime Source # pred ∷ POSIXTime → POSIXTime Source # toEnum ∷ Integer → POSIXTime Source # fromEnum ∷ POSIXTime → Integer Source # enumFromTo ∷ POSIXTime → POSIXTime → [POSIXTime] Source # enumFromThenTo ∷ POSIXTime → POSIXTime → POSIXTime → [POSIXTime] Source #
Eq POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods (==) ∷ POSIXTime → POSIXTime → Bool Source #
FromData POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods fromBuiltinData ∷ BuiltinData → Maybe POSIXTime Source #
ToData POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods toBuiltinData ∷ POSIXTime → BuiltinData Source #
UnsafeFromData POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods unsafeFromBuiltinData ∷ BuiltinData → POSIXTime Source #
AdditiveGroup POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods (-) ∷ POSIXTime → POSIXTime → POSIXTime Source #
AdditiveMonoid POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods zero ∷ POSIXTime Source #
AdditiveSemigroup POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods (+) ∷ POSIXTime → POSIXTime → POSIXTime Source #
Ord POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods compare ∷ POSIXTime → POSIXTime → Ordering Source # (<) ∷ POSIXTime → POSIXTime → Bool Source # (<=) ∷ POSIXTime → POSIXTime → Bool Source # (>) ∷ POSIXTime → POSIXTime → Bool Source # (>=) ∷ POSIXTime → POSIXTime → Bool Source # max ∷ POSIXTime → POSIXTime → POSIXTime Source # min ∷ POSIXTime → POSIXTime → POSIXTime Source #
Pretty POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods pretty ∷ POSIXTime → Doc ann Source # prettyList ∷ [POSIXTime] → Doc ann Source #
HasBlueprintSchema POSIXTime referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods lift ∷ POSIXTime → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods typeRep ∷ Proxy POSIXTime → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time type Rep POSIXTime = D1 ('MetaData "POSIXTime" "PlutusLedgerApi.V1.Data.Time" "plutus-ledger-api-1.53.0.0-inplace" 'True) (C1 ('MetaCons "POSIXTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPOSIXTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
type Unroll POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time type Unroll POSIXTime = Insert POSIXTime (GUnroll (IfStuckRep (RepIsStuckError POSIXTime ∷ Type → Type) (Rep POSIXTime)))

type POSIXTimeRange = Interval POSIXTime Source #

An Interval of POSIXTimes.

newtype DiffMilliSeconds Source #

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

Constructors

DiffMilliSeconds Integer

Instances

Instances details

Enum DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods succ ∷ DiffMilliSeconds → DiffMilliSeconds Source # pred ∷ DiffMilliSeconds → DiffMilliSeconds Source # toEnum ∷ Int → DiffMilliSeconds Source # fromEnum ∷ DiffMilliSeconds → Int Source # enumFrom ∷ DiffMilliSeconds → [DiffMilliSeconds] Source # enumFromThen ∷ DiffMilliSeconds → DiffMilliSeconds → [DiffMilliSeconds] Source # enumFromTo ∷ DiffMilliSeconds → DiffMilliSeconds → [DiffMilliSeconds] Source # enumFromThenTo ∷ DiffMilliSeconds → DiffMilliSeconds → DiffMilliSeconds → [DiffMilliSeconds] Source #
Generic DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Associated Types type Rep DiffMilliSeconds ∷ Type → Type Source # Methods from ∷ DiffMilliSeconds → Rep DiffMilliSeconds x Source # to ∷ Rep DiffMilliSeconds x → DiffMilliSeconds Source #
Num DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods (+) ∷ DiffMilliSeconds → DiffMilliSeconds → DiffMilliSeconds Source # (-) ∷ DiffMilliSeconds → DiffMilliSeconds → DiffMilliSeconds Source # (*) ∷ DiffMilliSeconds → DiffMilliSeconds → DiffMilliSeconds Source # negate ∷ DiffMilliSeconds → DiffMilliSeconds Source # abs ∷ DiffMilliSeconds → DiffMilliSeconds Source # signum ∷ DiffMilliSeconds → DiffMilliSeconds Source # fromInteger ∷ Integer → DiffMilliSeconds Source #
Integral DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods quot ∷ DiffMilliSeconds → DiffMilliSeconds → DiffMilliSeconds Source # rem ∷ DiffMilliSeconds → DiffMilliSeconds → DiffMilliSeconds Source # div ∷ DiffMilliSeconds → DiffMilliSeconds → DiffMilliSeconds Source # mod ∷ DiffMilliSeconds → DiffMilliSeconds → DiffMilliSeconds Source # quotRem ∷ DiffMilliSeconds → DiffMilliSeconds → (DiffMilliSeconds, DiffMilliSeconds) Source # divMod ∷ DiffMilliSeconds → DiffMilliSeconds → (DiffMilliSeconds, DiffMilliSeconds) Source # toInteger ∷ DiffMilliSeconds → Integer Source #
Real DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods toRational ∷ DiffMilliSeconds → Rational Source #
Show DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods showsPrec ∷ Int → DiffMilliSeconds → ShowS Source # show ∷ DiffMilliSeconds → String Source # showList ∷ [DiffMilliSeconds] → ShowS Source #
NFData DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods rnf ∷ DiffMilliSeconds → () Source #
Eq DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods (==) ∷ DiffMilliSeconds → DiffMilliSeconds → Bool Source # (/=) ∷ DiffMilliSeconds → DiffMilliSeconds → Bool Source #
Ord DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods compare ∷ DiffMilliSeconds → DiffMilliSeconds → Ordering Source # (<) ∷ DiffMilliSeconds → DiffMilliSeconds → Bool Source # (<=) ∷ DiffMilliSeconds → DiffMilliSeconds → Bool Source # (>) ∷ DiffMilliSeconds → DiffMilliSeconds → Bool Source # (>=) ∷ DiffMilliSeconds → DiffMilliSeconds → Bool Source # max ∷ DiffMilliSeconds → DiffMilliSeconds → DiffMilliSeconds Source # min ∷ DiffMilliSeconds → DiffMilliSeconds → DiffMilliSeconds Source #
HasBlueprintDefinition DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Associated Types type Unroll DiffMilliSeconds ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods (==) ∷ DiffMilliSeconds → DiffMilliSeconds → Bool Source #
FromData DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods fromBuiltinData ∷ BuiltinData → Maybe DiffMilliSeconds Source #
ToData DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods toBuiltinData ∷ DiffMilliSeconds → BuiltinData Source #
UnsafeFromData DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods unsafeFromBuiltinData ∷ BuiltinData → DiffMilliSeconds Source #
AdditiveGroup DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods (-) ∷ DiffMilliSeconds → DiffMilliSeconds → DiffMilliSeconds Source #
AdditiveMonoid DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods zero ∷ DiffMilliSeconds Source #
AdditiveSemigroup DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods (+) ∷ DiffMilliSeconds → DiffMilliSeconds → DiffMilliSeconds Source #
Ord DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods compare ∷ DiffMilliSeconds → DiffMilliSeconds → Ordering Source # (<) ∷ DiffMilliSeconds → DiffMilliSeconds → Bool Source # (<=) ∷ DiffMilliSeconds → DiffMilliSeconds → Bool Source # (>) ∷ DiffMilliSeconds → DiffMilliSeconds → Bool Source # (>=) ∷ DiffMilliSeconds → DiffMilliSeconds → Bool Source # max ∷ DiffMilliSeconds → DiffMilliSeconds → DiffMilliSeconds Source # min ∷ DiffMilliSeconds → DiffMilliSeconds → DiffMilliSeconds Source #
HasBlueprintSchema DiffMilliSeconds referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods lift ∷ DiffMilliSeconds → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods typeRep ∷ Proxy DiffMilliSeconds → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time type Rep DiffMilliSeconds = D1 ('MetaData "DiffMilliSeconds" "PlutusLedgerApi.V1.Data.Time" "plutus-ledger-api-1.53.0.0-inplace" 'True) (C1 ('MetaCons "DiffMilliSeconds" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
type Unroll DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time type Unroll DiffMilliSeconds = Insert DiffMilliSeconds (GUnroll (IfStuckRep (RepIsStuckError DiffMilliSeconds ∷ Type → Type) (Rep DiffMilliSeconds)))

fromMilliSeconds ∷ DiffMilliSeconds → POSIXTime Source #

Simple conversion from DiffMilliSeconds to POSIXTime.