cardano-ledger-byron-1.3.0.1: The blockchain layer of Cardano during the Byron era
Safe HaskellNone
LanguageHaskell2010

Cardano.Chain.Slotting

Synopsis

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

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 #

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 #

NFData SlotNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotNumber

Methods

rnf ∷ SlotNumber → () #

Buildable SlotNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotNumber

Methods

build ∷ SlotNumber → Builder Source #

Generic SlotNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotNumber

Associated Types

type Rep SlotNumber 
Instance details

Defined in Cardano.Chain.Slotting.SlotNumber

type Rep SlotNumber = D1 ('MetaData "SlotNumber" "Cardano.Chain.Slotting.SlotNumber" "cardano-ledger-byron-1.3.0.1-inplace" 'True) (C1 ('MetaCons "SlotNumber" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ SlotNumber → Rep SlotNumber x #

to ∷ Rep SlotNumber x → SlotNumber #

Num SlotNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotNumber

Methods

(+) ∷ SlotNumber → SlotNumber → SlotNumber #

(-) ∷ SlotNumber → SlotNumber → SlotNumber #

(*) ∷ SlotNumber → SlotNumber → SlotNumber #

negate ∷ SlotNumber → SlotNumber #

abs ∷ SlotNumber → SlotNumber #

signum ∷ SlotNumber → SlotNumber #

fromInteger ∷ Integer → SlotNumber #

Show SlotNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotNumber

Methods

showsPrec ∷ Int → SlotNumber → ShowS #

show ∷ SlotNumber → String #

showList ∷ [SlotNumber] → ShowS #

Eq SlotNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotNumber

Methods

(==) ∷ SlotNumber → SlotNumber → Bool #

(/=) ∷ SlotNumber → SlotNumber → Bool #

Ord SlotNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotNumber

Methods

compare ∷ SlotNumber → SlotNumber → Ordering #

(<) ∷ SlotNumber → SlotNumber → Bool #

(<=) ∷ SlotNumber → SlotNumber → Bool #

(>) ∷ SlotNumber → SlotNumber → Bool #

(>=) ∷ SlotNumber → SlotNumber → Bool #

max ∷ SlotNumber → SlotNumber → SlotNumber #

min ∷ SlotNumber → SlotNumber → SlotNumber #

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.3.0.1-inplace" 'True) (C1 ('MetaCons "SlotNumber" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype EpochNumber Source #

Index of epoch.

Constructors

EpochNumber 

Fields

Instances

Instances details
ToJSON EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

toJSON ∷ EpochNumber → Value Source #

toEncoding ∷ EpochNumber → Encoding Source #

toJSONList ∷ [EpochNumber] → Value Source #

toEncodingList ∷ [EpochNumber] → Encoding Source #

omitField ∷ EpochNumber → Bool Source #

FromCBOR EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

fromCBOR ∷ Decoder s EpochNumber Source #

label ∷ Proxy EpochNumber → Text Source #

ToCBOR EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

toCBOR ∷ EpochNumber → Encoding Source #

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

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

DecCBOR EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

decCBOR ∷ Decoder s EpochNumber Source #

dropCBOR ∷ Proxy EpochNumber → Decoder s () Source #

label ∷ Proxy EpochNumber → Text Source #

EncCBOR EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

encCBOR ∷ EpochNumber → Encoding Source #

NFData EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

rnf ∷ EpochNumber → () #

Buildable EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

build ∷ EpochNumber → Builder Source #

Data EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → EpochNumber → c EpochNumber #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c EpochNumber #

toConstr ∷ EpochNumber → Constr #

dataTypeOf ∷ EpochNumber → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c EpochNumber) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c EpochNumber) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → EpochNumber → EpochNumber #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → EpochNumber → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → EpochNumber → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → EpochNumber → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → EpochNumber → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → EpochNumber → m EpochNumber #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → EpochNumber → m EpochNumber #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → EpochNumber → m EpochNumber #

Bounded EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

minBound ∷ EpochNumber #

maxBound ∷ EpochNumber #

Enum EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

succ ∷ EpochNumber → EpochNumber #

pred ∷ EpochNumber → EpochNumber #

toEnum ∷ Int → EpochNumber #

fromEnum ∷ EpochNumber → Int #

enumFrom ∷ EpochNumber → [EpochNumber] #

enumFromThen ∷ EpochNumber → EpochNumber → [EpochNumber] #

enumFromTo ∷ EpochNumber → EpochNumber → [EpochNumber] #

enumFromThenTo ∷ EpochNumber → EpochNumber → EpochNumber → [EpochNumber] #

Generic EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Associated Types

type Rep EpochNumber 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

type Rep EpochNumber = D1 ('MetaData "EpochNumber" "Cardano.Chain.Slotting.EpochNumber" "cardano-ledger-byron-1.3.0.1-inplace" 'True) (C1 ('MetaCons "EpochNumber" 'PrefixI 'True) (S1 ('MetaSel ('Just "getEpochNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ EpochNumber → Rep EpochNumber x #

to ∷ Rep EpochNumber x → EpochNumber #

Ix EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

range ∷ (EpochNumber, EpochNumber) → [EpochNumber] #

index ∷ (EpochNumber, EpochNumber) → EpochNumber → Int #

unsafeIndex ∷ (EpochNumber, EpochNumber) → EpochNumber → Int #

inRange ∷ (EpochNumber, EpochNumber) → EpochNumber → Bool #

rangeSize ∷ (EpochNumber, EpochNumber) → Int #

unsafeRangeSize ∷ (EpochNumber, EpochNumber) → Int #

Num EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

(+) ∷ EpochNumber → EpochNumber → EpochNumber #

(-) ∷ EpochNumber → EpochNumber → EpochNumber #

(*) ∷ EpochNumber → EpochNumber → EpochNumber #

negate ∷ EpochNumber → EpochNumber #

abs ∷ EpochNumber → EpochNumber #

signum ∷ EpochNumber → EpochNumber #

fromInteger ∷ Integer → EpochNumber #

Integral EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

quot ∷ EpochNumber → EpochNumber → EpochNumber #

rem ∷ EpochNumber → EpochNumber → EpochNumber #

div ∷ EpochNumber → EpochNumber → EpochNumber #

mod ∷ EpochNumber → EpochNumber → EpochNumber #

quotRem ∷ EpochNumber → EpochNumber → (EpochNumber, EpochNumber) #

divMod ∷ EpochNumber → EpochNumber → (EpochNumber, EpochNumber) #

toInteger ∷ EpochNumber → Integer #

Real EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

toRational ∷ EpochNumber → Rational #

Show EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

showsPrec ∷ Int → EpochNumber → ShowS #

show ∷ EpochNumber → String #

showList ∷ [EpochNumber] → ShowS #

Eq EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

(==) ∷ EpochNumber → EpochNumber → Bool #

(/=) ∷ EpochNumber → EpochNumber → Bool #

Ord EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

compare ∷ EpochNumber → EpochNumber → Ordering #

(<) ∷ EpochNumber → EpochNumber → Bool #

(<=) ∷ EpochNumber → EpochNumber → Bool #

(>) ∷ EpochNumber → EpochNumber → Bool #

(>=) ∷ EpochNumber → EpochNumber → Bool #

max ∷ EpochNumber → EpochNumber → EpochNumber #

min ∷ EpochNumber → EpochNumber → EpochNumber #

NoThunks EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

noThunks ∷ Context → EpochNumber → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → EpochNumber → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy EpochNumber → String Source #

MonadError SchemaError m ⇒ FromJSON m EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

fromJSON ∷ JSValue → m EpochNumber Source #

Monad m ⇒ ToJSON m EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

Methods

toJSON ∷ EpochNumber → m JSValue Source #

type Rep EpochNumber Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochNumber

type Rep EpochNumber = D1 ('MetaData "EpochNumber" "Cardano.Chain.Slotting.EpochNumber" "cardano-ledger-byron-1.3.0.1-inplace" 'True) (C1 ('MetaCons "EpochNumber" 'PrefixI 'True) (S1 ('MetaSel ('Just "getEpochNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

addSlotCount ∷ SlotCount → SlotNumber → SlotNumber Source #

Increase a SlotNumber by SlotCount

newtype EpochSlots Source #

The number of slots per epoch.

Constructors

EpochSlots 

Fields

Instances

Instances details
FromCBOR EpochSlots Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

Methods

fromCBOR ∷ Decoder s EpochSlots Source #

label ∷ Proxy EpochSlots → Text Source #

ToCBOR EpochSlots Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

Methods

toCBOR ∷ EpochSlots → Encoding Source #

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

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

DecCBOR EpochSlots Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

Methods

decCBOR ∷ Decoder s EpochSlots Source #

dropCBOR ∷ Proxy EpochSlots → Decoder s () Source #

label ∷ Proxy EpochSlots → Text Source #

EncCBOR EpochSlots Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

Methods

encCBOR ∷ EpochSlots → Encoding Source #

Buildable EpochSlots Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

Methods

build ∷ EpochSlots → Builder Source #

Data EpochSlots Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → EpochSlots → c EpochSlots #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c EpochSlots #

toConstr ∷ EpochSlots → Constr #

dataTypeOf ∷ EpochSlots → DataType #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c EpochSlots) #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c EpochSlots) #

gmapT ∷ (∀ b. Data b ⇒ b → b) → EpochSlots → EpochSlots #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → EpochSlots → r #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → EpochSlots → r #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → EpochSlots → [u] #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → EpochSlots → u #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → EpochSlots → m EpochSlots #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → EpochSlots → m EpochSlots #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → EpochSlots → m EpochSlots #

Generic EpochSlots Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

Associated Types

type Rep EpochSlots 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

type Rep EpochSlots = D1 ('MetaData "EpochSlots" "Cardano.Chain.Slotting.EpochSlots" "cardano-ledger-byron-1.3.0.1-inplace" 'True) (C1 ('MetaCons "EpochSlots" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ EpochSlots → Rep EpochSlots x #

to ∷ Rep EpochSlots x → EpochSlots #

Read EpochSlots Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

Methods

readsPrec ∷ Int → ReadS EpochSlots #

readList ∷ ReadS [EpochSlots] #

readPrec ∷ ReadPrec EpochSlots #

readListPrec ∷ ReadPrec [EpochSlots] #

Show EpochSlots Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

Methods

showsPrec ∷ Int → EpochSlots → ShowS #

show ∷ EpochSlots → String #

showList ∷ [EpochSlots] → ShowS #

Eq EpochSlots Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

Methods

(==) ∷ EpochSlots → EpochSlots → Bool #

(/=) ∷ EpochSlots → EpochSlots → Bool #

Ord EpochSlots Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

Methods

compare ∷ EpochSlots → EpochSlots → Ordering #

(<) ∷ EpochSlots → EpochSlots → Bool #

(<=) ∷ EpochSlots → EpochSlots → Bool #

(>) ∷ EpochSlots → EpochSlots → Bool #

(>=) ∷ EpochSlots → EpochSlots → Bool #

max ∷ EpochSlots → EpochSlots → EpochSlots #

min ∷ EpochSlots → EpochSlots → EpochSlots #

NoThunks EpochSlots Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

Methods

noThunks ∷ Context → EpochSlots → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → EpochSlots → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy EpochSlots → String Source #

type Rep EpochSlots Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

type Rep EpochSlots = D1 ('MetaData "EpochSlots" "Cardano.Chain.Slotting.EpochSlots" "cardano-ledger-byron-1.3.0.1-inplace" 'True) (C1 ('MetaCons "EpochSlots" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

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
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 #

NFData EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Methods

rnf ∷ EpochAndSlotCount → () #

Buildable EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Methods

build ∷ EpochAndSlotCount → Builder Source #

Generic EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Associated Types

type Rep EpochAndSlotCount 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

type Rep EpochAndSlotCount = D1 ('MetaData "EpochAndSlotCount" "Cardano.Chain.Slotting.EpochAndSlotCount" "cardano-ledger-byron-1.3.0.1-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)))

Methods

from ∷ EpochAndSlotCount → Rep EpochAndSlotCount x #

to ∷ Rep EpochAndSlotCount x → EpochAndSlotCount #

Show EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Methods

showsPrec ∷ Int → EpochAndSlotCount → ShowS #

show ∷ EpochAndSlotCount → String #

showList ∷ [EpochAndSlotCount] → ShowS #

Eq EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Methods

(==) ∷ EpochAndSlotCount → EpochAndSlotCount → Bool #

(/=) ∷ EpochAndSlotCount → EpochAndSlotCount → Bool #

Ord EpochAndSlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochAndSlotCount

Methods

compare ∷ EpochAndSlotCount → EpochAndSlotCount → Ordering #

(<) ∷ EpochAndSlotCount → EpochAndSlotCount → Bool #

(<=) ∷ EpochAndSlotCount → EpochAndSlotCount → Bool #

(>) ∷ EpochAndSlotCount → EpochAndSlotCount → Bool #

(>=) ∷ EpochAndSlotCount → EpochAndSlotCount → Bool #

max ∷ EpochAndSlotCount → EpochAndSlotCount → EpochAndSlotCount #

min ∷ EpochAndSlotCount → EpochAndSlotCount → EpochAndSlotCount #

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.3.0.1-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)))

fromSlotNumber ∷ EpochSlots → SlotNumber → EpochAndSlotCount Source #

Construct a EpochAndSlotCount from a SlotNumber, using a given EpochSlots

newtype SlotCount Source #

A number of slots

Constructors

SlotCount 

Fields

Instances

Instances details
FromCBOR SlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotCount

Methods

fromCBOR ∷ Decoder s SlotCount Source #

label ∷ Proxy SlotCount → Text Source #

ToCBOR SlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotCount

Methods

toCBOR ∷ SlotCount → Encoding Source #

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

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

DecCBOR SlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotCount

Methods

decCBOR ∷ Decoder s SlotCount Source #

dropCBOR ∷ Proxy SlotCount → Decoder s () Source #

label ∷ Proxy SlotCount → Text Source #

EncCBOR SlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotCount

Methods

encCBOR ∷ SlotCount → Encoding Source #

NFData SlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotCount

Methods

rnf ∷ SlotCount → () #

Buildable SlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotCount

Methods

build ∷ SlotCount → Builder Source #

Generic SlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotCount

Associated Types

type Rep SlotCount 
Instance details

Defined in Cardano.Chain.Slotting.SlotCount

type Rep SlotCount = D1 ('MetaData "SlotCount" "Cardano.Chain.Slotting.SlotCount" "cardano-ledger-byron-1.3.0.1-inplace" 'True) (C1 ('MetaCons "SlotCount" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

Methods

from ∷ SlotCount → Rep SlotCount x #

to ∷ Rep SlotCount x → SlotCount #

Read SlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotCount

Methods

readsPrec ∷ Int → ReadS SlotCount #

readList ∷ ReadS [SlotCount] #

readPrec ∷ ReadPrec SlotCount #

readListPrec ∷ ReadPrec [SlotCount] #

Show SlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotCount

Methods

showsPrec ∷ Int → SlotCount → ShowS #

show ∷ SlotCount → String #

showList ∷ [SlotCount] → ShowS #

Eq SlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotCount

Methods

(==) ∷ SlotCount → SlotCount → Bool #

(/=) ∷ SlotCount → SlotCount → Bool #

Ord SlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotCount

Methods

compare ∷ SlotCount → SlotCount → Ordering #

(<) ∷ SlotCount → SlotCount → Bool #

(<=) ∷ SlotCount → SlotCount → Bool #

(>) ∷ SlotCount → SlotCount → Bool #

(>=) ∷ SlotCount → SlotCount → Bool #

max ∷ SlotCount → SlotCount → SlotCount #

min ∷ SlotCount → SlotCount → SlotCount #

type Rep SlotCount Source # 
Instance details

Defined in Cardano.Chain.Slotting.SlotCount

type Rep SlotCount = D1 ('MetaData "SlotCount" "Cardano.Chain.Slotting.SlotCount" "cardano-ledger-byron-1.3.0.1-inplace" 'True) (C1 ('MetaCons "SlotCount" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

epochFirstSlot ∷ EpochSlots → EpochNumber → SlotNumber Source #

Calculate the first slot in an epoch.

Note that this function will give an undetermined result if Byron is not the first and only era - a more robust method should use EpochInfo from cardano-slotting.

data WithEpochSlots a Source #

Data with an accompanying slots per epoch context.

Constructors

WithEpochSlots 

Fields

Instances

Instances details
Buildable (WithEpochSlots Block) Source # 
Instance details

Defined in Cardano.Chain.Block.Block

Methods

build ∷ WithEpochSlots Block → Builder Source #

Buildable (WithEpochSlots Header) Source # 
Instance details

Defined in Cardano.Chain.Block.Header

Methods

build ∷ WithEpochSlots Header → Builder Source #

Show a ⇒ Show (WithEpochSlots a) Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

Methods

showsPrec ∷ Int → WithEpochSlots a → ShowS #

show ∷ WithEpochSlots a → String #

showList ∷ [WithEpochSlots a] → ShowS #

Eq a ⇒ Eq (WithEpochSlots a) Source # 
Instance details

Defined in Cardano.Chain.Slotting.EpochSlots

Methods

(==) ∷ WithEpochSlots a → WithEpochSlots a → Bool #

(/=) ∷ WithEpochSlots a → WithEpochSlots a → Bool #

toSlotNumber ∷ EpochSlots → EpochAndSlotCount → SlotNumber Source #

Flatten EpochAndSlotCount into a single absolute SlotNumber

slotNumberEpoch ∷ EpochSlots → SlotNumber → EpochNumber Source #

isBootstrapEra Source #

Arguments

∷ EpochNumber

Unlock stake epoch

→ EpochNumber

Epoch in question (for which we determine whether it belongs to the bootstrap era)

→ Bool 

Bootstrap era is ongoing until stakes are unlocked. The reward era starts from the epoch specified as the epoch that unlocks stakes:

                      [unlock stake epoch]
                              /
  Epoch: ...  E-3  E-2  E-1   E+0  E+1  E+2  E+3  ...
         ------------------ | -----------------------
              Bootstrap era   Reward era