Detail: change a GADT to a regular type, since the GADT didn't bring …

…any additional type safety
IntersectMBO · Mar 21, 2024 · c981331 · c981331
1 parent bf65f21
commit c981331
Showing 1 changed file with 5 additions and 12 deletions.
diff --git a/cardano-cli/src/Cardano/CLI/Types/Governance.hs b/cardano-cli/src/Cardano/CLI/Types/Governance.hs
@@ -29,18 +29,11 @@ data VType = VCC -- committee
            | VSP -- spo
            deriving Show
 
-data AnyVotingStakeVerificationKeyOrHashOrFile where
-  AnyDRepVerificationKeyOrHashOrFileOrScriptHash
-    :: VerificationKeyOrHashOrFileOrScriptHash DRepKey
-    -> AnyVotingStakeVerificationKeyOrHashOrFile
-
-  AnyStakePoolVerificationKeyOrHashOrFile
-    :: VerificationKeyOrHashOrFile StakePoolKey
-    -> AnyVotingStakeVerificationKeyOrHashOrFile
-
-  AnyCommitteeHotVerificationKeyOrHashOrFileOrScriptHash
-    :: VerificationKeyOrHashOrFileOrScriptHash CommitteeHotKey
-    -> AnyVotingStakeVerificationKeyOrHashOrFile
+-- | Possible credentials for creating a vote
+data AnyVotingStakeVerificationKeyOrHashOrFile =
+    AnyDRepVerificationKeyOrHashOrFileOrScriptHash (VerificationKeyOrHashOrFileOrScriptHash DRepKey)
+  | AnyStakePoolVerificationKeyOrHashOrFile (VerificationKeyOrHashOrFile StakePoolKey)
+  | AnyCommitteeHotVerificationKeyOrHashOrFileOrScriptHash (VerificationKeyOrHashOrFileOrScriptHash CommitteeHotKey)
 
 data VoteDelegationTarget
   = VoteDelegationTargetOfDRep DRepHashSource