diff --git a/cardano-api/internal/Cardano/Api/Governance/Actions/VotingProcedure.hs b/cardano-api/internal/Cardano/Api/Governance/Actions/VotingProcedure.hs index 63b5c3a055..07e979556a 100644 --- a/cardano-api/internal/Cardano/Api/Governance/Actions/VotingProcedure.hs +++ b/cardano-api/internal/Cardano/Api/Governance/Actions/VotingProcedure.hs @@ -52,9 +52,9 @@ newtype GoveranceActionIdentifier ledgerera deriving (Show, Eq) makeGoveranceActionIdentifier - :: EraCrypto ledgerera ~ StandardCrypto - => TxIn -> GoveranceActionIdentifier ledgerera -makeGoveranceActionIdentifier txin = + :: EraCrypto (ShelleyLedgerEra era) ~ StandardCrypto + => ShelleyBasedEra era -> TxIn -> GoveranceActionIdentifier (ShelleyLedgerEra era) +makeGoveranceActionIdentifier _ txin = let Ledger.TxIn txid (Ledger.TxIx txix) = toShelleyTxIn txin in GoveranceActionIdentifier $ Gov.GovernanceActionId @@ -110,13 +110,14 @@ instance TestEquality (Ledger.Credential 'Voting) where -} createVotingProcedure - :: EraCrypto ledgerera ~ StandardCrypto - => VoteChoice + :: EraCrypto (ShelleyLedgerEra era) ~ StandardCrypto + => ShelleyBasedEra era + -> VoteChoice -> VoterType - -> GoveranceActionIdentifier ledgerera - -> VotingCredential ledgerera -- ^ Governance witness credential (ledger checks that you are allowed to vote) - -> Gov.VotingProcedure ledgerera -createVotingProcedure vChoice vt (GoveranceActionIdentifier govActId) (VotingCredential govWitnessCredential) = + -> GoveranceActionIdentifier (ShelleyLedgerEra era) + -> VotingCredential (ShelleyLedgerEra era) -- ^ Governance witness credential (ledger checks that you are allowed to vote) + -> Gov.VotingProcedure (ShelleyLedgerEra era) +createVotingProcedure _ vChoice vt (GoveranceActionIdentifier govActId) (VotingCredential govWitnessCredential) = Gov.VotingProcedure { Gov.vProcGovActionId = govActId , Gov.vProcRole = toVoterRole vt