Explicit TxOut exports from the API:

* Hide the internal compact versions from TxOut interface: `compactValueTxOutL`, `valueEitherTxOutL`, `compactAddrTxOutL` and `addrEitherTxOutL` * Export `coinTxOutL` and `bootAddrTxOutF` * Export `ValidityInterval`
IntersectMBO · Mar 16, 2023 · 563aa1c · 563aa1c
1 parent 16fc034
commit 563aa1c
Show file tree

Hide file tree

Showing 3 changed files with 39 additions and 10 deletions.
diff --git a/libs/cardano-ledger-api/CHANGELOG.md b/libs/cardano-ledger-api/CHANGELOG.md
@@ -10,6 +10,10 @@
 * Export `ShelleyTxAuxData`, `AllegraTxAuxData` and `AlonzoTxAuxData` from
   `Cardano.Ledger.Api.Tx.AuxData`
 * Export `LangDepView` and `getLanguageView` from `Cardano.Ledger.Api.PParams`
+* Hide the internal compact versions from TxOut interface: `compactValueTxOutL`,
+  `valueEitherTxOutL`, `compactAddrTxOutL` and `addrEitherTxOutL`
+* Export `coinTxOutL` and `bootAddrTxOutF`
+* Export `ValidityInterval`
 
 
 ## 1.0.0.0

diff --git a/libs/cardano-ledger-api/src/Cardano/Ledger/Api/Tx/Body.hs b/libs/cardano-ledger-api/src/Cardano/Ledger/Api/Tx/Body.hs
@@ -30,6 +30,7 @@ module Cardano.Ledger.Api.Tx.Body (
   -- * Allegra Era
   AllegraEraTxBody,
   vldtTxBodyL,
+  ValidityInterval (..),
 
   -- * Mary Era
   MaryEraTxBody,

diff --git a/libs/cardano-ledger-api/src/Cardano/Ledger/Api/Tx/Out.hs b/libs/cardano-ledger-api/src/Cardano/Ledger/Api/Tx/Out.hs
@@ -31,33 +31,57 @@
 -- :}
 -- +++ OK, passed 100 tests.
 module Cardano.Ledger.Api.Tx.Out (
+  module Cardano.Ledger.Api.Tx.Address,
   module Cardano.Ledger.Api.Scripts.Data,
-  EraTxOut (..),
+  EraTxOut,
+  mkBasicTxOut,
+
+  -- ** Value
+  valueTxOutL,
+  coinTxOutL,
+  isAdaOnlyTxOutF,
+
+  -- ** Address
+  addrTxOutL,
+  bootAddrTxOutF,
+
+  -- ** Size
+  getMinCoinTxOut,
   setMinCoinTxOut,
+  getMinCoinSizedTxOut,
   setMinCoinSizedTxOut,
   ensureMinCoinTxOut,
   ensureMinCoinSizedTxOut,
 
   -- * Shelley, Allegra and Mary Era
-  ShelleyTxOut,
 
   -- * Alonzo Era
-  AlonzoTxOut,
-  AlonzoEraTxOut (..),
+  AlonzoEraTxOut,
+  dataHashTxOutL,
+  datumTxOutF,
 
   -- * Babbage Era
-  BabbageTxOut,
-  BabbageEraTxOut (..),
+  BabbageEraTxOut,
+  dataTxOutL,
+  datumTxOutL,
+  referenceScriptTxOutL,
 )
 where
 
-import Cardano.Ledger.Alonzo.TxBody (AlonzoEraTxOut (..), AlonzoTxOut)
+import Cardano.Ledger.Alonzo.Core (AlonzoEraTxOut (..))
 import Cardano.Ledger.Api.Scripts.Data
-import Cardano.Ledger.Babbage.TxBody (BabbageEraTxOut (..), BabbageTxOut)
+import Cardano.Ledger.Api.Tx.Address
+import Cardano.Ledger.Babbage.Core (BabbageEraTxOut (..))
 import Cardano.Ledger.Binary
 import Cardano.Ledger.Coin
-import Cardano.Ledger.Core (EraTxOut (..), PParams, coinTxOutL, eraProtVerLow)
-import Cardano.Ledger.Shelley.TxBody (ShelleyTxOut)
+import Cardano.Ledger.Core (
+  EraTxOut (..),
+  PParams,
+  bootAddrTxOutF,
+  coinTxOutL,
+  eraProtVerLow,
+  isAdaOnlyTxOutF,
+ )
 import Lens.Micro
 
 setMinCoinTxOutInternal ::