Moduleplutus-ledger-api-1.70.0.0

PlutusLedgerApi.V1.Data.Time

3 types
1 value

Packageplutus-ledger-api-1.70.0.0
Exports4
LicenceApache-2.0

valuefromMilliSeconds :: DiffMilliSeconds -> POSIXTime

newtypenewtype DiffMilliSeconds

Constructors

DiffMilliSeconds Integer

Instances23Enum, Integral, Num, Real, Show, Generic, …

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

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

typetype POSIXTimeRange = Interval POSIXTime