cardano-ledger-byron-1.0.1.0: The blockchain layer of Cardano during the Byron era
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Chain.Slotting.EpochAndSlotCount

Synopsis

Documentation

data EpochAndSlotCount Source #

EpochAndSlotCount identifies a slot by its EpochNumber and the number of slots into the epoch that it sits

Constructors

EpochAndSlotCount 

Fields

Instances

Instances details
Generic EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Associated Types

type Rep EpochAndSlotCount ∷ Type → Type Source #

Methods

from ∷ EpochAndSlotCount → Rep EpochAndSlotCount x Source #

to ∷ Rep EpochAndSlotCount x → EpochAndSlotCount Source #

Show EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Methods

showsPrec ∷ Int → EpochAndSlotCount → ShowS Source #

show ∷ EpochAndSlotCount → String Source #

showList ∷ [EpochAndSlotCount] → ShowS Source #

FromCBOR EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Methods

fromCBOR ∷ Decoder s EpochAndSlotCount Source #

label ∷ Proxy EpochAndSlotCount → Text Source #

ToCBOR EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Methods

toCBOR ∷ EpochAndSlotCount → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy EpochAndSlotCount → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [EpochAndSlotCount] → Size Source #

DecCBOR EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Methods

decCBOR ∷ Decoder s EpochAndSlotCount Source #

dropCBOR ∷ Proxy EpochAndSlotCount → Decoder s () Source #

label ∷ Proxy EpochAndSlotCount → Text Source #

EncCBOR EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Methods

encCBOR ∷ EpochAndSlotCount → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy EpochAndSlotCount → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [EpochAndSlotCount] → Size Source #

NFData EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Methods

rnf ∷ EpochAndSlotCount → () Source #

Buildable EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Methods

build ∷ EpochAndSlotCount → Builder Source #

Eq EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Methods

(==) ∷ EpochAndSlotCount → EpochAndSlotCount → Bool Source #

(/=) ∷ EpochAndSlotCount → EpochAndSlotCount → Bool Source #

Ord EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Methods

compare ∷ EpochAndSlotCount → EpochAndSlotCount → Ordering Source #

(<) ∷ EpochAndSlotCount → EpochAndSlotCount → Bool Source #

(<=) ∷ EpochAndSlotCount → EpochAndSlotCount → Bool Source #

(>) ∷ EpochAndSlotCount → EpochAndSlotCount → Bool Source #

(>=) ∷ EpochAndSlotCount → EpochAndSlotCount → Bool Source #

max ∷ EpochAndSlotCount → EpochAndSlotCount → EpochAndSlotCount Source #

min ∷ EpochAndSlotCount → EpochAndSlotCount → EpochAndSlotCount Source #

type Rep EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

type Rep EpochAndSlotCount = D1 ('MetaData "EpochAndSlotCount" "Cardano.Chain.Slotting.EpochAndSlotCount" "cardano-ledger-byron-1.0.1.0-inplace" 'False) (C1 ('MetaCons "EpochAndSlotCount" 'PrefixI 'True) (S1 ('MetaSel ('Just "epochNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 EpochNumber) :*: S1 ('MetaSel ('Just "slotCount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotCount)))

toSlotNumber ∷ EpochSlots → EpochAndSlotCount → SlotNumber Source #

Flatten EpochAndSlotCount into a single absolute SlotNumber

fromSlotNumber ∷ EpochSlots → SlotNumber → EpochAndSlotCount Source #

Construct a EpochAndSlotCount from a SlotNumber, using a given EpochSlots

slotNumberEpoch ∷ EpochSlots → SlotNumber → EpochNumber Source #