Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Slotting.Time

Contents

System time
Relative time
Nominal diff time
Slot length
- Conversions
- opaque

Synopsis

newtype SystemStart = SystemStart {
- getSystemStart ∷ UTCTime
}
newtype RelativeTime = RelativeTime {
- getRelativeTime ∷ NominalDiffTime
}
addRelativeTime ∷ NominalDiffTime → RelativeTime → RelativeTime
diffRelativeTime ∷ RelativeTime → RelativeTime → NominalDiffTime
fromRelativeTime ∷ SystemStart → RelativeTime → UTCTime
multRelativeTime ∷ Integral f ⇒ RelativeTime → f → RelativeTime
toRelativeTime ∷ SystemStart → UTCTime → RelativeTime
multNominalDiffTime ∷ Integral f ⇒ NominalDiffTime → f → NominalDiffTime
getSlotLength ∷ SlotLength → NominalDiffTime
mkSlotLength ∷ NominalDiffTime → SlotLength
slotLengthFromMillisec ∷ Integer → SlotLength
slotLengthFromSec ∷ Integer → SlotLength
slotLengthToMillisec ∷ SlotLength → Integer
slotLengthToSec ∷ SlotLength → Integer
data SlotLength

System time

newtype SystemStart Source #

System start

Slots are counted from the system start.

Constructors

SystemStart
Fields getSystemStart ∷ UTCTime

Instances

Instances details

FromJSON SystemStart Source #
Instance details Defined in Cardano.Slotting.Time Methods parseJSON ∷ Value → Parser SystemStart Source # parseJSONList ∷ Value → Parser [SystemStart] Source # omittedField ∷ Maybe SystemStart Source #
ToJSON SystemStart Source #
Instance details Defined in Cardano.Slotting.Time Methods toJSON ∷ SystemStart → Value Source # toEncoding ∷ SystemStart → Encoding Source # toJSONList ∷ [SystemStart] → Value Source # toEncodingList ∷ [SystemStart] → Encoding Source # omitField ∷ SystemStart → Bool Source #
Generic SystemStart Source #
Instance details Defined in Cardano.Slotting.Time Associated Types type Rep SystemStart ∷ Type → Type Source # Methods from ∷ SystemStart → Rep SystemStart x Source # to ∷ Rep SystemStart x → SystemStart Source #
Show SystemStart Source #
Instance details Defined in Cardano.Slotting.Time Methods showsPrec ∷ Int → SystemStart → ShowS Source # show ∷ SystemStart → String Source # showList ∷ [SystemStart] → ShowS Source #
FromCBOR SystemStart Source #
Instance details Defined in Cardano.Slotting.Time Methods fromCBOR ∷ Decoder s SystemStart Source # label ∷ Proxy SystemStart → Text Source #
ToCBOR SystemStart Source #
Instance details Defined in Cardano.Slotting.Time Methods toCBOR ∷ SystemStart → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SystemStart → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SystemStart] → Size Source #
Eq SystemStart Source #
Instance details Defined in Cardano.Slotting.Time Methods (==) ∷ SystemStart → SystemStart → Bool Source # (/=) ∷ SystemStart → SystemStart → Bool Source #
NoThunks SystemStart Source #
Instance details Defined in Cardano.Slotting.Time Methods noThunks ∷ Context → SystemStart → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SystemStart → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SystemStart → String Source #
Serialise SystemStart Source #
Instance details Defined in Cardano.Slotting.Time Methods encode ∷ SystemStart → Encoding Source # decode ∷ Decoder s SystemStart Source # encodeList ∷ [SystemStart] → Encoding Source # decodeList ∷ Decoder s [SystemStart] Source #
type Rep SystemStart Source #
Instance details Defined in Cardano.Slotting.Time type Rep SystemStart = D1 ('MetaData "SystemStart" "Cardano.Slotting.Time" "cardano-slotting-0.2.0.0-inplace" 'True) (C1 ('MetaCons "SystemStart" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSystemStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UTCTime)))

Relative time

newtype RelativeTime Source #

RelativeTime is time relative to the SystemStart

Precision is in picoseconds

Constructors

RelativeTime
Fields getRelativeTime ∷ NominalDiffTime

Instances

Instances details

FromJSON RelativeTime Source #
Instance details Defined in Cardano.Slotting.Time Methods parseJSON ∷ Value → Parser RelativeTime Source # parseJSONList ∷ Value → Parser [RelativeTime] Source # omittedField ∷ Maybe RelativeTime Source #
ToJSON RelativeTime Source #
Instance details Defined in Cardano.Slotting.Time Methods toJSON ∷ RelativeTime → Value Source # toEncoding ∷ RelativeTime → Encoding Source # toJSONList ∷ [RelativeTime] → Value Source # toEncodingList ∷ [RelativeTime] → Encoding Source # omitField ∷ RelativeTime → Bool Source #
Generic RelativeTime Source #
Instance details Defined in Cardano.Slotting.Time Associated Types type Rep RelativeTime ∷ Type → Type Source # Methods from ∷ RelativeTime → Rep RelativeTime x Source # to ∷ Rep RelativeTime x → RelativeTime Source #
Show RelativeTime Source #
Instance details Defined in Cardano.Slotting.Time Methods showsPrec ∷ Int → RelativeTime → ShowS Source # show ∷ RelativeTime → String Source # showList ∷ [RelativeTime] → ShowS Source #
FromCBOR RelativeTime Source #
Instance details Defined in Cardano.Slotting.Time Methods fromCBOR ∷ Decoder s RelativeTime Source # label ∷ Proxy RelativeTime → Text Source #
ToCBOR RelativeTime Source #
Instance details Defined in Cardano.Slotting.Time Methods toCBOR ∷ RelativeTime → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy RelativeTime → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [RelativeTime] → Size Source #
Eq RelativeTime Source #
Instance details Defined in Cardano.Slotting.Time Methods (==) ∷ RelativeTime → RelativeTime → Bool Source # (/=) ∷ RelativeTime → RelativeTime → Bool Source #
Ord RelativeTime Source #
Instance details Defined in Cardano.Slotting.Time Methods compare ∷ RelativeTime → RelativeTime → Ordering Source # (<) ∷ RelativeTime → RelativeTime → Bool Source # (<=) ∷ RelativeTime → RelativeTime → Bool Source # (>) ∷ RelativeTime → RelativeTime → Bool Source # (>=) ∷ RelativeTime → RelativeTime → Bool Source # max ∷ RelativeTime → RelativeTime → RelativeTime Source # min ∷ RelativeTime → RelativeTime → RelativeTime Source #
NoThunks RelativeTime Source #
Instance details Defined in Cardano.Slotting.Time Methods noThunks ∷ Context → RelativeTime → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → RelativeTime → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy RelativeTime → String Source #
Serialise RelativeTime Source #
Instance details Defined in Cardano.Slotting.Time Methods encode ∷ RelativeTime → Encoding Source # decode ∷ Decoder s RelativeTime Source # encodeList ∷ [RelativeTime] → Encoding Source # decodeList ∷ Decoder s [RelativeTime] Source #
type Rep RelativeTime Source #
Instance details Defined in Cardano.Slotting.Time type Rep RelativeTime = D1 ('MetaData "RelativeTime" "Cardano.Slotting.Time" "cardano-slotting-0.2.0.0-inplace" 'True) (C1 ('MetaCons "RelativeTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "getRelativeTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NominalDiffTime)))

addRelativeTime ∷ NominalDiffTime → RelativeTime → RelativeTime Source #

diffRelativeTime ∷ RelativeTime → RelativeTime → NominalDiffTime Source #

fromRelativeTime ∷ SystemStart → RelativeTime → UTCTime Source #

multRelativeTime ∷ Integral f ⇒ RelativeTime → f → RelativeTime Source #

toRelativeTime ∷ SystemStart → UTCTime → RelativeTime Source #

Nominal diff time

multNominalDiffTime ∷ Integral f ⇒ NominalDiffTime → f → NominalDiffTime Source #

Slot length

getSlotLength ∷ SlotLength → NominalDiffTime Source #

mkSlotLength ∷ NominalDiffTime → SlotLength Source #

Constructor for SlotLength

Conversions

slotLengthFromMillisec ∷ Integer → SlotLength Source #

slotLengthFromSec ∷ Integer → SlotLength Source #

slotLengthToMillisec ∷ SlotLength → Integer Source #

slotLengthToSec ∷ SlotLength → Integer Source #

opaque

data SlotLength Source #

Slot length

Precision is in milliseconds

Instances

Instances details

Generic SlotLength Source #
Instance details Defined in Cardano.Slotting.Time Associated Types type Rep SlotLength ∷ Type → Type Source # Methods from ∷ SlotLength → Rep SlotLength x Source # to ∷ Rep SlotLength x → SlotLength Source #
Show SlotLength Source #
Instance details Defined in Cardano.Slotting.Time Methods showsPrec ∷ Int → SlotLength → ShowS Source # show ∷ SlotLength → String Source # showList ∷ [SlotLength] → ShowS Source #
FromCBOR SlotLength Source #
Instance details Defined in Cardano.Slotting.Time Methods fromCBOR ∷ Decoder s SlotLength Source # label ∷ Proxy SlotLength → Text Source #
ToCBOR SlotLength Source #
Instance details Defined in Cardano.Slotting.Time Methods toCBOR ∷ SlotLength → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SlotLength → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SlotLength] → Size Source #
Eq SlotLength Source #
Instance details Defined in Cardano.Slotting.Time Methods (==) ∷ SlotLength → SlotLength → Bool Source # (/=) ∷ SlotLength → SlotLength → Bool Source #
NoThunks SlotLength Source #
Instance details Defined in Cardano.Slotting.Time Methods noThunks ∷ Context → SlotLength → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SlotLength → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SlotLength → String Source #
Serialise SlotLength Source #
Instance details Defined in Cardano.Slotting.Time Methods encode ∷ SlotLength → Encoding Source # decode ∷ Decoder s SlotLength Source # encodeList ∷ [SlotLength] → Encoding Source # decodeList ∷ Decoder s [SlotLength] Source #
type Rep SlotLength Source #
Instance details Defined in Cardano.Slotting.Time type Rep SlotLength = D1 ('MetaData "SlotLength" "Cardano.Slotting.Time" "cardano-slotting-0.2.0.0-inplace" 'True) (C1 ('MetaCons "SlotLength" 'PrefixI 'True) (S1 ('MetaSel ('Just "getSlotLength") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NominalDiffTime)))