Merge pull request #5002 from IntersectMBO/ldan/eratest-classes

Add `EraTest` classes

Author: Lucsanszky

eras/allegra/impl/CHANGELOG.md

@@ -10,6 +10,10 @@
 * Deprecate `TimelockConstr`
 * Rename `atbrTxFee` to `atbrFee` for consistency
 
+### `testlib`
+
+* Added `Era` module with `AllegraEraTest` class
+
 ## 1.7.0.0
 
 * Add `DecCBOR` instances for:

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

@@ -89,6 +89,7 @@ library testlib
     Test.Cardano.Ledger.Allegra.Binary.Annotator
     Test.Cardano.Ledger.Allegra.Binary.Cddl
     Test.Cardano.Ledger.Allegra.CDDL
+    Test.Cardano.Ledger.Allegra.Era
     Test.Cardano.Ledger.Allegra.Imp
     Test.Cardano.Ledger.Allegra.Imp.UtxowSpec
     Test.Cardano.Ledger.Allegra.ImpTest

eras/allegra/impl/testlib/Test/Cardano/Ledger/Allegra/Era.hs

@@ -0,0 +1,29 @@
+{-# LANGUAGE UndecidableSuperClasses #-}
+{-# OPTIONS_GHC -Wno-orphans #-}
+
+module Test.Cardano.Ledger.Allegra.Era (
+  module Test.Cardano.Ledger.Shelley.Era,
+  AllegraEraTest,
+) where
+
+import Cardano.Ledger.Allegra
+import Cardano.Ledger.Allegra.Core
+import Cardano.Ledger.Allegra.Scripts
+import Test.Cardano.Ledger.Allegra.Arbitrary ()
+import Test.Cardano.Ledger.Allegra.TreeDiff ()
+import Test.Cardano.Ledger.Era
+import Test.Cardano.Ledger.Shelley.Era
+
+class
+  ( ShelleyEraTest era
+  , AllegraEraTxBody era
+  , AllegraEraTxAuxData era
+  , AllegraEraScript era
+  ) =>
+  AllegraEraTest era
+
+instance EraTest AllegraEra
+
+instance ShelleyEraTest AllegraEra
+
+instance AllegraEraTest AllegraEra

eras/allegra/impl/testlib/Test/Cardano/Ledger/Allegra/Imp.hs

@@ -16,8 +16,7 @@ import Test.Cardano.Ledger.Shelley.ImpTest
 
 spec ::
   forall era.
-  ( Arbitrary (TxAuxData era)
-  , ShelleyEraImp era
+  ( ShelleyEraImp era
   , InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure era
   , InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era
   ) =>

eras/allegra/impl/testlib/Test/Cardano/Ledger/Allegra/ImpTest.hs

@@ -31,6 +31,7 @@ import qualified Data.Map.Strict as Map
 import Data.Sequence.Strict (StrictSeq (..))
 import qualified Data.Set as Set
 import Lens.Micro ((^.))
+import Test.Cardano.Ledger.Allegra.Era ()
 import Test.Cardano.Ledger.Allegra.TreeDiff ()
 import Test.Cardano.Ledger.Core.KeyPair (KeyPair)
 import Test.Cardano.Ledger.Shelley.ImpTest

eras/alonzo/impl/CHANGELOG.md

@@ -14,6 +14,10 @@
 * Deprecate `TxDats'` and `AlonzoTxWits'`
 * Deprecate `txwitsVKey'`, `txwitsBoot'`, `txscripts'`, `txdats'` and `txrdmrs'`
 
+### `testlib`
+
+* Added `Era` module with `AlonzoEraTest` class
+
 ## 1.13.0.0
 
 * Add `DecCBOR` instances for:

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

@@ -114,6 +114,7 @@ library testlib
     Test.Cardano.Ledger.Alonzo.Binary.RoundTrip
     Test.Cardano.Ledger.Alonzo.Binary.TxWitsSpec
     Test.Cardano.Ledger.Alonzo.CDDL
+    Test.Cardano.Ledger.Alonzo.Era
     Test.Cardano.Ledger.Alonzo.Imp
     Test.Cardano.Ledger.Alonzo.Imp.UtxoSpec
     Test.Cardano.Ledger.Alonzo.Imp.UtxosSpec

eras/alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo/Era.hs

@@ -0,0 +1,41 @@
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
+{-# LANGUAGE UndecidableSuperClasses #-}
+{-# OPTIONS_GHC -Wno-orphans #-}
+
+module Test.Cardano.Ledger.Alonzo.Era (
+  module Test.Cardano.Ledger.Mary.Era,
+  AlonzoEraTest,
+) where
+
+import Cardano.Ledger.Alonzo
+import Cardano.Ledger.Alonzo.Core
+import Cardano.Ledger.Alonzo.Plutus.Context
+import Cardano.Ledger.Alonzo.Scripts ()
+import Cardano.Ledger.Alonzo.UTxO
+import Data.TreeDiff
+import Test.Cardano.Ledger.Alonzo.Arbitrary ()
+import Test.Cardano.Ledger.Alonzo.TreeDiff ()
+import Test.Cardano.Ledger.Mary.Era
+
+class
+  ( MaryEraTest era
+  , EraPlutusContext era
+  , AlonzoEraTx era
+  , AlonzoEraTxAuxData era
+  , AlonzoEraUTxO era
+  , ToExpr (PlutusScript era)
+  , Script era ~ AlonzoScript era
+  ) =>
+  AlonzoEraTest era
+
+instance EraTest AlonzoEra
+
+instance ShelleyEraTest AlonzoEra
+
+instance AllegraEraTest AlonzoEra
+
+instance MaryEraTest AlonzoEra
+
+instance AlonzoEraTest AlonzoEra

eras/alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo/Imp.hs

@@ -27,8 +27,7 @@ import qualified Test.Cardano.Ledger.Mary.Imp as MaryImp
 
 spec ::
   forall era.
-  ( Arbitrary (TxAuxData era)
-  , AlonzoEraImp era
+  ( AlonzoEraImp era
   , InjectRuleFailure "LEDGER" ShelleyDelegPredFailure era
   , InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure era
   , InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era

eras/alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo/ImpTest.hs

@@ -46,7 +46,6 @@ import Cardano.Ledger.Alonzo (AlonzoEra)
 import Cardano.Ledger.Alonzo.Core
 import Cardano.Ledger.Alonzo.Genesis (AlonzoGenesis (..))
 import Cardano.Ledger.Alonzo.PParams (getLanguageView)
-import Cardano.Ledger.Alonzo.Plutus.Context (EraPlutusContext)
 import Cardano.Ledger.Alonzo.Plutus.Evaluate (
   collectPlutusScriptsWithContext,
   evalPlutusScriptsWithLogs,
@@ -61,7 +60,7 @@ import Cardano.Ledger.Alonzo.Scripts (plutusScriptLanguage, toAsItem, toAsIx)
 import Cardano.Ledger.Alonzo.Tx (IsValid (..), hashScriptIntegrity)
 import Cardano.Ledger.Alonzo.TxAuxData (AlonzoTxAuxData)
 import Cardano.Ledger.Alonzo.TxWits (unRedeemersL, unTxDatsL)
-import Cardano.Ledger.Alonzo.UTxO (AlonzoEraUTxO (..), AlonzoScriptsNeeded (..))
+import Cardano.Ledger.Alonzo.UTxO (AlonzoScriptsNeeded (..))
 import Cardano.Ledger.BaseTypes (Globals (..), StrictMaybe (..))
 import Cardano.Ledger.Coin (Coin (..))
 import Cardano.Ledger.Credential (Credential (..))
@@ -97,6 +96,7 @@ import qualified Data.Set as Set
 import Lens.Micro
 import Lens.Micro.Mtl (use)
 import qualified PlutusLedgerApi.Common as P
+import Test.Cardano.Ledger.Alonzo.Era
 import Test.Cardano.Ledger.Alonzo.TreeDiff ()
 import Test.Cardano.Ledger.Core.Arbitrary ()
 import Test.Cardano.Ledger.Core.Rational ((%!))
@@ -112,11 +112,7 @@ import Test.Cardano.Ledger.Plutus.Guardrail (guardrailScript)
 
 class
   ( MaryEraImp era
-  , AlonzoEraScript era
-  , AlonzoEraTxWits era
-  , AlonzoEraTx era
-  , AlonzoEraUTxO era
-  , EraPlutusContext era
+  , AlonzoEraTest era
   , ScriptsNeeded era ~ AlonzoScriptsNeeded era
   , TxAuxData era ~ AlonzoTxAuxData era
   ) =>
@@ -440,7 +436,7 @@ instance ShelleyEraImp AlonzoEra where
 
 instance MaryEraImp AlonzoEra
 
-instance MaryEraImp AlonzoEra => AlonzoEraImp AlonzoEra where
+instance AlonzoEraImp AlonzoEra where
   scriptTestContexts = plutusTestScripts SPlutusV1
 
 impLookupScriptContext ::