Add Era module to Shelley testlib

Author: Lucsanszky

eras/shelley/impl/CHANGELOG.md

@@ -21,6 +21,10 @@
   * `vsDRepsL` moved to Conway
   * `vsCommitteeStateL` moved to Conway
 
+### `testlib`
+
+* Added `Era` module with `ShelleyEraTest` class
+
 ## 1.16.0.0
 
 * Add `ShelleyInstantStake`, `shelleyInstantStakeCredentialsL`, `addShelleyInstantStake`, `deleteShelleyInstantStake`, `resolveShelleyInstantStake`

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

@@ -141,6 +141,7 @@ library testlib
     Test.Cardano.Ledger.Shelley.Binary.RoundTrip
     Test.Cardano.Ledger.Shelley.CDDL
     Test.Cardano.Ledger.Shelley.Constants
+    Test.Cardano.Ledger.Shelley.Era
     Test.Cardano.Ledger.Shelley.Imp
     Test.Cardano.Ledger.Shelley.Imp.EpochSpec
     Test.Cardano.Ledger.Shelley.Imp.LedgerSpec

eras/shelley/impl/testlib/Test/Cardano/Ledger/Shelley/Era.hs

@@ -0,0 +1,33 @@
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE UndecidableSuperClasses #-}
+{-# OPTIONS_GHC -Wno-orphans #-}
+
+module Test.Cardano.Ledger.Shelley.Era (
+  EraTest,
+  ShelleyEraTest,
+) where
+
+import Cardano.Ledger.Shelley
+import Cardano.Ledger.Shelley.LedgerState
+import Cardano.Ledger.Shelley.Scripts
+import Data.Default
+import Test.Cardano.Ledger.Common
+import Test.Cardano.Ledger.Era
+import Test.Cardano.Ledger.Shelley.Arbitrary ()
+import Test.Cardano.Ledger.Shelley.TreeDiff ()
+
+class
+  ( EraTest era
+  , ShelleyEraScript era
+  , Eq (StashedAVVMAddresses era)
+  , Show (StashedAVVMAddresses era)
+  , ToExpr (StashedAVVMAddresses era)
+  , NFData (StashedAVVMAddresses era)
+  , Default (StashedAVVMAddresses era)
+  , Arbitrary (StashedAVVMAddresses era)
+  ) =>
+  ShelleyEraTest era
+
+instance EraTest ShelleyEra
+
+instance ShelleyEraTest ShelleyEra