Merge pull request #147 from input-output-hk/jordan/expore-more-20230727

Expose shelleyCertificateConstraints and conwayCertificateConstraints
IntersectMBO · Jul 27, 2023 · 57fe7cf · 57fe7cf
2 parents c0e6889 + 9275e64
commit 57fe7cf
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/cardano-api/internal/Cardano/Api/Certificate.hs b/cardano-api/internal/Cardano/Api/Certificate.hs
@@ -67,6 +67,8 @@ module Cardano.Api.Certificate (
     AsType(..),
 
     -- * Internal functions
+    shelleyCertificateConstraints,
+    conwayCertificateConstraints,
     filterUnRegCreds,
     selectStakeCredential,
   ) where
@@ -816,6 +818,7 @@ shelleyCertificateConstraints
   -> (( Ledger.ShelleyEraTxCert (ShelleyLedgerEra era)
       , EraCrypto (ShelleyLedgerEra era) ~ StandardCrypto
       , Ledger.TxCert (ShelleyLedgerEra era) ~ Ledger.ShelleyTxCert (ShelleyLedgerEra era)
+      , IsShelleyBasedEra era
       ) => a)
   -> a
 shelleyCertificateConstraints = \case
@@ -830,6 +833,7 @@ conwayCertificateConstraints
   -> (( Ledger.ConwayEraTxCert (ShelleyLedgerEra era)
       , EraCrypto (ShelleyLedgerEra era) ~ StandardCrypto
       , Ledger.TxCert (ShelleyLedgerEra era) ~ Ledger.ConwayTxCert (ShelleyLedgerEra era)
+      , IsShelleyBasedEra era
       ) => a)
   -> a
 conwayCertificateConstraints = \case

diff --git a/cardano-api/src/Cardano/Api/Shelley.hs b/cardano-api/src/Cardano/Api/Shelley.hs
@@ -268,14 +268,18 @@ module Cardano.Api.Shelley
     shelleyPayAddrToPlutusPubKHash,
     toConsensusGenTx,
     fromAlonzoCostModels,
-    --TODO: arrange not to export these
+    -- TODO: arrange not to export these
     toShelleyNetwork,
     obtainCryptoConstraints,
     obtainEraConstraints,
     obtainEraPParamsConstraint,
     obtainEraCryptoConstraints,
     fromShelleyPoolParams,
 
+    -- Era based
+    shelleyCertificateConstraints,
+    conwayCertificateConstraints,
+
   ) where
 
 import           Cardano.Api