Safe Haskell	None
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

Eq SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods (==) :: SlotNumber -> SlotNumber -> Bool Source # (/=) :: SlotNumber -> SlotNumber -> Bool 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 #
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 #
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 #
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 #
NFData SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods rnf :: SlotNumber -> () Source #
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 #
ToCBOR SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods toCBOR :: SlotNumber -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy SlotNumber -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SlotNumber ] -> Size Source #
FromCBOR SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods fromCBOR :: Decoder s SlotNumber Source # label :: Proxy SlotNumber -> Text Source #
Buildable SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods build :: SlotNumber -> Builder 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 #
Monad m => ToJSON m SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods toJSON :: SlotNumber -> m JSValue Source #
MonadError SchemaError m => FromJSON m SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods fromJSON :: JSValue -> m SlotNumber 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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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

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 #
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 #
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 #
NFData SlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.SlotCount Methods rnf :: SlotCount -> () Source #
ToCBOR SlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.SlotCount Methods toCBOR :: SlotCount -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy SlotCount -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SlotCount ] -> Size Source #
FromCBOR SlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.SlotCount Methods fromCBOR :: Decoder s SlotCount Source # label :: Proxy SlotCount -> Text Source #
Buildable SlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.SlotCount Methods build :: SlotCount -> Builder 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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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

Eq EpochSlots Source #
Instance details Defined in Cardano.Chain.Slotting.EpochSlots Methods (==) :: EpochSlots -> EpochSlots -> Bool Source # (/=) :: EpochSlots -> EpochSlots -> Bool Source #
Data EpochSlots Source #
Instance details Defined in Cardano.Chain.Slotting.EpochSlots Methods gfoldl :: ( forall d b. Data d => c (d -> b) -> d -> c b) -> ( forall g. g -> c g) -> EpochSlots -> c EpochSlots Source # gunfold :: ( forall b r. Data b => c (b -> r) -> c r) -> ( forall r. r -> c r) -> Constr -> c EpochSlots Source # toConstr :: EpochSlots -> Constr Source # dataTypeOf :: EpochSlots -> DataType Source # dataCast1 :: Typeable t => ( forall d. Data d => c (t d)) -> Maybe (c EpochSlots ) Source # dataCast2 :: Typeable t => ( forall d e. ( Data d, Data e) => c (t d e)) -> Maybe (c EpochSlots ) Source # gmapT :: ( forall b. Data b => b -> b) -> EpochSlots -> EpochSlots Source # gmapQl :: (r -> r' -> r) -> r -> ( forall d. Data d => d -> r') -> EpochSlots -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> ( forall d. Data d => d -> r') -> EpochSlots -> r Source # gmapQ :: ( forall d. Data d => d -> u) -> EpochSlots -> [u] Source # gmapQi :: Int -> ( forall d. Data d => d -> u) -> EpochSlots -> u Source # gmapM :: Monad m => ( forall d. Data d => d -> m d) -> EpochSlots -> m EpochSlots Source # gmapMp :: MonadPlus m => ( forall d. Data d => d -> m d) -> EpochSlots -> m EpochSlots Source # gmapMo :: MonadPlus m => ( forall d. Data d => d -> m d) -> EpochSlots -> m EpochSlots 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 #
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 #
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 #
ToCBOR EpochSlots Source #
Instance details Defined in Cardano.Chain.Slotting.EpochSlots Methods toCBOR :: EpochSlots -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy EpochSlots -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ EpochSlots ] -> Size Source #
FromCBOR EpochSlots Source #
Instance details Defined in Cardano.Chain.Slotting.EpochSlots Methods fromCBOR :: Decoder s EpochSlots Source # label :: Proxy EpochSlots -> Text Source #
Buildable EpochSlots Source #
Instance details Defined in Cardano.Chain.Slotting.EpochSlots Methods build :: EpochSlots -> Builder 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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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

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 #
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 Header ) Source #
Instance details Defined in Cardano.Chain.Block.Header Methods build :: WithEpochSlots Header -> Builder Source #
Buildable ( WithEpochSlots Block ) Source #
Instance details Defined in Cardano.Chain.Block.Block Methods build :: WithEpochSlots Block -> Builder 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

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 #
Eq EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods (==) :: EpochNumber -> EpochNumber -> Bool Source # (/=) :: EpochNumber -> EpochNumber -> Bool 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 #
Data EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods gfoldl :: ( forall d b. Data d => c (d -> b) -> d -> c b) -> ( forall g. g -> c g) -> EpochNumber -> c EpochNumber Source # gunfold :: ( forall b r. Data b => c (b -> r) -> c r) -> ( forall r. r -> c r) -> Constr -> c EpochNumber Source # toConstr :: EpochNumber -> Constr Source # dataTypeOf :: EpochNumber -> DataType Source # dataCast1 :: Typeable t => ( forall d. Data d => c (t d)) -> Maybe (c EpochNumber ) Source # dataCast2 :: Typeable t => ( forall d e. ( Data d, Data e) => c (t d e)) -> Maybe (c EpochNumber ) Source # gmapT :: ( forall b. Data b => b -> b) -> EpochNumber -> EpochNumber Source # gmapQl :: (r -> r' -> r) -> r -> ( forall d. Data d => d -> r') -> EpochNumber -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> ( forall d. Data d => d -> r') -> EpochNumber -> r Source # gmapQ :: ( forall d. Data d => d -> u) -> EpochNumber -> [u] Source # gmapQi :: Int -> ( forall d. Data d => d -> u) -> EpochNumber -> u Source # gmapM :: Monad m => ( forall d. Data d => d -> m d) -> EpochNumber -> m EpochNumber Source # gmapMp :: MonadPlus m => ( forall d. Data d => d -> m d) -> EpochNumber -> m EpochNumber Source # gmapMo :: MonadPlus m => ( forall d. Data d => d -> m d) -> EpochNumber -> m EpochNumber 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 #
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 #
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 #
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 #
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 #
NFData EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods rnf :: EpochNumber -> () Source #
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 #
ToCBOR EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods toCBOR :: EpochNumber -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy EpochNumber -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ EpochNumber ] -> Size Source #
FromCBOR EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods fromCBOR :: Decoder s EpochNumber Source # label :: Proxy EpochNumber -> Text Source #
Buildable EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods build :: EpochNumber -> Builder 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 #
Monad m => ToJSON m EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods toJSON :: EpochNumber -> m JSValue Source #
MonadError SchemaError m => FromJSON m EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods fromJSON :: JSValue -> m EpochNumber 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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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

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 #
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 #
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 #
NFData EpochAndSlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.EpochAndSlotCount Methods rnf :: EpochAndSlotCount -> () Source #
ToCBOR EpochAndSlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.EpochAndSlotCount Methods toCBOR :: EpochAndSlotCount -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy EpochAndSlotCount -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ EpochAndSlotCount ] -> Size Source #
FromCBOR EpochAndSlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.EpochAndSlotCount Methods fromCBOR :: Decoder s EpochAndSlotCount Source # label :: Proxy EpochAndSlotCount -> Text Source #
Buildable EpochAndSlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.EpochAndSlotCount Methods build :: EpochAndSlotCount -> Builder 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-0.1.0.0-1U5kXR8zMRrE7QjCz70XVD" ' 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 #