Update exports

Author: Jimbo4350

cardano-api/gen/Test/Gen/Cardano/Api/Orphans.hs

@@ -15,7 +15,7 @@
 
 module Test.Gen.Cardano.Api.Orphans (obtainArbitraryConstraints) where
 
-import Cardano.Api hiding (txIns)
+import Cardano.Api hiding (DijkstraEra, txIns)
 import Cardano.Api.Ledger qualified as L
 
 import Cardano.Crypto.Hash.Class (hashWith)

cardano-api/src/Cardano/Api/Certificate/Internal.hs

@@ -67,7 +67,7 @@ module Cardano.Api.Certificate.Internal
   , fromShelleyStakePoolState
 
     -- * Data family instances
-  , AsType (..)
+  , AsType (AsCertificate, AsTxId)
 
     -- * Internal functions
   , filterUnRegCreds
@@ -82,7 +82,7 @@ import Cardano.Api.Certificate.Internal.StakePoolMetadata
 import Cardano.Api.Era
 import Cardano.Api.Error (Error (..))
 import Cardano.Api.Experimental.Tx.Internal.Certificate qualified as Exp
-import Cardano.Api.Governance.Internal.Action.VotingProcedure
+import Cardano.Api.Experimental.Tx.Internal.Certificate.Compatible (getTxCertWitness)
 import Cardano.Api.HasTypeProxy
 import Cardano.Api.Internal.Utils (noInlineMaybeToStrictMaybe)
 import Cardano.Api.Key.Internal
@@ -91,7 +91,6 @@ import Cardano.Api.Ledger.Internal.Reexport qualified as Ledger
 import Cardano.Api.Pretty (Doc)
 import Cardano.Api.Serialise.Cbor
 import Cardano.Api.Serialise.TextEnvelope.Internal
-import Cardano.Api.Value.Internal
 
 import Cardano.Ledger.BaseTypes (strictMaybe)
 import Cardano.Ledger.Coin qualified as L

cardano-api/src/Cardano/Api/Era.hs

@@ -8,6 +8,7 @@ module Cardano.Api.Era
   , AlonzoEra
   , BabbageEra
   , ConwayEra
+  , DijkstraEra
 
     -- * Eons
   , module Cardano.Api.Era.Internal.Eon.ShelleyBasedEra

cardano-api/src/Cardano/Api/Experimental.hs

@@ -21,7 +21,6 @@ module Cardano.Api.Experimental
   , obtainCommonConstraints
   , hashTxBody
   , evaluateTransactionExecutionUnitsShelley
-  , Certificate (..)
   , AnchorDataFromCertificateError (..)
   , getAnchorDataFromCertificate
   , mkTxCertificates
@@ -60,6 +59,29 @@ module Cardano.Api.Experimental
   , PlutusScriptDatum (..)
   , NoScriptDatum (..)
 
+    -- ** Certificate related
+  , Certificate (..)
+
+    -- * Registering stake address and delegating
+  , makeStakeAddressDelegationCertificate
+  , makeStakeAddressRegistrationCertificate
+  , makeStakeAddressUnregistrationCertificate
+
+    -- * Registering stake pools
+  , makeStakePoolRegistrationCertificate
+  , makeStakePoolRetirementCertificate
+
+    -- * Governance related certificates
+  , makeCommitteeColdkeyResignationCertificate
+  , makeCommitteeHotKeyAuthorizationCertificate
+  , makeDrepRegistrationCertificate
+  , makeDrepUnregistrationCertificate
+  , makeDrepUpdateCertificate
+  , makeStakeAddressAndDRepDelegationCertificate
+
+    -- * Data family instances
+  , AsType (..)
+
     -- ** Internal
   , getAnyWitnessRedeemerPointerMap
   , toPlutusScriptPurpose
@@ -78,7 +100,6 @@ import Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
 import Cardano.Api.Experimental.Plutus.Internal.Shim.LegacyScripts
 import Cardano.Api.Experimental.Simple.Script
 import Cardano.Api.Experimental.Tx
-import Cardano.Api.Experimental.Tx.Internal.Certificate
 import Cardano.Api.Experimental.Tx.Internal.Compatible
 import Cardano.Api.Experimental.Tx.Internal.Fee
 import Cardano.Api.Tx.Internal.Fee (evaluateTransactionExecutionUnitsShelley)

cardano-api/src/Cardano/Api/Experimental/Certificate.hs

@@ -31,7 +31,9 @@ module Cardano.Api.Experimental.Certificate
   , fromShelleyPoolParams
 
     -- * Data family instances
-  , AsType (..)
+  , AsType (AsCertificate)
+
+    -- * DRep and Stake Pool Ids
   , Hash (..)
 
     -- * Operational Certificates

cardano-api/src/Cardano/Api/Experimental/Era.hs

@@ -310,7 +310,8 @@ type EraCommonConstraints era =
   , L.EraTxOut (LedgerEra era)
   , L.EraUTxO (LedgerEra era)
   , FromCBOR (ChainDepState (ConsensusProtocol era))
-  , L.NativeScript (LedgerEra era) ~ L.Timelock (LedgerEra era)
+  , -- , FromCBOR (L.TxCert (LedgerEra era))
+    L.NativeScript (LedgerEra era) ~ L.Timelock (LedgerEra era)
   , PraosProtocolSupportsNode (ConsensusProtocol era)
   , ShelleyLedgerEra era ~ LedgerEra era
   , ToJSON (ChainDepState (ConsensusProtocol era))

cardano-api/src/Cardano/Api/Experimental/Tx/Internal/Certificate.hs

@@ -16,7 +16,6 @@ module Cardano.Api.Experimental.Tx.Internal.Certificate
   , makeStakeAddressDelegationCertificate
   , makeStakeAddressRegistrationCertificate
   , makeStakeAddressUnregistrationCertificate
-  -- , PoolId
 
     -- * Registering stake pools
   , makeStakePoolRegistrationCertificate

cardano-api/src/Cardano/Api/Experimental/Tx/Internal/Certificate/Type.hs

@@ -4,17 +4,15 @@
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE StandaloneDeriving #-}
-{-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
-{-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
 
 module Cardano.Api.Experimental.Tx.Internal.Certificate.Type
   ( Certificate (..)
+  , AsType (AsCertificate)
   )
 where
 
-import Cardano.Api.Era.Internal.Eon.ShelleyBasedEra
 import Cardano.Api.HasTypeProxy
 import Cardano.Api.Ledger qualified as L
 import Cardano.Api.Serialise.Cbor
@@ -35,8 +33,7 @@ deriving instance Ord (Certificate era)
 
 instance
   ( Typeable ledgerera
-  , IsShelleyBasedEra era
-  , ShelleyLedgerEra era ~ ledgerera
+  , L.EraTxCert ledgerera
   )
   => HasTextEnvelope (Certificate ledgerera)
   where
@@ -48,12 +45,11 @@ instance Typeable era => HasTypeProxy (Certificate era) where
 
 instance
   ( Typeable ledgerera
-  , IsShelleyBasedEra era
-  , ShelleyLedgerEra era ~ ledgerera
+  , L.EraTxCert ledgerera
   )
   => SerialiseAsCBOR (Certificate ledgerera)
   where
   serialiseToCBOR (Certificate cert) =
     CBOR.serialize' cert
   deserialiseFromCBOR _ bs =
-    shelleyBasedEraConstraints (shelleyBasedEra @era) $ Certificate <$> CBOR.decodeFull' bs
+    Certificate <$> CBOR.decodeFull' bs