Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Slotting

Synopsis

newtype SlotNumber = SlotNumber {
- unSlotNumber ∷ Word64
}
addSlotCount ∷ SlotCount → SlotNumber → SlotNumber
subSlotCount ∷ SlotCount → SlotNumber → SlotNumber
newtype SlotCount = SlotCount {
- unSlotCount ∷ Word64
}
newtype EpochSlots = EpochSlots {
- unEpochSlots ∷ Word64
}
data WithEpochSlots a = WithEpochSlots {
- epochSlots ∷ EpochSlots
- unWithEpochSlots ∷ a
}
epochFirstSlot ∷ EpochSlots → EpochNumber → SlotNumber
newtype EpochNumber = EpochNumber {
- getEpochNumber ∷ Word64
}
isBootstrapEra ∷ EpochNumber → EpochNumber → Bool
data EpochAndSlotCount = EpochAndSlotCount {
- epochNo ∷ !EpochNumber
- slotCount ∷ !SlotCount
}
toSlotNumber ∷ EpochSlots → EpochAndSlotCount → SlotNumber
fromSlotNumber ∷ EpochSlots → SlotNumber → EpochAndSlotCount
slotNumberEpoch ∷ EpochSlots → SlotNumber → EpochNumber

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.2.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

newtype SlotCount Source #

A number of slots

Constructors

SlotCount
Fields unSlotCount ∷ Word64

Instances

Instances details

Generic SlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.SlotCount Associated Types type Rep SlotCount ∷ Type → Type Source # Methods from ∷ SlotCount → Rep SlotCount x Source # to ∷ Rep SlotCount x → SlotCount Source #
Read SlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.SlotCount Methods readsPrec ∷ Int → ReadS SlotCount Source # readList ∷ ReadS [SlotCount] Source # readPrec ∷ ReadPrec SlotCount Source # readListPrec ∷ ReadPrec [SlotCount] Source #
Show SlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.SlotCount Methods showsPrec ∷ Int → SlotCount → ShowS Source # show ∷ SlotCount → String Source # showList ∷ [SlotCount] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy SlotCount → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [SlotCount] → Size Source #
NFData SlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.SlotCount Methods rnf ∷ SlotCount → () Source #
Buildable SlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.SlotCount Methods build ∷ SlotCount → Builder Source #
Eq SlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.SlotCount Methods (==) ∷ SlotCount → SlotCount → Bool Source # (/=) ∷ SlotCount → SlotCount → Bool Source #
Ord SlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.SlotCount Methods compare ∷ SlotCount → SlotCount → Ordering Source # (<) ∷ SlotCount → SlotCount → Bool Source # (<=) ∷ SlotCount → SlotCount → Bool Source # (>) ∷ SlotCount → SlotCount → Bool Source # (>=) ∷ SlotCount → SlotCount → Bool Source # max ∷ SlotCount → SlotCount → SlotCount Source # min ∷ SlotCount → SlotCount → SlotCount Source #
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.0.2.0-inplace" 'True) (C1 ('MetaCons "SlotCount" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlotCount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype EpochSlots Source #

The number of slots per epoch.

Constructors

EpochSlots
Fields unEpochSlots ∷ Word64

Instances

Instances details

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 Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c EpochSlots Source # toConstr ∷ EpochSlots → Constr Source # dataTypeOf ∷ EpochSlots → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c EpochSlots) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c EpochSlots) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → EpochSlots → EpochSlots Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → EpochSlots → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → EpochSlots → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → EpochSlots → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → EpochSlots → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → EpochSlots → m EpochSlots Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → EpochSlots → m EpochSlots Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → EpochSlots → m EpochSlots Source #
Generic EpochSlots Source #
Instance details Defined in Cardano.Chain.Slotting.EpochSlots Associated Types type Rep EpochSlots ∷ Type → Type Source # Methods from ∷ EpochSlots → Rep EpochSlots x Source # to ∷ Rep EpochSlots x → EpochSlots Source #
Read EpochSlots Source #
Instance details Defined in Cardano.Chain.Slotting.EpochSlots Methods readsPrec ∷ Int → ReadS EpochSlots Source # readList ∷ ReadS [EpochSlots] Source # readPrec ∷ ReadPrec EpochSlots Source # readListPrec ∷ ReadPrec [EpochSlots] Source #
Show EpochSlots Source #
Instance details Defined in Cardano.Chain.Slotting.EpochSlots Methods showsPrec ∷ Int → EpochSlots → ShowS Source # show ∷ EpochSlots → String Source # showList ∷ [EpochSlots] → ShowS Source #
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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy EpochSlots → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [EpochSlots] → Size Source #
Buildable EpochSlots Source #
Instance details Defined in Cardano.Chain.Slotting.EpochSlots Methods build ∷ EpochSlots → Builder Source #
Eq EpochSlots Source #
Instance details Defined in Cardano.Chain.Slotting.EpochSlots Methods (==) ∷ EpochSlots → EpochSlots → Bool Source # (/=) ∷ EpochSlots → EpochSlots → Bool Source #
Ord EpochSlots Source #
Instance details Defined in Cardano.Chain.Slotting.EpochSlots Methods compare ∷ EpochSlots → EpochSlots → Ordering Source # (<) ∷ EpochSlots → EpochSlots → Bool Source # (<=) ∷ EpochSlots → EpochSlots → Bool Source # (>) ∷ EpochSlots → EpochSlots → Bool Source # (>=) ∷ EpochSlots → EpochSlots → Bool Source # max ∷ EpochSlots → EpochSlots → EpochSlots Source # min ∷ EpochSlots → EpochSlots → EpochSlots Source #
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.0.2.0-inplace" 'True) (C1 ('MetaCons "EpochSlots" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

data WithEpochSlots a Source #

Data with an accompanying slots per epoch context.

Constructors

WithEpochSlots
Fields epochSlots ∷ EpochSlots unWithEpochSlots ∷ a

Instances

Instances details

Show a ⇒ Show (WithEpochSlots a) Source #
Instance details Defined in Cardano.Chain.Slotting.EpochSlots Methods showsPrec ∷ Int → WithEpochSlots a → ShowS Source # show ∷ WithEpochSlots a → String Source # showList ∷ [WithEpochSlots a] → ShowS Source #
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 #
Eq a ⇒ Eq (WithEpochSlots a) Source #
Instance details Defined in Cardano.Chain.Slotting.EpochSlots Methods (==) ∷ WithEpochSlots a → WithEpochSlots a → Bool Source # (/=) ∷ WithEpochSlots a → WithEpochSlots a → Bool Source #

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.

newtype EpochNumber Source #

Index of epoch.

Constructors

EpochNumber
Fields getEpochNumber ∷ Word64

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 #
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 Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c EpochNumber Source # toConstr ∷ EpochNumber → Constr Source # dataTypeOf ∷ EpochNumber → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c EpochNumber) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c EpochNumber) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → EpochNumber → EpochNumber Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → EpochNumber → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → EpochNumber → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → EpochNumber → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → EpochNumber → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → EpochNumber → m EpochNumber Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → EpochNumber → m EpochNumber Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → EpochNumber → m EpochNumber Source #
Bounded EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods minBound ∷ EpochNumber Source # maxBound ∷ EpochNumber Source #
Enum EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods succ ∷ EpochNumber → EpochNumber Source # pred ∷ EpochNumber → EpochNumber Source # toEnum ∷ Int → EpochNumber Source # fromEnum ∷ EpochNumber → Int Source # enumFrom ∷ EpochNumber → [EpochNumber] Source # enumFromThen ∷ EpochNumber → EpochNumber → [EpochNumber] Source # enumFromTo ∷ EpochNumber → EpochNumber → [EpochNumber] Source # enumFromThenTo ∷ EpochNumber → EpochNumber → EpochNumber → [EpochNumber] Source #
Generic EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Associated Types type Rep EpochNumber ∷ Type → Type Source # Methods from ∷ EpochNumber → Rep EpochNumber x Source # to ∷ Rep EpochNumber x → EpochNumber Source #
Ix EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods range ∷ (EpochNumber, EpochNumber) → [EpochNumber] Source # index ∷ (EpochNumber, EpochNumber) → EpochNumber → Int Source # unsafeIndex ∷ (EpochNumber, EpochNumber) → EpochNumber → Int Source # inRange ∷ (EpochNumber, EpochNumber) → EpochNumber → Bool Source # rangeSize ∷ (EpochNumber, EpochNumber) → Int Source # unsafeRangeSize ∷ (EpochNumber, EpochNumber) → Int Source #
Num EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods (+) ∷ EpochNumber → EpochNumber → EpochNumber Source # (-) ∷ EpochNumber → EpochNumber → EpochNumber Source # (*) ∷ EpochNumber → EpochNumber → EpochNumber Source # negate ∷ EpochNumber → EpochNumber Source # abs ∷ EpochNumber → EpochNumber Source # signum ∷ EpochNumber → EpochNumber Source # fromInteger ∷ Integer → EpochNumber Source #
Integral EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods quot ∷ EpochNumber → EpochNumber → EpochNumber Source # rem ∷ EpochNumber → EpochNumber → EpochNumber Source # div ∷ EpochNumber → EpochNumber → EpochNumber Source # mod ∷ EpochNumber → EpochNumber → EpochNumber Source # quotRem ∷ EpochNumber → EpochNumber → (EpochNumber, EpochNumber) Source # divMod ∷ EpochNumber → EpochNumber → (EpochNumber, EpochNumber) Source # toInteger ∷ EpochNumber → Integer Source #
Real EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods toRational ∷ EpochNumber → Rational Source #
Show EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods showsPrec ∷ Int → EpochNumber → ShowS Source # show ∷ EpochNumber → String Source # showList ∷ [EpochNumber] → ShowS 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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy EpochNumber → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [EpochNumber] → Size Source #
NFData EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods rnf ∷ EpochNumber → () Source #
Buildable EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods build ∷ EpochNumber → Builder Source #
Eq EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods (==) ∷ EpochNumber → EpochNumber → Bool Source # (/=) ∷ EpochNumber → EpochNumber → Bool Source #
Ord EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods compare ∷ EpochNumber → EpochNumber → Ordering Source # (<) ∷ EpochNumber → EpochNumber → Bool Source # (<=) ∷ EpochNumber → EpochNumber → Bool Source # (>) ∷ EpochNumber → EpochNumber → Bool Source # (>=) ∷ EpochNumber → EpochNumber → Bool Source # max ∷ EpochNumber → EpochNumber → EpochNumber Source # min ∷ EpochNumber → EpochNumber → EpochNumber Source #
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.0.2.0-inplace" 'True) (C1 ('MetaCons "EpochNumber" 'PrefixI 'True) (S1 ('MetaSel ('Just "getEpochNumber") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

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

data EpochAndSlotCount Source #

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

Constructors

EpochAndSlotCount
Fields epochNo ∷ !EpochNumber slotCount ∷ !SlotCount

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