vote create: support DRep and CC script hash

cardano-cli/src/Cardano/CLI/EraBased/Options/Common.hs

@@ -722,7 +722,7 @@ pRemoveCommitteeColdVerificationKeyHash =
   where
     deserialiseFromHex :: String -> Either String (Hash CommitteeColdKey)
     deserialiseFromHex =
-      first (\e -> docToString $ "Invalid Consitutional Committee cold key hash: " <> prettyError e)
+      first (\e -> docToString $ "Invalid Constitutional Committee cold key hash: " <> prettyError e)
         . deserialiseFromRawBytesHex (AsHash AsCommitteeColdKey)
         . BSC.pack
 
@@ -897,17 +897,11 @@ pCommitteeHotKeyHash prefix =
         . deserialiseFromRawBytesHex (AsHash AsCommitteeHotKey)
         . BSC.pack
 
-pCommitteeHotKeyOrFile :: Parser (VerificationKeyOrFile CommitteeHotKey)
-pCommitteeHotKeyOrFile =
-  asum
-    [ VerificationKeyValue <$> pCommitteeHotKey
-    , VerificationKeyFilePath <$> pCommitteeHotKeyFile
-    ]
-
 pCommitteeHotKeyOrHashOrFile :: Parser (VerificationKeyOrHashOrFile CommitteeHotKey)
 pCommitteeHotKeyOrHashOrFile =
   asum
-    [ VerificationKeyOrFile <$> pCommitteeHotKeyOrFile
+    [ VerificationKeyOrFile . VerificationKeyValue <$> pCommitteeHotKey
+    , VerificationKeyOrFile . VerificationKeyFilePath <$> pCommitteeHotKeyFile
     , VerificationKeyHash <$> pCommitteeHotKeyHash Nothing
     ]
 
@@ -919,6 +913,16 @@ pCommitteeHotVerificationKeyOrHashOrVerificationFile =
       VerificationKeyHash <$> pCommitteeHotKeyHash (Just "cc")
     ]
 
+pCommitteeHotVerificationKeyOrHashOrVerificationFileOrScriptHash :: Parser (VerificationKeyOrHashOrFileOrScriptHash CommitteeHotKey)
+pCommitteeHotVerificationKeyOrHashOrVerificationFileOrScriptHash =
+  asum
+    [ VkhfshKeyHashFile <$> pCommitteeHotVerificationKeyOrHashOrVerificationFile
+    , VkhfshScriptHash <$>
+        pScriptHash
+          "cc-hot-script-hash"
+          "Cold Native or Plutus script file hash (hex-encoded). Obtain it with \"cardano-cli conway governance hash script ...\"."
+    ]
+
 catCommands :: [Parser a] -> Maybe (Parser a)
 catCommands = \case
   [] -> Nothing
@@ -3197,6 +3201,17 @@ pDRepVerificationKeyOrHashOrFile =
     , VerificationKeyHash <$> pDRepVerificationKeyHash
     ]
 
+pDRepVerificationKeyOrHashOrFileOrScriptHash :: Parser (VerificationKeyOrHashOrFileOrScriptHash DRepKey)
+pDRepVerificationKeyOrHashOrFileOrScriptHash =
+  asum
+    [ VkhfshKeyHashFile . VerificationKeyOrFile <$> pDRepVerificationKeyOrFile
+    , VkhfshKeyHashFile . VerificationKeyHash <$> pDRepVerificationKeyHash
+    , VkhfshScriptHash <$>
+        pScriptHash
+          "drep-script-hash"
+          "Cold Native or Plutus script file hash (hex-encoded). Obtain it with \"cardano-cli conway governance hash script ...\"."
+    ]
+
 pAllOrOnlyDRepVerificationKeyOrHashOrFile
   :: Parser (AllOrOnly (VerificationKeyOrHashOrFile DRepKey))
 pAllOrOnlyDRepVerificationKeyOrHashOrFile = pAll <|> pOnly

cardano-cli/src/Cardano/CLI/EraBased/Options/Governance/Vote.hs

@@ -51,9 +51,9 @@ pGovernanceVoteCreateCmdArgs cOnwards =
 
 pAnyVotingStakeVerificationKeyOrHashOrFile :: Parser AnyVotingStakeVerificationKeyOrHashOrFile
 pAnyVotingStakeVerificationKeyOrHashOrFile =
-  asum [ AnyDRepVerificationKeyOrHashOrFile <$> pDRepVerificationKeyOrHashOrFile
+  asum [ AnyDRepVerificationKeyOrHashOrFileOrScriptHash <$> pDRepVerificationKeyOrHashOrFileOrScriptHash
        , AnyStakePoolVerificationKeyOrHashOrFile <$> pStakePoolVerificationKeyOrHashOrFile Nothing
-       , AnyCommitteeHotVerificationKeyOrHashOrFile <$> pCommitteeHotVerificationKeyOrHashOrVerificationFile
+       , AnyCommitteeHotVerificationKeyOrHashOrFileOrScriptHash <$> pCommitteeHotVerificationKeyOrHashOrVerificationFileOrScriptHash
        ]
 
 pGovernanceVoteViewCmd :: ()

cardano-cli/src/Cardano/CLI/EraBased/Run/Governance/Vote.hs

@@ -61,17 +61,17 @@ runGovernanceVoteCreateCmd
 
   shelleyBasedEraConstraints sbe $ do
     voter <- firstExceptT  GovernanceVoteCmdReadVerificationKeyError $ case votingStakeCredentialSource of
-      AnyDRepVerificationKeyOrHashOrFile stake -> do
-        DRepKeyHash h <- readVerificationKeyOrHashOrTextEnvFile AsDRepKey stake
-        pure $ L.DRepVoter $ L.KeyHashObj h
+      AnyDRepVerificationKeyOrHashOrFileOrScriptHash stake -> do
+        drepCred <- readVerificationKeyOrHashOrFileOrScriptHash AsDRepKey unDRepKeyHash stake
+        pure $ L.DRepVoter drepCred
 
       AnyStakePoolVerificationKeyOrHashOrFile stake -> do
         StakePoolKeyHash h <- readVerificationKeyOrHashOrTextEnvFile AsStakePoolKey stake
         pure $ L.StakePoolVoter h
 
-      AnyCommitteeHotVerificationKeyOrHashOrFile stake -> do
-        CommitteeHotKeyHash h <- readVerificationKeyOrHashOrTextEnvFile AsCommitteeHotKey stake
-        pure $ L.CommitteeVoter $ L.KeyHashObj h
+      AnyCommitteeHotVerificationKeyOrHashOrFileOrScriptHash stake -> do
+        hotCred <- readVerificationKeyOrHashOrFileOrScriptHash AsCommitteeHotKey unCommitteeHotKeyHash stake
+        pure $ L.CommitteeVoter hotCred
 
     let govActIdentifier = createGovernanceActionId govActionTxId govActionIndex
         votingProcedures = singletonVotingProcedures eon voter govActIdentifier (unVotingProcedure voteProcedure)

cardano-cli/src/Cardano/CLI/Types/Governance.hs

@@ -7,7 +7,7 @@ import           Cardano.Api
 import           Cardano.Api.Shelley
 
 import           Cardano.CLI.Types.Key (DRepHashSource, VerificationKeyOrFile,
-                   VerificationKeyOrHashOrFile)
+                   VerificationKeyOrHashOrFile, VerificationKeyOrHashOrFileOrScriptHash)
 
 import           Data.Word
 
@@ -29,18 +29,11 @@ data VType = VCC -- committee
            | VSP -- spo
            deriving Show
 
-data AnyVotingStakeVerificationKeyOrHashOrFile where
-  AnyDRepVerificationKeyOrHashOrFile
-    :: VerificationKeyOrHashOrFile DRepKey
-    -> AnyVotingStakeVerificationKeyOrHashOrFile
-
-  AnyStakePoolVerificationKeyOrHashOrFile
-    :: VerificationKeyOrHashOrFile StakePoolKey
-    -> AnyVotingStakeVerificationKeyOrHashOrFile
-
-  AnyCommitteeHotVerificationKeyOrHashOrFile
-    :: VerificationKeyOrHashOrFile CommitteeHotKey
-    -> AnyVotingStakeVerificationKeyOrHashOrFile
+-- | Possible credentials for creating a vote
+data AnyVotingStakeVerificationKeyOrHashOrFile =
+    AnyDRepVerificationKeyOrHashOrFileOrScriptHash (VerificationKeyOrHashOrFileOrScriptHash DRepKey)
+  | AnyStakePoolVerificationKeyOrHashOrFile (VerificationKeyOrHashOrFile StakePoolKey)
+  | AnyCommitteeHotVerificationKeyOrHashOrFileOrScriptHash (VerificationKeyOrHashOrFileOrScriptHash CommitteeHotKey)
 
 data VoteDelegationTarget
   = VoteDelegationTargetOfDRep DRepHashSource