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 # (/=) :: SlotNumber -> SlotNumber -> Bool #
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 #
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 #
Show SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods showsPrec :: Int -> SlotNumber -> ShowS # show :: SlotNumber -> String # showList :: [SlotNumber] -> ShowS #
Generic SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Associated Types type Rep SlotNumber :: Type -> Type # Methods from :: SlotNumber -> Rep SlotNumber x # to :: Rep SlotNumber x -> SlotNumber #
NFData SlotNumber Source #
Instance details Defined in Cardano.Chain.Slotting.SlotNumber Methods rnf :: SlotNumber -> () #
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-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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 #

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 # (/=) :: 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 #
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 #
Generic SlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.SlotCount Associated Types type Rep SlotCount :: Type -> Type # Methods from :: SlotCount -> Rep SlotCount x # to :: Rep SlotCount x -> SlotCount #
NFData SlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.SlotCount Methods rnf :: SlotCount -> () #
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-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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 # (/=) :: EpochSlots -> EpochSlots -> Bool #
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EpochSlots # toConstr :: EpochSlots -> Constr # dataTypeOf :: EpochSlots -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EpochSlots) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EpochSlots) # gmapT :: (forall b. Data b => b -> b) -> EpochSlots -> EpochSlots # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EpochSlots -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EpochSlots -> r # gmapQ :: (forall d. Data d => d -> u) -> EpochSlots -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> EpochSlots -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> EpochSlots -> m EpochSlots # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EpochSlots -> m EpochSlots # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EpochSlots -> m EpochSlots #
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 #
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 #
Generic EpochSlots Source #
Instance details Defined in Cardano.Chain.Slotting.EpochSlots Associated Types type Rep EpochSlots :: Type -> Type # Methods from :: EpochSlots -> Rep EpochSlots x # to :: Rep EpochSlots x -> EpochSlots #
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-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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 # (/=) :: WithEpochSlots a -> WithEpochSlots a -> Bool #
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 #
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 # 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] #
Eq EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods (==) :: EpochNumber -> EpochNumber -> Bool # (/=) :: EpochNumber -> EpochNumber -> Bool #
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 #
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 # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EpochNumber # toConstr :: EpochNumber -> Constr # dataTypeOf :: EpochNumber -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EpochNumber) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EpochNumber) # gmapT :: (forall b. Data b => b -> b) -> EpochNumber -> EpochNumber # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EpochNumber -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EpochNumber -> r # gmapQ :: (forall d. Data d => d -> u) -> EpochNumber -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> EpochNumber -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> EpochNumber -> m EpochNumber # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EpochNumber -> m EpochNumber # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EpochNumber -> m EpochNumber #
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 #
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 #
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 #
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 #
Generic EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Associated Types type Rep EpochNumber :: Type -> Type # Methods from :: EpochNumber -> Rep EpochNumber x # to :: Rep EpochNumber x -> EpochNumber #
NFData EpochNumber Source #
Instance details Defined in Cardano.Chain.Slotting.EpochNumber Methods rnf :: EpochNumber -> () #
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-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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 # (/=) :: 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 #
Show EpochAndSlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.EpochAndSlotCount Methods showsPrec :: Int -> EpochAndSlotCount -> ShowS # show :: EpochAndSlotCount -> String # showList :: [EpochAndSlotCount] -> ShowS #
Generic EpochAndSlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.EpochAndSlotCount Associated Types type Rep EpochAndSlotCount :: Type -> Type # Methods from :: EpochAndSlotCount -> Rep EpochAndSlotCount x # to :: Rep EpochAndSlotCount x -> EpochAndSlotCount #
NFData EpochAndSlotCount Source #
Instance details Defined in Cardano.Chain.Slotting.EpochAndSlotCount Methods rnf :: EpochAndSlotCount -> () #
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-0.1.0.0-LsmGdPmHvbsHmMt4VaqSe3" '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 #