Move ConwayEraPlutusTxInfo to TxInfo and remove Context module

Author: teodanciu

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

@@ -36,7 +36,6 @@ library
     Cardano.Ledger.Conway.Governance
     Cardano.Ledger.Conway.Governance.DRepPulser
     Cardano.Ledger.Conway.PParams
-    Cardano.Ledger.Conway.Plutus.Context
     Cardano.Ledger.Conway.Rules
     Cardano.Ledger.Conway.Scripts
     Cardano.Ledger.Conway.State

eras/conway/impl/src/Cardano/Ledger/Conway/Plutus/Context.hs

@@ -12,10 +12,12 @@
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE UndecidableSuperClasses #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 
 module Cardano.Ledger.Conway.TxInfo (
   ConwayContextError (..),
+  ConwayEraPlutusTxInfo (..),
   transTxBodyWithdrawals,
   transTxCert,
   transDRepCred,
@@ -79,9 +81,6 @@ import Cardano.Ledger.Conway.Governance (
   VotingProcedures (..),
   unGovActionIx,
  )
-import Cardano.Ledger.Conway.Plutus.Context (
-  ConwayEraPlutusTxInfo (toPlutusChangedParameters),
- )
 import Cardano.Ledger.Conway.Scripts (ConwayPlutusPurpose (..), PlutusScript (..))
 import Cardano.Ledger.Conway.Tx ()
 import Cardano.Ledger.Conway.TxCert
@@ -727,5 +726,13 @@ scriptPurposeToScriptInfo sp maybeSpendingData =
     PV3.Voting voter -> PV3.VotingScript voter
     PV3.Proposing ix proposal -> PV3.ProposingScript ix proposal
 
+-- | A class to compute the changed parameters in the TxInfo
+-- given a ToPlutusData instance for PParamsUpdate
+class
+  EraPlutusTxInfo l era =>
+  ConwayEraPlutusTxInfo (l :: Language) era
+  where
+  toPlutusChangedParameters :: proxy l -> PParamsUpdate era -> PV3.ChangedParameters
+
 instance ConwayEraPlutusTxInfo 'PlutusV3 ConwayEra where
   toPlutusChangedParameters _ x = PV3.ChangedParameters (PV3.dataToBuiltinData (toPlutusData x))