Add Era module to Alonzo testlib

Author: Lucsanszky

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