type Rep POSIXTime
Instance details Defined in PlutusLedgerApi.V1.Time type Rep POSIXTime = D1 ('MetaData "POSIXTime" "PlutusLedgerApi.V1.Time" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "POSIXTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPOSIXTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

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 #

HasBlueprintDefinition POSIXTime Source #

Instance details

Defined in PlutusLedgerApi.V1.Time

Associated Types

type Unroll POSIXTime
Instance details Defined in PlutusLedgerApi.V1.Time type Unroll POSIXTime = Insert POSIXTime (GUnroll (IfStuckRep (RepIsStuckError POSIXTime :: Type -> Type) (Rep POSIXTime)))

Methods

definitionId :: DefinitionId

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

HasBlueprintSchema POSIXTime referencedTypes Source #

Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

schema :: Schema referencedTypes

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.60.0.0-G1HmqwHNllaA7AnJNjAfhP" '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.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.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
Instance details Defined in PlutusLedgerApi.V1.Time type Rep DiffMilliSeconds = D1 ('MetaData "DiffMilliSeconds" "PlutusLedgerApi.V1.Time" "plutus-ledger-api-1.60.0.0-G1HmqwHNllaA7AnJNjAfhP" 'True) (C1 ('MetaCons "DiffMilliSeconds" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

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 #

HasBlueprintDefinition DiffMilliSeconds Source #

Instance details

Defined in PlutusLedgerApi.V1.Time

Associated Types

type Unroll DiffMilliSeconds
Instance details Defined in PlutusLedgerApi.V1.Time type Unroll DiffMilliSeconds = Insert DiffMilliSeconds (GUnroll (IfStuckRep (RepIsStuckError DiffMilliSeconds :: Type -> Type) (Rep DiffMilliSeconds)))