Expose more functionality from cardano-api

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

@@ -20,19 +20,27 @@ module Cardano.Api.Certificate (
 
     -- * Registering stake address and delegating
     StakeAddressRequirements(..),
+    StakeDelegationRequirements(..),
+    makeStakeAddressDelegationCertificate,
     makeStakeAddressRegistrationCertificate,
     makeStakeAddressUnregistrationCertificate,
     makeStakeAddressPoolDelegationCertificate,
     PoolId,
 
     -- * Registering stake pools
+    StakePoolRegistrationRequirements(..),
+    StakePoolRetirementRequirements(..),
     makeStakePoolRegistrationCertificate,
     makeStakePoolRetirementCertificate,
     StakePoolParameters(..),
     StakePoolRelay(..),
     StakePoolMetadataReference(..),
 
     -- * Conway specific certificates
+    CommitteeColdkeyResignationRequirements(..),
+    CommitteeHotKeyAuthorizationRequirements(..),
+    DRepRegistrationRequirements(..),
+    DRepUnregistrationRequirements(..),
     makeCommitteeColdkeyResignationCertificate,
     makeCommitteeHotKeyAuthorizationCertificate,
     makeDrepRegistrationCertificate,
@@ -42,6 +50,8 @@ module Cardano.Api.Certificate (
     DRepMetadataReference(..),
 
     -- * Special certificates
+    GenesisKeyDelegationRequirements(..),
+    MirCertificateRequirements(..),
     makeMIRCertificate,
     makeGenesisKeyDelegationCertificate,
     Ledger.MIRTarget (..),
@@ -532,7 +542,6 @@ makeStakePoolRetirementCertificate req =
         $ Ledger.mkRetirePoolTxCert (unStakePoolKeyHash poolId) retirementEpoch
 
 data GenesisKeyDelegationRequirements ere where
-
   GenesisKeyDelegationRequirements
     :: ShelleyToBabbageEra era
     -> Hash GenesisKey

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

@@ -17,7 +17,10 @@ module Cardano.Api.ReexposeLedger
   , EraTxCert(..)
 
   -- Core
+  , Coin (..)
   , PoolCert(..)
+  , addDeltaCoin
+  , toDeltaCoin
   , toEraCBOR
   , fromEraCBOR
 
@@ -53,6 +56,7 @@ import           Cardano.Ledger.Api
 import           Cardano.Ledger.BaseTypes (DnsName, Url, boundRational, dnsToText,
                    maybeToStrictMaybe, portToWord16, strictMaybeToMaybe, textToDns, textToUrl,
                    unboundRational, urlToText)
+import           Cardano.Ledger.Coin (Coin (..), addDeltaCoin, toDeltaCoin)
 import           Cardano.Ledger.Conway.TxCert (ConwayCommitteeCert (..), ConwayDelegCert (..),
                    ConwayEraTxCert (..), ConwayTxCert (..))
 import           Cardano.Ledger.Core (PoolCert (..), fromEraCBOR, toEraCBOR)

cardano-api/src/Cardano/Api.hs

@@ -392,13 +392,17 @@ module Cardano.Api (
     -- unregistering stake address, and for setting the stake pool delegation
     -- choice for a stake address.
     StakeAddressRequirements(..),
+    StakeDelegationRequirements(..),
+    makeStakeAddressDelegationCertificate,
     makeStakeAddressRegistrationCertificate,
     makeStakeAddressUnregistrationCertificate,
     makeStakeAddressPoolDelegationCertificate,
 
     -- ** Registering stake pools
     -- | Certificates that are embedded in transactions for registering and
     -- retiring stake pools. This includes updating the stake pool parameters.
+    StakePoolRegistrationRequirements(..),
+    StakePoolRetirementRequirements(..),
     makeStakePoolRegistrationCertificate,
     makeStakePoolRetirementCertificate,
     StakePoolParameters,
@@ -790,6 +794,8 @@ module Cardano.Api (
     -- * Special transactions
     -- | There are various additional things that can be embedded in a
     -- transaction for special operations.
+    GenesisKeyDelegationRequirements(..),
+    MirCertificateRequirements(..),
     makeMIRCertificate,
     makeGenesisKeyDelegationCertificate,
     MIRTarget (..),
@@ -909,6 +915,10 @@ module Cardano.Api (
     validateAndHashDRepMetadata,
 
     -- ** Governance related certificates
+    CommitteeColdkeyResignationRequirements(..),
+    CommitteeHotKeyAuthorizationRequirements(..),
+    DRepRegistrationRequirements(..),
+    DRepUnregistrationRequirements(..),
     makeCommitteeColdkeyResignationCertificate,
     makeCommitteeHotKeyAuthorizationCertificate,
     makeDrepRegistrationCertificate,

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

@@ -269,8 +269,11 @@ module Cardano.Api.Shelley
     fromAlonzoCostModels,
     --TODO: arrange not to export these
     toShelleyNetwork,
+    obtainCryptoConstraints,
     obtainEraConstraints,
     obtainEraPParamsConstraint,
+    obtainEraCryptoConstraints,
+    fromShelleyPoolParams,
 
   ) where