Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Slot

Synopsis

newtype SlotNo = SlotNo {
- unSlotNo :: Word64
}
newtype Duration = Duration {
- unDuration :: Word64
}
(-*) :: SlotNo -> SlotNo -> Duration
(+*) :: SlotNo -> Duration -> SlotNo
(*-) :: SlotNo -> Duration -> SlotNo
newtype EpochNo = EpochNo {
- unEpochNo :: Word64
}
newtype EpochSize = EpochSize {
- unEpochSize :: Word64
}
data EpochInfo (m :: Type -> Type )
newtype BlockNo = BlockNo {
- unBlockNo :: Word64
}
epochInfoEpoch :: HasCallStack => EpochInfo Identity -> SlotNo -> ShelleyBase EpochNo
epochInfoFirst :: HasCallStack => EpochInfo Identity -> EpochNo -> ShelleyBase SlotNo
epochInfoSize :: HasCallStack => EpochInfo Identity -> EpochNo -> ShelleyBase EpochSize

Documentation

newtype SlotNo Source #

The 0-based index for the Ourboros time slot.

Constructors

SlotNo
Fields unSlotNo :: Word64

Instances

Instances details

Bounded SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods minBound :: SlotNo Source # maxBound :: SlotNo Source #
Enum SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods succ :: SlotNo -> SlotNo Source # pred :: SlotNo -> SlotNo Source # toEnum :: Int -> SlotNo Source # fromEnum :: SlotNo -> Int Source # enumFrom :: SlotNo -> [ SlotNo ] Source # enumFromThen :: SlotNo -> SlotNo -> [ SlotNo ] Source # enumFromTo :: SlotNo -> SlotNo -> [ SlotNo ] Source # enumFromThenTo :: SlotNo -> SlotNo -> SlotNo -> [ SlotNo ] Source #
Eq SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods (==) :: SlotNo -> SlotNo -> Bool Source # (/=) :: SlotNo -> SlotNo -> Bool Source #
Num SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods (+) :: SlotNo -> SlotNo -> SlotNo Source # (-) :: SlotNo -> SlotNo -> SlotNo Source # (*) :: SlotNo -> SlotNo -> SlotNo Source # negate :: SlotNo -> SlotNo Source # abs :: SlotNo -> SlotNo Source # signum :: SlotNo -> SlotNo Source # fromInteger :: Integer -> SlotNo Source #
Ord SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods compare :: SlotNo -> SlotNo -> Ordering Source # (<) :: SlotNo -> SlotNo -> Bool Source # (<=) :: SlotNo -> SlotNo -> Bool Source # (>) :: SlotNo -> SlotNo -> Bool Source # (>=) :: SlotNo -> SlotNo -> Bool Source # max :: SlotNo -> SlotNo -> SlotNo Source # min :: SlotNo -> SlotNo -> SlotNo Source #
Show SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec :: Int -> SlotNo -> ShowS Source # show :: SlotNo -> String Source # showList :: [ SlotNo ] -> ShowS Source #
Generic SlotNo
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep SlotNo :: Type -> Type Source # Methods from :: SlotNo -> Rep SlotNo x Source # to :: Rep SlotNo x -> SlotNo Source #
NFData SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods rnf :: SlotNo -> () Source #
ToJSON SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods toJSON :: SlotNo -> Value Source # toEncoding :: SlotNo -> Encoding Source # toJSONList :: [ SlotNo ] -> Value Source # toEncodingList :: [ SlotNo ] -> Encoding Source #
FromJSON SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON :: Value -> Parser SlotNo Source # parseJSONList :: Value -> Parser [ SlotNo ] Source #
ToCBOR SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR :: SlotNo -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy SlotNo -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ SlotNo ] -> Size Source #
FromCBOR SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR :: Decoder s SlotNo Source # label :: Proxy SlotNo -> Text Source #
NoThunks SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> SlotNo -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> SlotNo -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy SlotNo -> String Source #
Serialise SlotNo
Instance details Defined in Cardano.Slotting.Slot Methods encode :: SlotNo -> Encoding Source # decode :: Decoder s SlotNo Source # encodeList :: [ SlotNo ] -> Encoding Source # decodeList :: Decoder s [ SlotNo ] Source #
type Rep SlotNo
Instance details Defined in Cardano.Slotting.Slot type Rep SlotNo = D1 (' MetaData "SlotNo" "Cardano.Slotting.Slot" "cardano-slotting-0.1.0.2-j5NuF73p5IFfcfvmth6tS" ' True ) ( C1 (' MetaCons "SlotNo" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unSlotNo") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))

newtype Duration Source #

Constructors

Duration
Fields unDuration :: Word64

Instances

Instances details

Enum Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods succ :: Duration -> Duration Source # pred :: Duration -> Duration Source # toEnum :: Int -> Duration Source # fromEnum :: Duration -> Int Source # enumFrom :: Duration -> [ Duration ] Source # enumFromThen :: Duration -> Duration -> [ Duration ] Source # enumFromTo :: Duration -> Duration -> [ Duration ] Source # enumFromThenTo :: Duration -> Duration -> Duration -> [ Duration ] Source #
Eq Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods (==) :: Duration -> Duration -> Bool Source # (/=) :: Duration -> Duration -> Bool Source #
Integral Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods quot :: Duration -> Duration -> Duration Source # rem :: Duration -> Duration -> Duration Source # div :: Duration -> Duration -> Duration Source # mod :: Duration -> Duration -> Duration Source # quotRem :: Duration -> Duration -> ( Duration , Duration ) Source # divMod :: Duration -> Duration -> ( Duration , Duration ) Source # toInteger :: Duration -> Integer Source #
Num Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods (+) :: Duration -> Duration -> Duration Source # (-) :: Duration -> Duration -> Duration Source # (*) :: Duration -> Duration -> Duration Source # negate :: Duration -> Duration Source # abs :: Duration -> Duration Source # signum :: Duration -> Duration Source # fromInteger :: Integer -> Duration Source #
Ord Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods compare :: Duration -> Duration -> Ordering Source # (<) :: Duration -> Duration -> Bool Source # (<=) :: Duration -> Duration -> Bool Source # (>) :: Duration -> Duration -> Bool Source # (>=) :: Duration -> Duration -> Bool Source # max :: Duration -> Duration -> Duration Source # min :: Duration -> Duration -> Duration Source #
Real Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods toRational :: Duration -> Rational Source #
Show Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods showsPrec :: Int -> Duration -> ShowS Source # show :: Duration -> String Source # showList :: [ Duration ] -> ShowS Source #
Generic Duration Source #
Instance details Defined in Cardano.Ledger.Slot Associated Types type Rep Duration :: Type -> Type Source # Methods from :: Duration -> Rep Duration x Source # to :: Rep Duration x -> Duration Source #
Semigroup Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods (<>) :: Duration -> Duration -> Duration Source # sconcat :: NonEmpty Duration -> Duration Source # stimes :: Integral b => b -> Duration -> Duration Source #
Monoid Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods mempty :: Duration Source # mappend :: Duration -> Duration -> Duration Source # mconcat :: [ Duration ] -> Duration Source #
NoThunks Duration Source #
Instance details Defined in Cardano.Ledger.Slot Methods noThunks :: Context -> Duration -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Duration -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy Duration -> String Source #
type Rep Duration Source #
Instance details Defined in Cardano.Ledger.Slot type Rep Duration = D1 (' MetaData "Duration" "Cardano.Ledger.Slot" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "Duration" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unDuration") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))

(-*) :: SlotNo -> SlotNo -> Duration Source #

(+*) :: SlotNo -> Duration -> SlotNo Source #

(*-) :: SlotNo -> Duration -> SlotNo Source #

Subtract a duration from a slot

newtype EpochNo Source #

An epoch, i.e. the number of the epoch.

Constructors

EpochNo
Fields unEpochNo :: Word64

Instances

Instances details

Enum EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods succ :: EpochNo -> EpochNo Source # pred :: EpochNo -> EpochNo Source # toEnum :: Int -> EpochNo Source # fromEnum :: EpochNo -> Int Source # enumFrom :: EpochNo -> [ EpochNo ] Source # enumFromThen :: EpochNo -> EpochNo -> [ EpochNo ] Source # enumFromTo :: EpochNo -> EpochNo -> [ EpochNo ] Source # enumFromThenTo :: EpochNo -> EpochNo -> EpochNo -> [ EpochNo ] Source #
Eq EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods (==) :: EpochNo -> EpochNo -> Bool Source # (/=) :: EpochNo -> EpochNo -> Bool Source #
Num EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods (+) :: EpochNo -> EpochNo -> EpochNo Source # (-) :: EpochNo -> EpochNo -> EpochNo Source # (*) :: EpochNo -> EpochNo -> EpochNo Source # negate :: EpochNo -> EpochNo Source # abs :: EpochNo -> EpochNo Source # signum :: EpochNo -> EpochNo Source # fromInteger :: Integer -> EpochNo Source #
Ord EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods compare :: EpochNo -> EpochNo -> Ordering Source # (<) :: EpochNo -> EpochNo -> Bool Source # (<=) :: EpochNo -> EpochNo -> Bool Source # (>) :: EpochNo -> EpochNo -> Bool Source # (>=) :: EpochNo -> EpochNo -> Bool Source # max :: EpochNo -> EpochNo -> EpochNo Source # min :: EpochNo -> EpochNo -> EpochNo Source #
Show EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec :: Int -> EpochNo -> ShowS Source # show :: EpochNo -> String Source # showList :: [ EpochNo ] -> ShowS Source #
Generic EpochNo
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochNo :: Type -> Type Source # Methods from :: EpochNo -> Rep EpochNo x Source # to :: Rep EpochNo x -> EpochNo Source #
NFData EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods rnf :: EpochNo -> () Source #
ToJSON EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods toJSON :: EpochNo -> Value Source # toEncoding :: EpochNo -> Encoding Source # toJSONList :: [ EpochNo ] -> Value Source # toEncodingList :: [ EpochNo ] -> Encoding Source #
FromJSON EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON :: Value -> Parser EpochNo Source # parseJSONList :: Value -> Parser [ EpochNo ] Source #
ToCBOR EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR :: EpochNo -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy EpochNo -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ EpochNo ] -> Size Source #
FromCBOR EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR :: Decoder s EpochNo Source # label :: Proxy EpochNo -> Text Source #
NoThunks EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> EpochNo -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> EpochNo -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy EpochNo -> String Source #
Serialise EpochNo
Instance details Defined in Cardano.Slotting.Slot Methods encode :: EpochNo -> Encoding Source # decode :: Decoder s EpochNo Source # encodeList :: [ EpochNo ] -> Encoding Source # decodeList :: Decoder s [ EpochNo ] Source #
type Rep EpochNo
Instance details Defined in Cardano.Slotting.Slot type Rep EpochNo = D1 (' MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.1.0.2-j5NuF73p5IFfcfvmth6tS" ' True ) ( C1 (' MetaCons "EpochNo" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unEpochNo") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))

newtype EpochSize Source #

Constructors

EpochSize
Fields unEpochSize :: Word64

Instances

Instances details

Enum EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods succ :: EpochSize -> EpochSize Source # pred :: EpochSize -> EpochSize Source # toEnum :: Int -> EpochSize Source # fromEnum :: EpochSize -> Int Source # enumFrom :: EpochSize -> [ EpochSize ] Source # enumFromThen :: EpochSize -> EpochSize -> [ EpochSize ] Source # enumFromTo :: EpochSize -> EpochSize -> [ EpochSize ] Source # enumFromThenTo :: EpochSize -> EpochSize -> EpochSize -> [ EpochSize ] Source #
Eq EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods (==) :: EpochSize -> EpochSize -> Bool Source # (/=) :: EpochSize -> EpochSize -> Bool Source #
Integral EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods quot :: EpochSize -> EpochSize -> EpochSize Source # rem :: EpochSize -> EpochSize -> EpochSize Source # div :: EpochSize -> EpochSize -> EpochSize Source # mod :: EpochSize -> EpochSize -> EpochSize Source # quotRem :: EpochSize -> EpochSize -> ( EpochSize , EpochSize ) Source # divMod :: EpochSize -> EpochSize -> ( EpochSize , EpochSize ) Source # toInteger :: EpochSize -> Integer Source #
Num EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods (+) :: EpochSize -> EpochSize -> EpochSize Source # (-) :: EpochSize -> EpochSize -> EpochSize Source # (*) :: EpochSize -> EpochSize -> EpochSize Source # negate :: EpochSize -> EpochSize Source # abs :: EpochSize -> EpochSize Source # signum :: EpochSize -> EpochSize Source # fromInteger :: Integer -> EpochSize Source #
Ord EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods compare :: EpochSize -> EpochSize -> Ordering Source # (<) :: EpochSize -> EpochSize -> Bool Source # (<=) :: EpochSize -> EpochSize -> Bool Source # (>) :: EpochSize -> EpochSize -> Bool Source # (>=) :: EpochSize -> EpochSize -> Bool Source # max :: EpochSize -> EpochSize -> EpochSize Source # min :: EpochSize -> EpochSize -> EpochSize Source #
Real EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods toRational :: EpochSize -> Rational Source #
Show EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods showsPrec :: Int -> EpochSize -> ShowS Source # show :: EpochSize -> String Source # showList :: [ EpochSize ] -> ShowS Source #
Generic EpochSize
Instance details Defined in Cardano.Slotting.Slot Associated Types type Rep EpochSize :: Type -> Type Source # Methods from :: EpochSize -> Rep EpochSize x Source # to :: Rep EpochSize x -> EpochSize Source #
NFData EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods rnf :: EpochSize -> () Source #
ToJSON EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods toJSON :: EpochSize -> Value Source # toEncoding :: EpochSize -> Encoding Source # toJSONList :: [ EpochSize ] -> Value Source # toEncodingList :: [ EpochSize ] -> Encoding Source #
FromJSON EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods parseJSON :: Value -> Parser EpochSize Source # parseJSONList :: Value -> Parser [ EpochSize ] Source #
ToCBOR EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods toCBOR :: EpochSize -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy EpochSize -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ EpochSize ] -> Size Source #
FromCBOR EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods fromCBOR :: Decoder s EpochSize Source # label :: Proxy EpochSize -> Text Source #
NoThunks EpochSize
Instance details Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> EpochSize -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> EpochSize -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy EpochSize -> String Source #
type Rep EpochSize
Instance details Defined in Cardano.Slotting.Slot type Rep EpochSize = D1 (' MetaData "EpochSize" "Cardano.Slotting.Slot" "cardano-slotting-0.1.0.2-j5NuF73p5IFfcfvmth6tS" ' True ) ( C1 (' MetaCons "EpochSize" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unEpochSize") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))

data EpochInfo (m :: Type -> Type ) Source #

Information about epochs

Different epochs may have different sizes and different slot lengths. This information is encapsulated by EpochInfo . It is parameterized over a monad m because the information about how long each epoch is may depend on information derived from the blockchain itself. It ultimately requires acess to state, and so either uses the monad for that or uses the monad to reify failure due to cached state information being too stale for the current query.

Instances

Instances details

Show ( EpochInfo f)	Unhelpful instance, but this type occurs in records (eg `Shelley.Globals` ) that we want to be able to `show`
Instance details Defined in Cardano.Slotting.EpochInfo.API Methods showsPrec :: Int -> EpochInfo f -> ShowS Source # show :: EpochInfo f -> String Source # showList :: [ EpochInfo f] -> ShowS Source #
NoThunks ( EpochInfo m)
Instance details Defined in Cardano.Slotting.EpochInfo.API Methods noThunks :: Context -> EpochInfo m -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> EpochInfo m -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( EpochInfo m) -> String Source #

newtype BlockNo Source #

The 0-based index of the block in the blockchain. BlockNo is <= SlotNo and is only equal at slot N if there is a block for every slot where N <= SlotNo.

Constructors

BlockNo
Fields unBlockNo :: Word64

Instances

Instances details

Bounded BlockNo
Instance details Defined in Cardano.Slotting.Block Methods minBound :: BlockNo Source # maxBound :: BlockNo Source #
Enum BlockNo
Instance details Defined in Cardano.Slotting.Block Methods succ :: BlockNo -> BlockNo Source # pred :: BlockNo -> BlockNo Source # toEnum :: Int -> BlockNo Source # fromEnum :: BlockNo -> Int Source # enumFrom :: BlockNo -> [ BlockNo ] Source # enumFromThen :: BlockNo -> BlockNo -> [ BlockNo ] Source # enumFromTo :: BlockNo -> BlockNo -> [ BlockNo ] Source # enumFromThenTo :: BlockNo -> BlockNo -> BlockNo -> [ BlockNo ] Source #
Eq BlockNo
Instance details Defined in Cardano.Slotting.Block Methods (==) :: BlockNo -> BlockNo -> Bool Source # (/=) :: BlockNo -> BlockNo -> Bool Source #
Num BlockNo
Instance details Defined in Cardano.Slotting.Block Methods (+) :: BlockNo -> BlockNo -> BlockNo Source # (-) :: BlockNo -> BlockNo -> BlockNo Source # (*) :: BlockNo -> BlockNo -> BlockNo Source # negate :: BlockNo -> BlockNo Source # abs :: BlockNo -> BlockNo Source # signum :: BlockNo -> BlockNo Source # fromInteger :: Integer -> BlockNo Source #
Ord BlockNo
Instance details Defined in Cardano.Slotting.Block Methods compare :: BlockNo -> BlockNo -> Ordering Source # (<) :: BlockNo -> BlockNo -> Bool Source # (<=) :: BlockNo -> BlockNo -> Bool Source # (>) :: BlockNo -> BlockNo -> Bool Source # (>=) :: BlockNo -> BlockNo -> Bool Source # max :: BlockNo -> BlockNo -> BlockNo Source # min :: BlockNo -> BlockNo -> BlockNo Source #
Show BlockNo
Instance details Defined in Cardano.Slotting.Block Methods showsPrec :: Int -> BlockNo -> ShowS Source # show :: BlockNo -> String Source # showList :: [ BlockNo ] -> ShowS Source #
Generic BlockNo
Instance details Defined in Cardano.Slotting.Block Associated Types type Rep BlockNo :: Type -> Type Source # Methods from :: BlockNo -> Rep BlockNo x Source # to :: Rep BlockNo x -> BlockNo Source #
NFData BlockNo
Instance details Defined in Cardano.Slotting.Block Methods rnf :: BlockNo -> () Source #
ToCBOR BlockNo
Instance details Defined in Cardano.Slotting.Block Methods toCBOR :: BlockNo -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy BlockNo -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ BlockNo ] -> Size Source #
FromCBOR BlockNo
Instance details Defined in Cardano.Slotting.Block Methods fromCBOR :: Decoder s BlockNo Source # label :: Proxy BlockNo -> Text Source #
NoThunks BlockNo
Instance details Defined in Cardano.Slotting.Block Methods noThunks :: Context -> BlockNo -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> BlockNo -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy BlockNo -> String Source #
Serialise BlockNo
Instance details Defined in Cardano.Slotting.Block Methods encode :: BlockNo -> Encoding Source # decode :: Decoder s BlockNo Source # encodeList :: [ BlockNo ] -> Encoding Source # decodeList :: Decoder s [ BlockNo ] Source #
type Rep BlockNo
Instance details Defined in Cardano.Slotting.Block type Rep BlockNo = D1 (' MetaData "BlockNo" "Cardano.Slotting.Block" "cardano-slotting-0.1.0.2-j5NuF73p5IFfcfvmth6tS" ' True ) ( C1 (' MetaCons "BlockNo" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unBlockNo") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Word64 )))

epochInfoEpoch :: HasCallStack => EpochInfo Identity -> SlotNo -> ShelleyBase EpochNo Source #

epochInfoFirst :: HasCallStack => EpochInfo Identity -> EpochNo -> ShelleyBase SlotNo Source #

epochInfoSize :: HasCallStack => EpochInfo Identity -> EpochNo -> ShelleyBase EpochSize Source #