Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Slotting.EpochSlots

Synopsis

newtype EpochSlots = EpochSlots {
- unEpochSlots ∷ Word64
}
data WithEpochSlots a = WithEpochSlots {
- epochSlots ∷ EpochSlots
- unWithEpochSlots ∷ a
}
epochFirstSlot ∷ EpochSlots → EpochNumber → SlotNumber

Documentation

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