Add optional default vote to PoolParams

Author: teodanciu

eras/shelley/impl/testlib/Test/Cardano/Ledger/Shelley/Examples.hs

@@ -404,6 +404,7 @@ examplePoolParams =
             { pmUrl = fromJust $ textToUrl 64 "consensus.pool"
             , pmHash = "{}"
             }
+    , ppDefaultVote = SNothing
     }
 
 examplePayKey :: KeyPair 'Payment

eras/shelley/impl/testlib/Test/Cardano/Ledger/Shelley/ImpTest.hs

@@ -1679,6 +1679,7 @@ freshPoolParams khPool rewardAccount = do
   let minCost = pp ^. ppMinPoolCostL
   poolCostExtra <- uniformRM (Coin 0, Coin 100_000_000)
   pledge <- uniformRM (Coin 0, Coin 100_000_000)
+  defaultVote <- arbitrary
   pure
     PoolParams
       { ppVrf = vrfHash
@@ -1690,6 +1691,7 @@ freshPoolParams khPool rewardAccount = do
       , ppMargin = def
       , ppId = khPool
       , ppCost = minCost <> poolCostExtra
+      , ppDefaultVote = defaultVote
       }
 
 registerPool ::

eras/shelley/test-suite/bench/Cardano/Ledger/Shelley/Bench/Rewards.hs

@@ -149,6 +149,7 @@ genChainInEpoch epoch = do
                         , ppOwners = Set.singleton owner
                         , ppRelays = StrictSeq.empty
                         , ppMetadata = SNothing
+                        , ppDefaultVote = SNothing
                         }
               ]
         , sgsStake =

eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/BenchmarkFunctions.hs

@@ -362,6 +362,7 @@ mkPoolParameters keys =
     , ppOwners = Set.singleton $ hashKey (vKey stakeKeyOne)
     , ppRelays = StrictSeq.empty
     , ppMetadata = SNothing
+    , ppDefaultVote = SNothing
     }
 
 -- Create stake pool registration certs

eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/Examples/Cast.hs

@@ -137,6 +137,7 @@ alicePoolParams =
             { pmUrl = fromJust $ textToUrl 64 "alice.pool"
             , pmHash = BS.pack "{}"
             }
+    , ppDefaultVote = SNothing
     }
 
 -- | Alice's VRF key hash
@@ -187,6 +188,7 @@ bobPoolParams =
     , ppOwners = Set.singleton $ hashKey (vKey bobStake)
     , ppRelays = StrictSeq.empty
     , ppMetadata = SNothing
+    , ppDefaultVote = SNothing
     }
 
 -- | Bob's VRF key hash

eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/Generator/TxCert.hs

@@ -389,6 +389,7 @@ genStakePool poolKeys skeys (Coin minPoolCost) =
               Set.empty
               StrictSeq.empty
               SNothing
+              SNothing
        in (pps, aikCold allPoolKeys)
 
 -- | Generate `RegPool` and the key witness.

eras/shelley/test-suite/src/Test/Cardano/Ledger/Shelley/Rewards.hs

@@ -276,6 +276,7 @@ genPoolInfo PoolSetUpArgs {poolPledge, poolCost, poolMargin, poolMembers} = do
           , ppOwners = Set.fromList [hashKey $ vKey ownerKey]
           , ppRelays = StrictSeq.empty
           , ppMetadata = SNothing
+          , ppDefaultVote = SNothing
           }
   pure $ PoolInfo {params, coldKey, ownerKey, ownerStake, rewardKey, members}
 

eras/shelley/test-suite/test/Test/Cardano/Ledger/Shelley/Fees.hs

@@ -126,6 +126,7 @@ alicePoolParams =
             { pmUrl = fromJust $ textToUrl 64 "alice.pool"
             , pmHash = BS.pack "{}"
             }
+    , ppDefaultVote = SNothing
     }
 
 aliceAddr :: Addr

eras/shelley/test-suite/test/Test/Cardano/Ledger/Shelley/Serialisation/Golden/Encoding.hs

@@ -536,6 +536,7 @@ tests =
                             { pmUrl = Maybe.fromJust $ textToUrl 64 poolUrl
                             , pmHash = poolMDHash
                             }
+                    , ppDefaultVote = SNothing
                     }
                 )
             )

eras/shelley/test-suite/test/Test/Cardano/Ledger/Shelley/Serialisation/Golden/Genesis.hs

@@ -265,6 +265,7 @@ exampleShelleyGenesis =
                 { L.pmUrl = fromJust $ textToUrl 64 "best.pool.com"
                 , L.pmHash = BS.pack "100ab{}100ab{}"
                 }
+        , L.ppDefaultVote = L.SNothing
         }
     staking =
       ShelleyGenesisStaking