Deprecate shelleyCertificateConstraints and conwayCertificateConstraints

cardano-api/internal/Cardano/Api/Certificate.hs

@@ -331,10 +331,10 @@ makeStakeAddressRegistrationCertificate :: StakeAddressRequirements era -> Certi
 makeStakeAddressRegistrationCertificate req =
   case req of
     StakeAddrRegistrationPreConway atMostEra scred ->
-      shelleyCertificateConstraints atMostEra
+      shelleyToBabbageEraConstraints atMostEra
         $ makeStakeAddressRegistrationCertificatePreConway atMostEra scred
     StakeAddrRegistrationConway cOnwards ll scred ->
-      conwayCertificateConstraints cOnwards
+      conwayEraOnwardsConstraints cOnwards
         $ makeStakeAddressRegistrationCertificatePostConway cOnwards scred ll
  where
   makeStakeAddressRegistrationCertificatePreConway :: ()
@@ -365,11 +365,11 @@ makeStakeAddressUnregistrationCertificate :: StakeAddressRequirements era -> Cer
 makeStakeAddressUnregistrationCertificate req =
   case req of
     StakeAddrRegistrationConway cOnwards ll scred ->
-      conwayCertificateConstraints cOnwards
+      conwayEraOnwardsConstraints cOnwards
         $ makeStakeAddressDeregistrationCertificatePostConway cOnwards scred ll
 
     StakeAddrRegistrationPreConway atMostEra scred ->
-      shelleyCertificateConstraints atMostEra
+      shelleyToBabbageEraConstraints atMostEra
         $ makeStakeAddressDeregistrationCertificatePreConway atMostEra scred
  where
   makeStakeAddressDeregistrationCertificatePreConway
@@ -442,12 +442,12 @@ makeStakeAddressDelegationCertificate :: StakeDelegationRequirements era -> Cert
 makeStakeAddressDelegationCertificate req =
   case req of
     StakeDelegationRequirementsConwayOnwards cOnwards scred delegatee ->
-      conwayCertificateConstraints cOnwards
+      conwayEraOnwardsConstraints cOnwards
         $ ConwayCertificate cOnwards
         $ Ledger.mkDelegTxCert (toShelleyStakeCredential scred) delegatee
 
     StakeDelegationRequirementsPreConway atMostBabbage scred pid ->
-      shelleyCertificateConstraints atMostBabbage
+      shelleyToBabbageEraConstraints atMostBabbage
         $ ShelleyRelatedCertificate atMostBabbage
         $ Ledger.mkDelegStakeTxCert (toShelleyStakeCredential scred) (unStakePoolKeyHash pid)
 
@@ -468,11 +468,11 @@ makeStakePoolRegistrationCertificate :: ()
 makeStakePoolRegistrationCertificate req =
   case req of
     StakePoolRegistrationRequirementsConwayOnwards cOnwards poolParams ->
-      conwayCertificateConstraints cOnwards
+      conwayEraOnwardsConstraints cOnwards
         $ ConwayCertificate cOnwards
         $ Ledger.mkRegPoolTxCert poolParams
     StakePoolRegistrationRequirementsPreConway atMostBab poolParams ->
-      shelleyCertificateConstraints atMostBab
+      shelleyToBabbageEraConstraints atMostBab
         $ ShelleyRelatedCertificate atMostBab
         $ Ledger.mkRegPoolTxCert poolParams
 
@@ -495,11 +495,11 @@ makeStakePoolRetirementCertificate :: ()
 makeStakePoolRetirementCertificate req =
   case req of
     StakePoolRetirementRequirementsPreConway atMostBab poolId retirementEpoch ->
-      shelleyCertificateConstraints atMostBab
+      shelleyToBabbageEraConstraints atMostBab
         $ ShelleyRelatedCertificate atMostBab
         $ Ledger.mkRetirePoolTxCert (unStakePoolKeyHash poolId) retirementEpoch
     StakePoolRetirementRequirementsConwayOnwards atMostBab poolId retirementEpoch ->
-      conwayCertificateConstraints atMostBab
+      conwayEraOnwardsConstraints atMostBab
         $ ConwayCertificate atMostBab
         $ Ledger.mkRetirePoolTxCert (unStakePoolKeyHash poolId) retirementEpoch
 
@@ -515,7 +515,7 @@ makeGenesisKeyDelegationCertificate :: GenesisKeyDelegationRequirements era -> C
 makeGenesisKeyDelegationCertificate (GenesisKeyDelegationRequirements atMostEra
                                        (GenesisKeyHash hGenKey) (GenesisDelegateKeyHash hGenDelegKey) (VrfKeyHash hVrfKey)) =
   ShelleyRelatedCertificate atMostEra
-    $ shelleyCertificateConstraints atMostEra
+    $ shelleyToBabbageEraConstraints atMostEra
     $ Ledger.ShelleyTxCertGenesisDeleg $ Ledger.GenesisDelegCert hGenKey hGenDelegKey hVrfKey
 
 data MirCertificateRequirements era where
@@ -815,17 +815,13 @@ fromShelleyPoolParams
 shelleyCertificateConstraints
   :: ShelleyToBabbageEra era
   -> (( Ledger.ShelleyEraTxCert (ShelleyLedgerEra era)
-      , EraCrypto (ShelleyLedgerEra era) ~ StandardCrypto
+      , Ledger.EraCrypto (ShelleyLedgerEra era) ~ Ledger.StandardCrypto
       , Ledger.TxCert (ShelleyLedgerEra era) ~ Ledger.ShelleyTxCert (ShelleyLedgerEra era)
       , IsShelleyBasedEra era
       ) => a)
   -> a
-shelleyCertificateConstraints = \case
-  ShelleyToBabbageEraBabbage  -> id
-  ShelleyToBabbageEraAlonzo   -> id
-  ShelleyToBabbageEraMary     -> id
-  ShelleyToBabbageEraAllegra  -> id
-  ShelleyToBabbageEraShelley  -> id
+shelleyCertificateConstraints w f = shelleyToBabbageEraConstraints w f {- HLINT ignore "Eta reduce" -}
+{-# DEPRECATED shelleyCertificateConstraints "Please use 'shelleyToBabbageEraConstraints' instead." #-}
 
 conwayCertificateConstraints
   :: ConwayEraOnwards era
@@ -835,5 +831,5 @@ conwayCertificateConstraints
       , IsShelleyBasedEra era
       ) => a)
   -> a
-conwayCertificateConstraints = \case
-  ConwayEraOnwardsConway      -> id
+conwayCertificateConstraints w f = conwayEraOnwardsConstraints w f {- HLINT ignore "Eta reduce" -}
+{-# DEPRECATED conwayCertificateConstraints "Please use 'conwayEraOnwardsConstraints' instead." #-}

cardano-api/internal/Cardano/Api/Feature/ShelleyToBabbageEra.hs

@@ -55,22 +55,22 @@ instance FeatureInEra ShelleyToBabbageEra where
     BabbageEra  -> yes ShelleyToBabbageEraBabbage
     ConwayEra   -> no
 
-type ShelleyToBabbageEraConstraints era ledgerera =
-  ( C.HashAlgorithm (L.HASH (L.EraCrypto ledgerera))
-  , C.Signable (L.VRF (L.EraCrypto ledgerera)) L.Seed
+type ShelleyToBabbageEraConstraints era =
+  ( C.HashAlgorithm (L.HASH (L.EraCrypto (ShelleyLedgerEra era)))
+  , C.Signable (L.VRF (L.EraCrypto (ShelleyLedgerEra era))) L.Seed
   , Consensus.PraosProtocolSupportsNode (ConsensusProtocol era)
-  , Consensus.ShelleyCompatible (ConsensusProtocol era) ledgerera
+  , Consensus.ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era)
   , L.ADDRHASH (Consensus.PraosProtocolSupportsNodeCrypto (ConsensusProtocol era)) ~ Blake2b.Blake2b_224
-  , L.Crypto (L.EraCrypto ledgerera)
-  , L.Era ledgerera
-  , L.EraCrypto ledgerera ~ L.StandardCrypto
-  , L.EraPParams ledgerera
-  , L.EraTx ledgerera
-  , L.EraTxBody ledgerera
-  , L.HashAnnotated (L.TxBody ledgerera) L.EraIndependentTxBody L.StandardCrypto
-  , L.ShelleyEraTxBody ledgerera
-  , L.ShelleyEraTxCert ledgerera
-  , L.TxCert ledgerera ~ L.ShelleyTxCert ledgerera
+  , L.Crypto (L.EraCrypto (ShelleyLedgerEra era))
+  , L.Era (ShelleyLedgerEra era)
+  , L.EraCrypto (ShelleyLedgerEra era) ~ L.StandardCrypto
+  , L.EraPParams (ShelleyLedgerEra era)
+  , L.EraTx (ShelleyLedgerEra era)
+  , L.EraTxBody (ShelleyLedgerEra era)
+  , L.HashAnnotated (L.TxBody (ShelleyLedgerEra era)) L.EraIndependentTxBody L.StandardCrypto
+  , L.ShelleyEraTxBody (ShelleyLedgerEra era)
+  , L.ShelleyEraTxCert (ShelleyLedgerEra era)
+  , L.TxCert (ShelleyLedgerEra era) ~ L.ShelleyTxCert (ShelleyLedgerEra era)
   , FromCBOR (Consensus.ChainDepState (ConsensusProtocol era))
   , FromCBOR (DebugLedgerState era)
   , IsShelleyBasedEra era
@@ -84,9 +84,8 @@ data AnyShelleyToBabbageEra where
 deriving instance Show AnyShelleyToBabbageEra
 
 shelleyToBabbageEraConstraints :: ()
-  => ShelleyLedgerEra era ~ ledgerera
   => ShelleyToBabbageEra era
-  -> (ShelleyToBabbageEraConstraints era ledgerera => a)
+  -> (ShelleyToBabbageEraConstraints era => a)
   -> a
 shelleyToBabbageEraConstraints = \case
   ShelleyToBabbageEraShelley -> id