Add Era module to Allegra testlib

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