Apply suggestions from code review
Co-authored-by: Alexey Kuleshevich <[email protected]>
Co-authored-by: Alexey Kuleshevich <[email protected]>
) =>
SlotNo ->
Rule (ShelleyDELEG era) 'Transition ()
checkSlotNotTooLate slot =
do
checkSlotNotTooLate slot = do
sp <- liftSTS $ asks stabilityWindow
ei <- liftSTS $ asks epochInfoPure
EpochNo currEpoch <- liftSTS $ epochInfoEpoch ei slot
Coin ->
DState (EraCrypto era) ->
Rule (ShelleyDELEG era) 'Transition (DState (EraCrypto era))
updateReservesAndTreasury targetPot combinedMap available ds =
do
updateReservesAndTreasury targetPot combinedMap available ds = do
let requiredForRewards = fold combinedMap
requiredForRewards
<= available
Fixes #348
Fixes #347
Fixes #412
Fixes #347
Fixes #348
Fixes #347
From https://github.com/input-output-hk/ouroboros-network at ff2331f0d254944f7c375078e6a3eb8e4f8770db
From https://github.com/input-output-hk/ouroboros-network at ff2331f0d254944f7c375078e6a3eb8e4f8770db
Fixes #347
Fixes #347
Fixes #347