@@ -14,6 +14,7 @@ module Test.Cardano.Ledger.Api.State.Query.Examples (
1414 queryDRepStakeDistrExamples ,
1515 queryDRepStateExamples ,
1616 queryPoolParametersExamples ,
17+ queryPoolStateExamples ,
1718 queryRegisteredDRepStakeDistrExamples ,
1819 querySPOStakeDistrExamples ,
1920 querySetSnapshotStakePoolDistrExamples ,
@@ -24,7 +25,7 @@ module Test.Cardano.Ledger.Api.State.Query.Examples (
2425
2526import Cardano.Base.IP (toIPv4 , toIPv6 )
2627import Cardano.Ledger.Api.Governance (Constitution (.. ))
27- import Cardano.Ledger.Api.State.Query (DefaultVote (.. ))
28+ import Cardano.Ledger.Api.State.Query (DefaultVote (.. ), QueryPoolStateResult ( .. ) )
2829import Cardano.Ledger.BaseTypes (AnchorData , EpochNo (.. ), Port (.. ), StrictMaybe (.. ), textToDns )
2930import Cardano.Ledger.Coin (Coin (.. ), CompactForm (.. ), knownNonZeroCoin )
3031import Cardano.Ledger.Credential (Credential (.. ))
@@ -281,3 +282,25 @@ queryPoolParametersExamples =
281282 )
282283 ]
283284 ]
285+
286+ queryPoolStateExamples :: [QueryPoolStateResult ]
287+ queryPoolStateExamples =
288+ [ QueryPoolStateResult Map. empty Map. empty Map. empty Map. empty
289+ , QueryPoolStateResult
290+ { qpsrStakePoolParams =
291+ Map. fromList
292+ [ (sppId exampleStakePoolParams, exampleStakePoolParams)
293+ , (mkKeyHash 99 , exampleStakePoolParams {sppId = mkKeyHash 99 })
294+ ]
295+ , qpsrFutureStakePoolParams =
296+ Map. singleton
297+ (mkKeyHash 100 )
298+ (exampleStakePoolParams {sppId = mkKeyHash 100 })
299+ , qpsrRetiring = Map. singleton (mkKeyHash 99 ) (EpochNo 250 )
300+ , qpsrDeposits =
301+ Map. fromList
302+ [ (mkKeyHash 1 , Coin 500_000_000 )
303+ , (mkKeyHash 99 , Coin 500_000_000 )
304+ ]
305+ }
306+ ]
0 commit comments