plutus-ledger-api-1.0.0.1: Interface to the Plutus ledger for the Cardano ledger.
Safe Haskell None
Language Haskell2010

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

Fields

Instances

Instances details
Enum POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.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 #

Eq POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

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

(/=) :: POSIXTime -> POSIXTime -> Bool Source #

Integral POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.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 #

Num POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.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 #

Ord POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.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 #

Real POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

toRational :: POSIXTime -> Rational Source #

Show POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

showsPrec :: Int -> POSIXTime -> ShowS Source #

show :: POSIXTime -> String Source #

showList :: [ POSIXTime ] -> ShowS Source #

Generic POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Associated Types

type Rep POSIXTime :: Type -> Type Source #

Methods

from :: POSIXTime -> Rep POSIXTime x Source #

to :: Rep POSIXTime x -> POSIXTime 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 Source #

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

Enum POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

succ :: POSIXTime -> POSIXTime Source #

pred :: POSIXTime -> POSIXTime Source #

toEnum :: Integer -> POSIXTime Source #

fromEnum :: POSIXTime -> Integer Source #

ToData POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

toBuiltinData :: POSIXTime -> BuiltinData Source #

FromData POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

fromBuiltinData :: BuiltinData -> Maybe POSIXTime Source #

UnsafeFromData POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

unsafeFromBuiltinData :: BuiltinData -> POSIXTime Source #

AdditiveSemigroup POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

(+) :: POSIXTime -> POSIXTime -> POSIXTime Source #

AdditiveMonoid POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

zero :: POSIXTime Source #

AdditiveGroup POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

(-) :: POSIXTime -> POSIXTime -> POSIXTime Source #

Ord POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.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 #

Eq POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

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

Lift DefaultUni POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

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

Typeable DefaultUni POSIXTime Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

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

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-GlUFhIIE0LJGuJDDdHh5lQ" ' True ) ( C1 (' MetaCons "POSIXTime" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "getPOSIXTime") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Integer )))

type POSIXTimeRange = Interval POSIXTime Source #

An Interval of POSIXTime s.

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 Plutus.V1.Ledger.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 #

Eq DiffMilliSeconds Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

(==) :: DiffMilliSeconds -> DiffMilliSeconds -> Bool Source #

(/=) :: DiffMilliSeconds -> DiffMilliSeconds -> Bool Source #

Integral DiffMilliSeconds Source #
Instance details

Defined in Plutus.V1.Ledger.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 #

Num DiffMilliSeconds Source #
Instance details

Defined in Plutus.V1.Ledger.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 #

Ord DiffMilliSeconds Source #
Instance details

Defined in Plutus.V1.Ledger.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 #

Real DiffMilliSeconds Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

toRational :: DiffMilliSeconds -> Rational Source #

Show DiffMilliSeconds Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

showsPrec :: Int -> DiffMilliSeconds -> ShowS Source #

show :: DiffMilliSeconds -> String Source #

showList :: [ DiffMilliSeconds ] -> ShowS Source #

Generic DiffMilliSeconds Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Associated Types

type Rep DiffMilliSeconds :: Type -> Type Source #

Methods

from :: DiffMilliSeconds -> Rep DiffMilliSeconds x Source #

to :: Rep DiffMilliSeconds x -> DiffMilliSeconds Source #

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

Methods

toBuiltinData :: DiffMilliSeconds -> BuiltinData Source #

FromData DiffMilliSeconds Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

fromBuiltinData :: BuiltinData -> Maybe DiffMilliSeconds Source #

UnsafeFromData DiffMilliSeconds Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

unsafeFromBuiltinData :: BuiltinData -> DiffMilliSeconds Source #

AdditiveSemigroup DiffMilliSeconds Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

(+) :: DiffMilliSeconds -> DiffMilliSeconds -> DiffMilliSeconds Source #

AdditiveMonoid DiffMilliSeconds Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

zero :: DiffMilliSeconds Source #

AdditiveGroup DiffMilliSeconds Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

(-) :: DiffMilliSeconds -> DiffMilliSeconds -> DiffMilliSeconds Source #

Ord DiffMilliSeconds Source #
Instance details

Defined in Plutus.V1.Ledger.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 Plutus.V1.Ledger.Time

Methods

(==) :: DiffMilliSeconds -> DiffMilliSeconds -> Bool Source #

Lift DefaultUni DiffMilliSeconds Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

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

Typeable DefaultUni DiffMilliSeconds Source #
Instance details

Defined in Plutus.V1.Ledger.Time

Methods

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

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-GlUFhIIE0LJGuJDDdHh5lQ" ' 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 .