PlutusLedgerApi.V4.Time · plutus-ledger-api-1.70.0.0

newtypenewtype POSIXTime

Constructors

POSIXTime
- getPOSIXTime :: Integer

Instances25Integral, Num, Real, Show, Generic, NFData, …

Enum POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
Eq POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
Integral POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
Num POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
Ord POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
Real POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
Show POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
Generic POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
NFData POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
Pretty POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
FromData POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
ToData POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
UnsafeFromData POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
HasBlueprintDefinition POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
Eq POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
Ord POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
Enum POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
AdditiveMonoid POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
AdditiveGroup POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
AdditiveSemigroup POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
Lift DefaultUni POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
HasBlueprintSchema POSIXTime referencedTypesDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
Typeable DefaultUni POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
type Rep POSIXTime = D1 ('MetaData "POSIXTime" "PlutusLedgerApi.V1.Time" "plutus-ledger-api-1.70.0.0-2kzbRKFI5dn6ejDVdmogkH" 'True) (C1 ('MetaCons "POSIXTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPOSIXTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time
type Unroll POSIXTime = Insert POSIXTime (GUnroll (IfStuckRep (RepIsStuckError POSIXTime) (Rep POSIXTime)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Time

datadata POSIXTimeRange

Constructors

POSIXTimeRange
- fromInclusive :: Maybe POSIXTime
- untilExclusive :: Maybe POSIXTime

Instances15Show, Generic, NFData, Pretty, FromData, ToData, …

Eq POSIXTimeRangeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Time
Show POSIXTimeRangeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Time
Generic POSIXTimeRangeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Time
NFData POSIXTimeRangeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Time
Pretty POSIXTimeRangeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Time
FromData POSIXTimeRangeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Time
ToData POSIXTimeRangeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Time
UnsafeFromData POSIXTimeRangeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Time
HasBlueprintDefinition POSIXTimeRangeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Time
Eq POSIXTimeRangeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Time
Lift DefaultUni POSIXTimeRangeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Time
HasSchemaDefinition (Maybe POSIXTime) referencedTypes => HasBlueprintSchema POSIXTimeRange referencedTypesDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Time
Typeable DefaultUni POSIXTimeRangeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Time
type Rep POSIXTimeRange = D1 ('MetaData "POSIXTimeRange" "PlutusLedgerApi.V4.Time" "plutus-ledger-api-1.70.0.0-2kzbRKFI5dn6ejDVdmogkH" 'False) (C1 ('MetaCons "POSIXTimeRange" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromInclusive") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe POSIXTime)) :*: S1 ('MetaSel ('Just "untilExclusive") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe POSIXTime))))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Time
type Unroll POSIXTimeRange = Insert POSIXTimeRange (GUnroll (IfStuckRep (RepIsStuckError POSIXTimeRange) (Rep POSIXTimeRange)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V4.Time