Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Slotting.EpochNumber

Synopsis

newtype EpochNumber = EpochNumber {
- getEpochNumber ∷ Word64
}
isBootstrapEra ∷ EpochNumber → EpochNumber → Bool

Documentation

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