Add state query for RatifyState

IntersectMBO · Jul 31, 2024 · 14a75d8 · 14a75d8
1 parent 1d90c8e
commit 14a75d8
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/libs/cardano-ledger-api/CHANGELOG.md b/libs/cardano-ledger-api/CHANGELOG.md
@@ -2,6 +2,7 @@
 
 ## 1.9.3.0
 
+* Add `queryRatifyState` state query
 * Add `queryProposals` state query
 
 ## 1.9.2.1

diff --git a/libs/cardano-ledger-api/src/Cardano/Ledger/Api/State/Query.hs b/libs/cardano-ledger-api/src/Cardano/Ledger/Api/State/Query.hs
@@ -49,6 +49,9 @@ module Cardano.Ledger.Api.State.Query (
   -- * @GetProposals@
   queryProposals,
 
+  -- * @GetRatifyState@
+  queryRatifyState,
+
   -- * For testing
   getNextEpochCommitteeMembers,
 ) where
@@ -301,7 +304,7 @@ getNextEpochCommitteeMembers ::
   NewEpochState era ->
   Map (Credential 'ColdCommitteeRole (EraCrypto era)) EpochNo
 getNextEpochCommitteeMembers nes =
-  let ratifyState = snd $ finishedPulserState nes
+  let ratifyState = queryRatifyState nes
       committee = ratifyState ^. rsEnactStateL . ensCommitteeL
    in foldMap' committeeMembers committee
 
@@ -339,6 +342,10 @@ queryProposals nes gids
       DRComplete snap _rs -> snap ^. psProposalsL
       DRPulsing DRepPulser {..} -> dpProposals
 
+-- | Query ratification state.
+queryRatifyState :: ConwayEraGov era => NewEpochState era -> RatifyState era
+queryRatifyState = snd . finishedPulserState
+
 finishedPulserState ::
   ConwayEraGov era =>
   NewEpochState era ->