Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Slotting.SlotNumber

Synopsis

newtype SlotNumber = SlotNumber {
- unSlotNumber ∷ Word64
}
addSlotCount ∷ SlotCount → SlotNumber → SlotNumber
subSlotCount ∷ SlotCount → SlotNumber → SlotNumber

Documentation

newtype SlotNumber Source #

SlotNumber is an absolute slot number from the beginning of time

SlotNumber is held in a Word64. Assuming a slot every 20 seconds, Word64 is sufficient for slot indices for 10^13 years.

Constructors

SlotNumber
Fields unSlotNumber ∷ Word64

Instances

Instances details

ToJSON SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods toJSON ∷ SlotNumber → Value Source # toEncoding ∷ SlotNumber → Encoding Source # toJSONList ∷ [SlotNumber] → Value Source # toEncodingList ∷ [SlotNumber] → Encoding Source # omitField ∷ SlotNumber → Bool Source #
Generic SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Associated Types type Rep SlotNumber ∷ Type → Type Source # Methods from ∷ SlotNumber → Rep SlotNumber x Source # to ∷ Rep SlotNumber x → SlotNumber Source #
Num SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods (+) ∷ SlotNumber → SlotNumber → SlotNumber Source # (-) ∷ SlotNumber → SlotNumber → SlotNumber Source # (*) ∷ SlotNumber → SlotNumber → SlotNumber Source # negate ∷ SlotNumber → SlotNumber Source # abs ∷ SlotNumber → SlotNumber Source # signum ∷ SlotNumber → SlotNumber Source # fromInteger ∷ Integer → SlotNumber Source #
Show SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods showsPrec ∷ Int → SlotNumber → ShowS Source # show ∷ SlotNumber → String Source # showList ∷ [SlotNumber] → ShowS Source #
FromCBOR SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods fromCBOR ∷ Decoder s SlotNumber Source # label ∷ Proxy SlotNumber → Text Source #
ToCBOR SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods toCBOR ∷ SlotNumber → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SlotNumber → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SlotNumber] → Size Source #
DecCBOR SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods decCBOR ∷ Decoder s SlotNumber Source # dropCBOR ∷ Proxy SlotNumber → Decoder s () Source # label ∷ Proxy SlotNumber → Text Source #
EncCBOR SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods encCBOR ∷ SlotNumber → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy SlotNumber → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SlotNumber] → Size Source #
NFData SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods rnf ∷ SlotNumber → () Source #
Buildable SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods build ∷ SlotNumber → Builder Source #
Eq SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods (==) ∷ SlotNumber → SlotNumber → Bool Source # (/=) ∷ SlotNumber → SlotNumber → Bool Source #
Ord SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods compare ∷ SlotNumber → SlotNumber → Ordering Source # (<) ∷ SlotNumber → SlotNumber → Bool Source # (<=) ∷ SlotNumber → SlotNumber → Bool Source # (>) ∷ SlotNumber → SlotNumber → Bool Source # (>=) ∷ SlotNumber → SlotNumber → Bool Source # max ∷ SlotNumber → SlotNumber → SlotNumber Source # min ∷ SlotNumber → SlotNumber → SlotNumber Source #
NoThunks SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods noThunks ∷ Context → SlotNumber → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SlotNumber → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SlotNumber → String Source #
MonadError SchemaError m ⇒ FromJSON m SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods fromJSON ∷ JSValue → m SlotNumber Source #
Monad m ⇒ ToJSON m SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods toJSON ∷ SlotNumber → m JSValue Source #
type Rep SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber type Rep SlotNumber = D1 ('MetaData "SlotNumber" "Cardano.Chain.Slotting.SlotNumber" "cardano-ledger-byron-1.0.1.0-inplace" 'True) (C1 ('MetaCons "SlotNumber" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

addSlotCount ∷ SlotCount → SlotNumber → SlotNumber Source #

Increase a SlotNumber by SlotCount

subSlotCount ∷ SlotCount → SlotNumber → SlotNumber Source #

Deprecated: this function is dangerous and can usually be replaced by addSlotCount

Decrease a SlotNumber by SlotCount, going no lower than 0