Remove all deprecated functionality introduced before the latest release

Author: f-f

eras/allegra/impl/CHANGELOG.md

@@ -2,6 +2,8 @@
 
 ## 1.9.0.0
 
+* Remove deprecated type `Allegra`
+* Remove deprecated type `TimelockConstr`
 * Add `invalidBeforeL`, `invalidHereAfterL`
 * Add `basicAllegraTxBody`
 * Add `TxLevel` argument to `Tx` and `TxBody`

eras/allegra/impl/src/Cardano/Ledger/Allegra.hs

@@ -6,7 +6,6 @@
 {-# OPTIONS_GHC -Wno-orphans #-}
 
 module Cardano.Ledger.Allegra (
-  Allegra,
   AllegraEra,
   Tx (..),
 ) where
@@ -23,10 +22,6 @@ import Cardano.Ledger.Allegra.Tx (Tx (..))
 import Cardano.Ledger.Allegra.UTxO ()
 import Cardano.Ledger.Shelley.API
 
-type Allegra = AllegraEra
-
-{-# DEPRECATED Allegra "In favor of `AllegraEra`" #-}
-
 --------------------------------------------------------------------------------
 -- Mempool instances
 --------------------------------------------------------------------------------

eras/allegra/impl/src/Cardano/Ledger/Allegra/Scripts.hs

@@ -40,7 +40,7 @@ module Cardano.Ledger.Allegra.Scripts (
   getTimeStartTimelock,
   mkTimeExpireTimelock,
   getTimeExpireTimelock,
-  Timelock (MkTimelock, TimelockConstr),
+  Timelock (MkTimelock),
   pattern RequireTimeExpire,
   pattern RequireTimeStart,
   TimelockRaw (..),
@@ -232,13 +232,6 @@ newtype Timelock era = MkTimelock (MemoBytes (TimelockRaw era))
   deriving (Eq, Generic)
   deriving newtype (ToCBOR, NFData, SafeToHash)
 
-pattern TimelockConstr :: MemoBytes (TimelockRaw era) -> Timelock era
-pattern TimelockConstr timelockRaw = MkTimelock timelockRaw
-
-{-# COMPLETE TimelockConstr #-}
-
-{-# DEPRECATED TimelockConstr "In favor of more consistently name `MkTimelock`" #-}
-
 instance Era era => MemPack (Timelock era) where
   packedByteCount (MkTimelock mb) = byteCountMemoBytes mb
   packM (MkTimelock mb) = packMemoBytesM mb

eras/alonzo/impl/CHANGELOG.md

@@ -2,6 +2,19 @@
 
 ## 1.15.0.0
 
+* Remove deprecated functions `nullRedeemers`, `lookupRedeemers`, `nullDats`
+* Remove deprecated type `AlonzoTxWits'` and its accessor functions:
+  - `txwitsVKey'`
+  - `txwitsBoot'`
+  - `txscripts'`
+  - `txdats'`
+  - `txrdmrs'`
+* Remove deprecated type `TxDats'`
+* Remove deprecated function `toAlonzoGenesisPairs`
+* Remove deprecated function `toAlonzoTransitionConfigPairs`
+* Remove deprecated function `hashAlonzoTxAuxData`
+* Remove deprecated type `Alonzo`
+* Remove deprecated module `Cardano.Ledger.TxSeq`
 * Remove deprecated accessor functions:
   - `inputs'`
   - `collateral'`
@@ -25,6 +38,7 @@
 
 ### `testlib`
 
+* Remove deprecated function `mkPlutusScript'`
 * Use fixed-sized `uint .size 8` for `slot` and `block_number` in CDDL for header
 * Remove CDDL `protocol_version` redefinition
 * Add `NativeScript` parameter to `exampleTx`

eras/alonzo/impl/cardano-ledger-alonzo.cabal

@@ -44,7 +44,6 @@ library
     Cardano.Ledger.Alonzo.TxAuxData
     Cardano.Ledger.Alonzo.TxBody
     Cardano.Ledger.Alonzo.TxOut
-    Cardano.Ledger.Alonzo.TxSeq
     Cardano.Ledger.Alonzo.TxWits
     Cardano.Ledger.Alonzo.UTxO
 
@@ -143,7 +142,6 @@ library testlib
     -Wunused-packages
 
   build-depends:
-    FailT,
     HUnit,
     base,
     bytestring,

eras/alonzo/impl/src/Cardano/Ledger/Alonzo.hs

@@ -8,7 +8,6 @@
 {-# OPTIONS_GHC -Wno-orphans #-}
 
 module Cardano.Ledger.Alonzo (
-  Alonzo,
   AlonzoEra,
   AlonzoTxOut,
   MaryValue,
@@ -35,10 +34,6 @@ import Cardano.Ledger.Mary.Value (MaryValue)
 import Cardano.Ledger.Plutus.Data ()
 import Cardano.Ledger.Shelley.API
 
-type Alonzo = AlonzoEra
-
-{-# DEPRECATED Alonzo "In favor of `AlonzoEra`" #-}
-
 -- =====================================================
 
 instance ApplyTx AlonzoEra where

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Genesis.hs

@@ -27,7 +27,6 @@ module Cardano.Ledger.Alonzo.Genesis (
     agCollateralPercentage,
     agMaxCollateralInputs
   ),
-  toAlonzoGenesisPairs,
 ) where
 
 import Cardano.Ledger.Alonzo.Era (AlonzoEra)
@@ -192,7 +191,3 @@ instance ToKeyValuePairs AlonzoGenesis where
     , "collateralPercentage" .= agCollateralPercentage ag
     , "maxCollateralInputs" .= agMaxCollateralInputs ag
     ]
-
-toAlonzoGenesisPairs :: Aeson.KeyValue e a => AlonzoGenesis -> [a]
-toAlonzoGenesisPairs = toKeyValuePairs
-{-# DEPRECATED toAlonzoGenesisPairs "In favor of `toKeyValuePairs`" #-}

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Transition.hs

@@ -6,17 +6,14 @@
 
 module Cardano.Ledger.Alonzo.Transition (
   TransitionConfig (..),
-  toAlonzoTransitionConfigPairs,
 ) where
 
 import Cardano.Ledger.Alonzo.Era
 import Cardano.Ledger.Alonzo.Genesis (AlonzoGenesis)
 import Cardano.Ledger.Alonzo.Translation ()
-import Cardano.Ledger.BaseTypes (toKeyValuePairs)
 import Cardano.Ledger.Mary
 import Cardano.Ledger.Mary.Transition (TransitionConfig (MaryTransitionConfig))
 import Cardano.Ledger.Shelley.Transition
-import Data.Aeson (KeyValue (..))
 import GHC.Generics
 import Lens.Micro
 import NoThunks.Class (NoThunks (..))
@@ -39,7 +36,3 @@ instance EraTransition AlonzoEra where
     lens atcAlonzoGenesis (\atc ag -> atc {atcAlonzoGenesis = ag})
 
 instance NoThunks (TransitionConfig AlonzoEra)
-
-toAlonzoTransitionConfigPairs :: KeyValue e a => TransitionConfig AlonzoEra -> [a]
-toAlonzoTransitionConfigPairs = toKeyValuePairs
-{-# DEPRECATED toAlonzoTransitionConfigPairs "In favor of `toKeyValuePairs`" #-}

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Tx.hs

@@ -50,8 +50,6 @@ module Cardano.Ledger.Alonzo.Tx (
   auxDataAlonzoTxL,
   sizeAlonzoTxF,
   isValidAlonzoTxL,
-  txdats',
-  txscripts',
   txrdmrs,
   TxBody (AlonzoTxBody),
   -- Figure 4

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/TxAuxData.hs

@@ -35,7 +35,6 @@ module Cardano.Ledger.Alonzo.TxAuxData (
   AlonzoEraTxAuxData (..),
   AlonzoTxAuxDataRaw (..),
   mkAlonzoTxAuxData,
-  hashAlonzoTxAuxData,
   validateAlonzoTxAuxData,
   getAlonzoTxAuxDataScripts,
   metadataAlonzoTxAuxDataL,
@@ -289,13 +288,6 @@ metadataAlonzoTxAuxDataL =
   lensMemoRawType @era atadrMetadata $
     \txAuxDataRaw md -> txAuxDataRaw {atadrMetadata = md}
 
-hashAlonzoTxAuxData ::
-  HashAnnotated x EraIndependentTxAuxData =>
-  x ->
-  TxAuxDataHash
-hashAlonzoTxAuxData x = TxAuxDataHash (hashAnnotated x)
-{-# DEPRECATED hashAlonzoTxAuxData "In favor of `hashTxAuxData`" #-}
-
 validateAlonzoTxAuxData ::
   (AlonzoEraScript era, Script era ~ AlonzoScript era) =>
   ProtVer ->