Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusLedgerApi.V4.Data.Time

Synopsis

newtype POSIXTime = POSIXTime {
- getPOSIXTime ∷ Integer
}
data POSIXTimeRange
pattern POSIXTimeRange ∷ Maybe POSIXTime → Maybe POSIXTime → POSIXTimeRange
matchPOSIXTimeRange ∷ ∀ r. POSIXTimeRange → (Maybe POSIXTime → Maybe POSIXTime → r) → r
fromInclusive ∷ POSIXTimeRange → Maybe POSIXTime
untilExclusive ∷ POSIXTimeRange → Maybe 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.67.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)))

data POSIXTimeRange Source #

Instances

Instances details

Generic POSIXTimeRange Source #
Instance details Defined in PlutusLedgerApi.V4.Data.Time Associated Types type Rep POSIXTimeRange ∷ Type → Type Source # Methods from ∷ POSIXTimeRange → Rep POSIXTimeRange x Source # to ∷ Rep POSIXTimeRange x → POSIXTimeRange Source #
Show POSIXTimeRange Source #
Instance details Defined in PlutusLedgerApi.V4.Data.Time Methods showsPrec ∷ Int → POSIXTimeRange → ShowS Source # show ∷ POSIXTimeRange → String Source # showList ∷ [POSIXTimeRange] → ShowS Source #
NFData POSIXTimeRange Source #
Instance details Defined in PlutusLedgerApi.V4.Data.Time Methods rnf ∷ POSIXTimeRange → () Source #
Eq POSIXTimeRange Source #
Instance details Defined in PlutusLedgerApi.V4.Data.Time Methods (==) ∷ POSIXTimeRange → POSIXTimeRange → Bool Source # (/=) ∷ POSIXTimeRange → POSIXTimeRange → Bool Source #
HasBlueprintDefinition POSIXTimeRange Source #
Instance details Defined in PlutusLedgerApi.V4.Data.Time Associated Types type Unroll POSIXTimeRange ∷ [Type] Source # Methods definitionId ∷ DefinitionId Source #
Eq POSIXTimeRange Source #
Instance details Defined in PlutusLedgerApi.V4.Data.Time Methods (==) ∷ POSIXTimeRange → POSIXTimeRange → Bool Source #
FromData POSIXTimeRange Source #
Instance details Defined in PlutusLedgerApi.V4.Data.Time Methods fromBuiltinData ∷ BuiltinData → Maybe POSIXTimeRange Source #
ToData POSIXTimeRange Source #
Instance details Defined in PlutusLedgerApi.V4.Data.Time Methods toBuiltinData ∷ POSIXTimeRange → BuiltinData Source #
UnsafeFromData POSIXTimeRange Source #
Instance details Defined in PlutusLedgerApi.V4.Data.Time Methods unsafeFromBuiltinData ∷ BuiltinData → POSIXTimeRange Source #
Pretty POSIXTimeRange Source #
Instance details Defined in PlutusLedgerApi.V4.Data.Time Methods pretty ∷ POSIXTimeRange → Doc ann Source # prettyList ∷ [POSIXTimeRange] → Doc ann Source #
HasSchemaDefinition (Maybe POSIXTime) referencedTypes ⇒ HasBlueprintSchema POSIXTimeRange referencedTypes Source #
Instance details Defined in PlutusLedgerApi.V4.Data.Time Methods schema ∷ Schema referencedTypes Source #
Lift DefaultUni POSIXTimeRange Source #
Instance details Defined in PlutusLedgerApi.V4.Data.Time Methods lift ∷ POSIXTimeRange → RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni POSIXTimeRange Source #
Instance details Defined in PlutusLedgerApi.V4.Data.Time Methods typeRep ∷ Proxy POSIXTimeRange → RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep POSIXTimeRange Source #
Instance details Defined in PlutusLedgerApi.V4.Data.Time type Rep POSIXTimeRange = D1 ('MetaData "POSIXTimeRange" "PlutusLedgerApi.V4.Data.Time" "plutus-ledger-api-1.67.0.0-inplace" 'True) (C1 ('MetaCons "POSIXTimeRange_6989586621679881626" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))
type Unroll POSIXTimeRange Source #
Instance details Defined in PlutusLedgerApi.V4.Data.Time type Unroll POSIXTimeRange = Nub (POSIXTimeRange ': Unrolled (Maybe POSIXTime))

pattern POSIXTimeRange ∷ Maybe POSIXTime → Maybe POSIXTime → POSIXTimeRange Source #

matchPOSIXTimeRange ∷ ∀ r. POSIXTimeRange → (Maybe POSIXTime → Maybe POSIXTime → r) → r Source #

fromInclusive ∷ POSIXTimeRange → Maybe POSIXTime Source #

untilExclusive ∷ POSIXTimeRange → Maybe POSIXTime Source #