Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Slot

Synopsis

newtype SlotNo = SlotNo {
- unSlotNo ∷ Word64
}
getTheSlotOfNoReturn ∷ HasCallStack ⇒ SlotNo → ShelleyBase (EpochNo, SlotNo, EpochNo)
newtype Duration = Duration {
- unDuration ∷ Word64
}
(-*) ∷ SlotNo → SlotNo → Duration
(+*) ∷ SlotNo → Duration → SlotNo
(*-) ∷ SlotNo → Duration → SlotNo
newtype EpochNo = EpochNo {
- unEpochNo ∷ Word64
}
newtype EpochSize = EpochSize {
- unEpochSize ∷ Word64
}
data EpochInfo (m ∷ TYPE LiftedRep → Type)
newtype BlockNo = BlockNo {
- unBlockNo ∷ Word64
}
epochFromSlot ∷ SlotNo → Reader Globals EpochNo
epochInfoEpoch ∷ HasCallStack ⇒ EpochInfo Identity → SlotNo → EpochNo
epochInfoFirst ∷ HasCallStack ⇒ EpochInfo Identity → EpochNo → SlotNo
epochInfoSize ∷ HasCallStack ⇒ EpochInfo Identity → EpochNo → EpochSize

Documentation

newtype SlotNo Source #

The 0-based index for the Ourboros time slot.

Constructors

SlotNo
Fields unSlotNo ∷ Word64

Instances

Instances details

FromJSON SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON ∷ Value → Parser SlotNo Source # parseJSONList ∷ Value → Parser [SlotNo] Source # omittedField ∷ Maybe SlotNo Source #
ToJSON SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods toJSON ∷ SlotNo → Value Source # toEncoding ∷ SlotNo → Encoding Source # toJSONList ∷ [SlotNo] → Value Source # toEncodingList ∷ [SlotNo] → Encoding Source # omitField ∷ SlotNo → Bool Source #
Bounded SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods minBound ∷ SlotNo # maxBound ∷ SlotNo #
Enum SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods succ ∷ SlotNo → SlotNo # pred ∷ SlotNo → SlotNo # toEnum ∷ Int → SlotNo # fromEnum ∷ SlotNo → Int # enumFrom ∷ SlotNo → [SlotNo] # enumFromThen ∷ SlotNo → SlotNo → [SlotNo] # enumFromTo ∷ SlotNo → SlotNo → [SlotNo] # enumFromThenTo ∷ SlotNo → SlotNo → SlotNo → [SlotNo] #
Generic SlotNo
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep SlotNo ∷ Type → Type # Methods from ∷ SlotNo → Rep SlotNo x # to ∷ Rep SlotNo x → SlotNo #
Num SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods (+) ∷ SlotNo → SlotNo → SlotNo # (-) ∷ SlotNo → SlotNo → SlotNo # (*) ∷ SlotNo → SlotNo → SlotNo # negate ∷ SlotNo → SlotNo # abs ∷ SlotNo → SlotNo # signum ∷ SlotNo → SlotNo # fromInteger ∷ Integer → SlotNo #
Show SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → SlotNo → ShowS # show ∷ SlotNo → String # showList ∷ [SlotNo] → ShowS #
FromCBOR SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s SlotNo Source # label ∷ Proxy SlotNo → Text Source #
ToCBOR SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ SlotNo → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SlotNo → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SlotNo] → Size Source #
DecCBOR SlotNo
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s SlotNo Source # dropCBOR ∷ Proxy SlotNo → Decoder s () Source # label ∷ Proxy SlotNo → Text Source #
EncCBOR SlotNo
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ SlotNo → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy SlotNo → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SlotNo] → Size Source #
NFData SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods rnf ∷ SlotNo → () #
Eq SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ SlotNo → SlotNo → Bool # (/=) ∷ SlotNo → SlotNo → Bool #
Ord SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ SlotNo → SlotNo → Ordering # (<) ∷ SlotNo → SlotNo → Bool # (<=) ∷ SlotNo → SlotNo → Bool # (>) ∷ SlotNo → SlotNo → Bool # (>=) ∷ SlotNo → SlotNo → Bool # max ∷ SlotNo → SlotNo → SlotNo # min ∷ SlotNo → SlotNo → SlotNo #
NoThunks SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → SlotNo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → SlotNo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy SlotNo → String Source #
Serialise SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods encode ∷ SlotNo → Encoding Source # decode ∷ Decoder s SlotNo Source # encodeList ∷ [SlotNo] → Encoding Source # decodeList ∷ Decoder s [SlotNo] Source #
type Rep SlotNo
Instance details Defined in Cardano.Slotting.Slot type Rep SlotNo = D1 ('MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-4dc0085b2dcaf395960acff0c4fce29dfb45e68c3d685013ce6bc77613efa68b" 'True) (C1 ('MetaCons "SlotNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

getTheSlotOfNoReturn ∷ HasCallStack ⇒ SlotNo → ShelleyBase (EpochNo, SlotNo, EpochNo) Source #

Figure out a slot number that is two stability windows before the end of the next epoch. Together with the slot number we also return the current epoch number and the next epoch number.

The reason why it is called the point of no return, is because that is the point when HardForkCombinator (HFC) initiates a controlled hard fork, if there is a major protocol version update that forks into a new era.

newtype Duration Source #

Constructors

Duration
Fields unDuration ∷ Word64

Instances

Instances details

Monoid Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods mempty ∷ Duration # mappend ∷ Duration → Duration → Duration # mconcat ∷ [Duration] → Duration #
Semigroup Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods (<>) ∷ Duration → Duration → Duration # sconcat ∷ NonEmpty Duration → Duration # stimes ∷ Integral b ⇒ b → Duration → Duration #
Enum Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods succ ∷ Duration → Duration # pred ∷ Duration → Duration # toEnum ∷ Int → Duration # fromEnum ∷ Duration → Int # enumFrom ∷ Duration → [Duration] # enumFromThen ∷ Duration → Duration → [Duration] # enumFromTo ∷ Duration → Duration → [Duration] # enumFromThenTo ∷ Duration → Duration → Duration → [Duration] #
Generic Duration Source #
Instance details Defined in Cardano.Ledger.Slot Associated Types type Rep Duration ∷ Type → Type # Methods from ∷ Duration → Rep Duration x # to ∷ Rep Duration x → Duration #
Num Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods (+) ∷ Duration → Duration → Duration # (-) ∷ Duration → Duration → Duration # (*) ∷ Duration → Duration → Duration # negate ∷ Duration → Duration # abs ∷ Duration → Duration # signum ∷ Duration → Duration # fromInteger ∷ Integer → Duration #
Integral Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods quot ∷ Duration → Duration → Duration # rem ∷ Duration → Duration → Duration # div ∷ Duration → Duration → Duration # mod ∷ Duration → Duration → Duration # quotRem ∷ Duration → Duration → (Duration, Duration) # divMod ∷ Duration → Duration → (Duration, Duration) # toInteger ∷ Duration → Integer #
Real Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods toRational ∷ Duration → Rational #
Show Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods showsPrec ∷ Int → Duration → ShowS # show ∷ Duration → String # showList ∷ [Duration] → ShowS #
Eq Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods (==) ∷ Duration → Duration → Bool # (/=) ∷ Duration → Duration → Bool #
Ord Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods compare ∷ Duration → Duration → Ordering # (<) ∷ Duration → Duration → Bool # (<=) ∷ Duration → Duration → Bool # (>) ∷ Duration → Duration → Bool # (>=) ∷ Duration → Duration → Bool # max ∷ Duration → Duration → Duration # min ∷ Duration → Duration → Duration #
NoThunks Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods noThunks ∷ Context → Duration → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Duration → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Duration → String Source #
type Rep Duration Source #
Instance details Defined in Cardano.Ledger.Slot type Rep Duration = D1 ('MetaData "Duration" "Cardano.Ledger.Slot" "cardano-ledger-core-1.17.0.0-inplace" 'True) (C1 ('MetaCons "Duration" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDuration") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

(-*) ∷ SlotNo → SlotNo → Duration Source #

(+*) ∷ SlotNo → Duration → SlotNo Source #

(*-) ∷ SlotNo → Duration → SlotNo Source #

Subtract a duration from a slot

newtype EpochNo Source #

An epoch, i.e. the number of the epoch.

Constructors

EpochNo
Fields unEpochNo ∷ Word64

Instances

Instances details

FromJSON EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON ∷ Value → Parser EpochNo Source # parseJSONList ∷ Value → Parser [EpochNo] Source # omittedField ∷ Maybe EpochNo Source #
ToJSON EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods toJSON ∷ EpochNo → Value Source # toEncoding ∷ EpochNo → Encoding Source # toJSONList ∷ [EpochNo] → Value Source # toEncodingList ∷ [EpochNo] → Encoding Source # omitField ∷ EpochNo → Bool Source #
Enum EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods succ ∷ EpochNo → EpochNo # pred ∷ EpochNo → EpochNo # toEnum ∷ Int → EpochNo # fromEnum ∷ EpochNo → Int # enumFrom ∷ EpochNo → [EpochNo] # enumFromThen ∷ EpochNo → EpochNo → [EpochNo] # enumFromTo ∷ EpochNo → EpochNo → [EpochNo] # enumFromThenTo ∷ EpochNo → EpochNo → EpochNo → [EpochNo] #
Generic EpochNo
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochNo ∷ Type → Type # Methods from ∷ EpochNo → Rep EpochNo x # to ∷ Rep EpochNo x → EpochNo #
Show EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → EpochNo → ShowS # show ∷ EpochNo → String # showList ∷ [EpochNo] → ShowS #
FromCBOR EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s EpochNo Source # label ∷ Proxy EpochNo → Text Source #
ToCBOR EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ EpochNo → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy EpochNo → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EpochNo] → Size Source #
DecCBOR EpochNo
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s EpochNo Source # dropCBOR ∷ Proxy EpochNo → Decoder s () Source # label ∷ Proxy EpochNo → Text Source #
EncCBOR EpochNo
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ EpochNo → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy EpochNo → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [EpochNo] → Size Source #
NFData EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods rnf ∷ EpochNo → () #
Eq EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ EpochNo → EpochNo → Bool # (/=) ∷ EpochNo → EpochNo → Bool #
Ord EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ EpochNo → EpochNo → Ordering # (<) ∷ EpochNo → EpochNo → Bool # (<=) ∷ EpochNo → EpochNo → Bool # (>) ∷ EpochNo → EpochNo → Bool # (>=) ∷ EpochNo → EpochNo → Bool # max ∷ EpochNo → EpochNo → EpochNo # min ∷ EpochNo → EpochNo → EpochNo #
NoThunks EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → EpochNo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EpochNo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EpochNo → String Source #
Serialise EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods encode ∷ EpochNo → Encoding Source # decode ∷ Decoder s EpochNo Source # encodeList ∷ [EpochNo] → Encoding Source # decodeList ∷ Decoder s [EpochNo] Source #
type Rep EpochNo
Instance details Defined in Cardano.Slotting.Slot type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-4dc0085b2dcaf395960acff0c4fce29dfb45e68c3d685013ce6bc77613efa68b" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype EpochSize Source #

Constructors

EpochSize
Fields unEpochSize ∷ Word64

Instances

Instances details

FromJSON EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON ∷ Value → Parser EpochSize Source # parseJSONList ∷ Value → Parser [EpochSize] Source # omittedField ∷ Maybe EpochSize Source #
ToJSON EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods toJSON ∷ EpochSize → Value Source # toEncoding ∷ EpochSize → Encoding Source # toJSONList ∷ [EpochSize] → Value Source # toEncodingList ∷ [EpochSize] → Encoding Source # omitField ∷ EpochSize → Bool Source #
Enum EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods succ ∷ EpochSize → EpochSize # pred ∷ EpochSize → EpochSize # toEnum ∷ Int → EpochSize # fromEnum ∷ EpochSize → Int # enumFrom ∷ EpochSize → [EpochSize] # enumFromThen ∷ EpochSize → EpochSize → [EpochSize] # enumFromTo ∷ EpochSize → EpochSize → [EpochSize] # enumFromThenTo ∷ EpochSize → EpochSize → EpochSize → [EpochSize] #
Generic EpochSize
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochSize ∷ Type → Type # Methods from ∷ EpochSize → Rep EpochSize x # to ∷ Rep EpochSize x → EpochSize #
Show EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec ∷ Int → EpochSize → ShowS # show ∷ EpochSize → String # showList ∷ [EpochSize] → ShowS #
FromCBOR EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR ∷ Decoder s EpochSize Source # label ∷ Proxy EpochSize → Text Source #
ToCBOR EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR ∷ EpochSize → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy EpochSize → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EpochSize] → Size Source #
DecCBOR EpochSize
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s EpochSize Source # dropCBOR ∷ Proxy EpochSize → Decoder s () Source # label ∷ Proxy EpochSize → Text Source #
EncCBOR EpochSize
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ EpochSize → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy EpochSize → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [EpochSize] → Size Source #
NFData EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods rnf ∷ EpochSize → () #
Eq EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods (==) ∷ EpochSize → EpochSize → Bool # (/=) ∷ EpochSize → EpochSize → Bool #
Ord EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods compare ∷ EpochSize → EpochSize → Ordering # (<) ∷ EpochSize → EpochSize → Bool # (<=) ∷ EpochSize → EpochSize → Bool # (>) ∷ EpochSize → EpochSize → Bool # (>=) ∷ EpochSize → EpochSize → Bool # max ∷ EpochSize → EpochSize → EpochSize # min ∷ EpochSize → EpochSize → EpochSize #
NoThunks EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods noThunks ∷ Context → EpochSize → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EpochSize → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy EpochSize → String Source #
type Rep EpochSize
Instance details Defined in Cardano.Slotting.Slot type Rep EpochSize = D1 ('MetaData "EpochSize" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-4dc0085b2dcaf395960acff0c4fce29dfb45e68c3d685013ce6bc77613efa68b" 'True) (C1 ('MetaCons "EpochSize" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data EpochInfo (m ∷ TYPE LiftedRep → Type) Source #

Information about epochs

Different epochs may have different sizes and different slot lengths. This information is encapsulated by EpochInfo. It is parameterized over a monad m because the information about how long each epoch is may depend on information derived from the blockchain itself. It ultimately requires acess to state, and so either uses the monad for that or uses the monad to reify failure due to cached state information being too stale for the current query.

Instances

Instances details

Show (EpochInfo f)	Unhelpful instance, but this type occurs in records (eg `Shelley.Globals`) that we want to be able to `show`
Instance details Defined in Cardano.Slotting.EpochInfo.API Methods showsPrec ∷ Int → EpochInfo f → ShowS # show ∷ EpochInfo f → String # showList ∷ [EpochInfo f] → ShowS #
NoThunks (EpochInfo m)
Instance details Defined in Cardano.Slotting.EpochInfo.API Methods noThunks ∷ Context → EpochInfo m → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → EpochInfo m → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (EpochInfo m) → String Source #

newtype BlockNo Source #

The 0-based index of the block in the blockchain. BlockNo is <= SlotNo and is only equal at slot N if there is a block for every slot where N <= SlotNo.

Constructors

BlockNo
Fields unBlockNo ∷ Word64

Instances

Instances details

FromJSON BlockNo
Instance details Defined in Cardano.Slotting.Block Methods parseJSON ∷ Value → Parser BlockNo Source # parseJSONList ∷ Value → Parser [BlockNo] Source # omittedField ∷ Maybe BlockNo Source #
ToJSON BlockNo
Instance details Defined in Cardano.Slotting.Block Methods toJSON ∷ BlockNo → Value Source # toEncoding ∷ BlockNo → Encoding Source # toJSONList ∷ [BlockNo] → Value Source # toEncodingList ∷ [BlockNo] → Encoding Source # omitField ∷ BlockNo → Bool Source #
Bounded BlockNo
Instance details Defined in Cardano.Slotting.Block Methods minBound ∷ BlockNo # maxBound ∷ BlockNo #
Enum BlockNo
Instance details Defined in Cardano.Slotting.Block Methods succ ∷ BlockNo → BlockNo # pred ∷ BlockNo → BlockNo # toEnum ∷ Int → BlockNo # fromEnum ∷ BlockNo → Int # enumFrom ∷ BlockNo → [BlockNo] # enumFromThen ∷ BlockNo → BlockNo → [BlockNo] # enumFromTo ∷ BlockNo → BlockNo → [BlockNo] # enumFromThenTo ∷ BlockNo → BlockNo → BlockNo → [BlockNo] #
Generic BlockNo
Instance details Defined in Cardano.Slotting.Block Associated Types type Rep BlockNo ∷ Type → Type # Methods from ∷ BlockNo → Rep BlockNo x # to ∷ Rep BlockNo x → BlockNo #
Num BlockNo
Instance details Defined in Cardano.Slotting.Block Methods (+) ∷ BlockNo → BlockNo → BlockNo # (-) ∷ BlockNo → BlockNo → BlockNo # (*) ∷ BlockNo → BlockNo → BlockNo # negate ∷ BlockNo → BlockNo # abs ∷ BlockNo → BlockNo # signum ∷ BlockNo → BlockNo # fromInteger ∷ Integer → BlockNo #
Show BlockNo
Instance details Defined in Cardano.Slotting.Block Methods showsPrec ∷ Int → BlockNo → ShowS # show ∷ BlockNo → String # showList ∷ [BlockNo] → ShowS #
FromCBOR BlockNo
Instance details Defined in Cardano.Slotting.Block Methods fromCBOR ∷ Decoder s BlockNo Source # label ∷ Proxy BlockNo → Text Source #
ToCBOR BlockNo
Instance details Defined in Cardano.Slotting.Block Methods toCBOR ∷ BlockNo → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy BlockNo → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [BlockNo] → Size Source #
DecCBOR BlockNo
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s BlockNo Source # dropCBOR ∷ Proxy BlockNo → Decoder s () Source # label ∷ Proxy BlockNo → Text Source #
EncCBOR BlockNo
Instance details Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR ∷ BlockNo → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy BlockNo → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [BlockNo] → Size Source #
NFData BlockNo
Instance details Defined in Cardano.Slotting.Block Methods rnf ∷ BlockNo → () #
Eq BlockNo
Instance details Defined in Cardano.Slotting.Block Methods (==) ∷ BlockNo → BlockNo → Bool # (/=) ∷ BlockNo → BlockNo → Bool #
Ord BlockNo
Instance details Defined in Cardano.Slotting.Block Methods compare ∷ BlockNo → BlockNo → Ordering # (<) ∷ BlockNo → BlockNo → Bool # (<=) ∷ BlockNo → BlockNo → Bool # (>) ∷ BlockNo → BlockNo → Bool # (>=) ∷ BlockNo → BlockNo → Bool # max ∷ BlockNo → BlockNo → BlockNo # min ∷ BlockNo → BlockNo → BlockNo #
NoThunks BlockNo
Instance details Defined in Cardano.Slotting.Block Methods noThunks ∷ Context → BlockNo → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → BlockNo → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy BlockNo → String Source #
Serialise BlockNo
Instance details Defined in Cardano.Slotting.Block Methods encode ∷ BlockNo → Encoding Source # decode ∷ Decoder s BlockNo Source # encodeList ∷ [BlockNo] → Encoding Source # decodeList ∷ Decoder s [BlockNo] Source #
type Rep BlockNo
Instance details Defined in Cardano.Slotting.Block type Rep BlockNo = D1 ('MetaData "BlockNo" "Cardano.Slotting.Block" "cardano-slotting-0.2.0.0-4dc0085b2dcaf395960acff0c4fce29dfb45e68c3d685013ce6bc77613efa68b" 'True) (C1 ('MetaCons "BlockNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBlockNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

epochFromSlot ∷ SlotNo → Reader Globals EpochNo Source #

epochInfoEpoch ∷ HasCallStack ⇒ EpochInfo Identity → SlotNo → EpochNo Source #

epochInfoFirst ∷ HasCallStack ⇒ EpochInfo Identity → EpochNo → SlotNo Source #

epochInfoSize ∷ HasCallStack ⇒ EpochInfo Identity → EpochNo → EpochSize Source #