Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusLedgerApi.V1.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.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.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.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.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.Time Methods toRational :: POSIXTime -> Rational Source #
Show POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods showsPrec :: Int -> POSIXTime -> ShowS Source # show :: POSIXTime -> String Source # showList :: [POSIXTime] -> ShowS Source #
NFData POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods rnf :: POSIXTime -> () Source #
Eq POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods (==) :: POSIXTime -> POSIXTime -> Bool Source # (/=) :: POSIXTime -> POSIXTime -> Bool Source #
Ord POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.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 #
Enum POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods succ :: POSIXTime -> POSIXTime pred :: POSIXTime -> POSIXTime toEnum :: Integer -> POSIXTime fromEnum :: POSIXTime -> Integer enumFromTo :: POSIXTime -> POSIXTime -> [POSIXTime] enumFromThenTo :: POSIXTime -> POSIXTime -> POSIXTime -> [POSIXTime]
Eq POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods (==) :: POSIXTime -> POSIXTime -> Bool
FromData POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods fromBuiltinData :: BuiltinData -> Maybe POSIXTime #
ToData POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods toBuiltinData :: POSIXTime -> BuiltinData #
UnsafeFromData POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods unsafeFromBuiltinData :: BuiltinData -> POSIXTime #
AdditiveGroup POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods (-) :: POSIXTime -> POSIXTime -> POSIXTime
AdditiveMonoid POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods zero :: POSIXTime
AdditiveSemigroup POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods (+) :: POSIXTime -> POSIXTime -> POSIXTime
Ord POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods compare :: POSIXTime -> POSIXTime -> Ordering (<) :: POSIXTime -> POSIXTime -> Bool (<=) :: POSIXTime -> POSIXTime -> Bool (>) :: POSIXTime -> POSIXTime -> Bool (>=) :: POSIXTime -> POSIXTime -> Bool max :: POSIXTime -> POSIXTime -> POSIXTime min :: POSIXTime -> POSIXTime -> POSIXTime
Pretty POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods pretty :: POSIXTime -> Doc ann prettyList :: [POSIXTime] -> Doc ann
Lift DefaultUni POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods lift :: POSIXTime -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods typeRep :: Proxy POSIXTime -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time type Rep POSIXTime = D1 ('MetaData "POSIXTime" "PlutusLedgerApi.V1.Time" "plutus-ledger-api-1.18.0.0-Arniy3OL4wy69RH7u4QMZP" 'True) (C1 ('MetaCons "POSIXTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPOSIXTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

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.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.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.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.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.Time Methods toRational :: DiffMilliSeconds -> Rational Source #
Show DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods showsPrec :: Int -> DiffMilliSeconds -> ShowS Source # show :: DiffMilliSeconds -> String Source # showList :: [DiffMilliSeconds] -> ShowS Source #
NFData DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods rnf :: DiffMilliSeconds -> () Source #
Eq DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods (==) :: DiffMilliSeconds -> DiffMilliSeconds -> Bool Source # (/=) :: DiffMilliSeconds -> DiffMilliSeconds -> Bool Source #
Ord DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.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 #
Eq DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods (==) :: DiffMilliSeconds -> DiffMilliSeconds -> Bool
FromData DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods fromBuiltinData :: BuiltinData -> Maybe DiffMilliSeconds #
ToData DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods toBuiltinData :: DiffMilliSeconds -> BuiltinData #
UnsafeFromData DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods unsafeFromBuiltinData :: BuiltinData -> DiffMilliSeconds #
AdditiveGroup DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods (-) :: DiffMilliSeconds -> DiffMilliSeconds -> DiffMilliSeconds
AdditiveMonoid DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods zero :: DiffMilliSeconds
AdditiveSemigroup DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods (+) :: DiffMilliSeconds -> DiffMilliSeconds -> DiffMilliSeconds
Ord DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods compare :: DiffMilliSeconds -> DiffMilliSeconds -> Ordering (<) :: DiffMilliSeconds -> DiffMilliSeconds -> Bool (<=) :: DiffMilliSeconds -> DiffMilliSeconds -> Bool (>) :: DiffMilliSeconds -> DiffMilliSeconds -> Bool (>=) :: DiffMilliSeconds -> DiffMilliSeconds -> Bool max :: DiffMilliSeconds -> DiffMilliSeconds -> DiffMilliSeconds min :: DiffMilliSeconds -> DiffMilliSeconds -> DiffMilliSeconds
Lift DefaultUni DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods lift :: DiffMilliSeconds -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods typeRep :: Proxy DiffMilliSeconds -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
type Rep DiffMilliSeconds Source #
Instance details Defined in PlutusLedgerApi.V1.Time type Rep DiffMilliSeconds = D1 ('MetaData "DiffMilliSeconds" "PlutusLedgerApi.V1.Time" "plutus-ledger-api-1.18.0.0-Arniy3OL4wy69RH7u4QMZP" 'True) (C1 ('MetaCons "DiffMilliSeconds" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

fromMilliSeconds :: DiffMilliSeconds -> POSIXTime Source #

Simple conversion from DiffMilliSeconds to POSIXTime.