cardano-cli: Add option --stake-address to subcommand stake-address registration-certificate

Fix #2723

Author: cblp

cardano-cli/src/Cardano/CLI/Shelley/Commands.hs

@@ -118,7 +118,7 @@ data StakeAddressCmd
   = StakeAddressKeyGen VerificationKeyFile SigningKeyFile
   | StakeAddressKeyHash (VerificationKeyOrFile StakeKey) (Maybe OutputFile)
   | StakeAddressBuild StakeVerifier NetworkId (Maybe OutputFile)
-  | StakeRegistrationCert StakeVerifier OutputFile
+  | StakeRegistrationCert (Either StakeVerifier StakeAddress) OutputFile
   | StakeCredentialDelegationCert
       StakeVerifier
       (VerificationKeyOrHashOrFile StakePoolKey)

cardano-cli/src/Cardano/CLI/Shelley/Parsers.hs

@@ -341,9 +341,10 @@ pStakeAddressCmd =
                                            <*> pMaybeOutputFile
 
     pStakeAddressRegistrationCert :: Parser StakeAddressCmd
-    pStakeAddressRegistrationCert = StakeRegistrationCert
-                                      <$> pStakeVerifier
-                                      <*> pOutputFile
+    pStakeAddressRegistrationCert =
+      StakeRegistrationCert
+      <$> (Left <$> pStakeVerifier <|> Right <$> pStakeAddress)
+      <*> pOutputFile
 
     pStakeAddressDeregistrationCert :: Parser StakeAddressCmd
     pStakeAddressDeregistrationCert = StakeCredentialDeRegistrationCert

cardano-cli/src/Cardano/CLI/Shelley/Run/StakeAddress.hs

@@ -116,23 +116,31 @@ runStakeAddressBuild stakeVerifier network mOutputFp =
 
 
 runStakeCredentialRegistrationCert
-  :: StakeVerifier
+  :: Either StakeVerifier StakeAddress
   -> OutputFile
   -> ExceptT ShelleyStakeAddressCmdError IO ()
 runStakeCredentialRegistrationCert stakeVerifier (OutputFile oFp) =
   case stakeVerifier of
-    StakeVerifierScriptFile (ScriptFile sFile) -> do
+    Left (StakeVerifierScriptFile (ScriptFile sFile)) -> do
       ScriptInAnyLang _ script <- firstExceptT ShelleyStakeAddressCmdReadScriptFileError
                                     $ readFileScriptInAnyLang sFile
       let stakeCred = StakeCredentialByScript $ hashScript script
       writeRegistrationCert stakeCred
-    StakeVerifierKey stakeVerKeyOrFile -> do
+    Left (StakeVerifierKey stakeVerKeyOrFile) -> do
       stakeVerKey <- firstExceptT ShelleyStakeAddressCmdReadKeyFileError
         . newExceptT
         $ readVerificationKeyOrFile AsStakeKey stakeVerKeyOrFile
       let stakeCred = StakeCredentialByKey (verificationKeyHash stakeVerKey)
       writeRegistrationCert stakeCred
+    Right stakeAddr ->
+      writeRegistrationCert $ stakeAddrToStakeCredential stakeAddr
  where
+
+  --TODO: expose a pattern for StakeAddress that give us the StakeCredential
+  stakeAddrToStakeCredential :: StakeAddress -> StakeCredential
+  stakeAddrToStakeCredential (StakeAddress _ scred) =
+    fromShelleyStakeCredential scred
+
   writeRegistrationCert
     :: StakeCredential
     -> ExceptT ShelleyStakeAddressCmdError IO ()