Moduleplutus-ledger-api-1.70.0.0

PlutusLedgerApi.V4.Data.Time

2 types
3 values

Packageplutus-ledger-api-1.70.0.0
Exports6
LicenceApache-2.0

patternpattern POSIXTimeRange :: Maybe POSIXTime -> Maybe POSIXTime -> POSIXTimeRange

valuefromInclusive :: POSIXTimeRange -> Maybe POSIXTime

valuematchPOSIXTimeRange

:: POSIXTimeRange
-> Maybe POSIXTime -> Maybe POSIXTime -> r
-> r

valueuntilExclusive :: POSIXTimeRange -> Maybe POSIXTime

newtypenewtype POSIXTime

Constructors

POSIXTime
- getPOSIXTime :: Integer

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

Enum POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
Eq POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
Integral POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
Num POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
Ord POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
Real POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
Show POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
Generic POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
NFData POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
Pretty POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
FromData POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
ToData POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
UnsafeFromData POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
HasBlueprintDefinition POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
Eq POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
Ord POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
Enum POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
AdditiveMonoid POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
AdditiveGroup POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
AdditiveSemigroup POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
Lift DefaultUni POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
HasBlueprintSchema POSIXTime referencedTypesDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
Typeable DefaultUni POSIXTimeDefined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time
type Rep POSIXTime = D1 ('MetaData "POSIXTime" "PlutusLedgerApi.V1.Data.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.Data.Time
type Unroll POSIXTime = Insert POSIXTime (GUnroll (IfStuckRep (RepIsStuckError POSIXTime) (Rep POSIXTime)))Defined in plutus-ledger-api-1.70.0.0 · PlutusLedgerApi.V1.Data.Time

newtypenewtype POSIXTimeRange

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

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