Wire in ImpTest skeleton for Dijkstra era

Author: Lucsanszky

eras/dijkstra/cardano-ledger-dijkstra.cabal

@@ -106,6 +106,7 @@ library testlib
     Test.Cardano.Ledger.Dijkstra.Binary.Annotator
     Test.Cardano.Ledger.Dijkstra.Binary.RoundTrip
     Test.Cardano.Ledger.Dijkstra.Era
+    Test.Cardano.Ledger.Dijkstra.Imp
     Test.Cardano.Ledger.Dijkstra.ImpTest
     Test.Cardano.Ledger.Dijkstra.TreeDiff
     Test.Cardano.Ledger.Dijkstra.TxInfoSpec
@@ -123,6 +124,8 @@ library testlib
 
   build-depends:
     base,
+    cardano-ledger-alonzo,
+    cardano-ledger-babbage,
     cardano-ledger-binary,
     cardano-ledger-conway:{cardano-ledger-conway, testlib},
     cardano-ledger-core:{cardano-ledger-core, testlib},
@@ -152,7 +155,6 @@ test-suite tests
 
   build-depends:
     base,
-    cardano-ledger-conway:testlib,
     cardano-ledger-core:testlib,
     cardano-ledger-dijkstra:{cardano-ledger-dijkstra, testlib},
     cardano-ledger-shelley:testlib,

eras/dijkstra/test/Main.hs

@@ -5,15 +5,21 @@ module Main where
 import Cardano.Ledger.Dijkstra (DijkstraEra)
 import Cardano.Ledger.Dijkstra.Rules ()
 import Test.Cardano.Ledger.Common
-import qualified Test.Cardano.Ledger.Conway.Spec as ConwaySpec
 import Test.Cardano.Ledger.Dijkstra.Binary.Annotator ()
 import Test.Cardano.Ledger.Dijkstra.Binary.RoundTrip ()
+import qualified Test.Cardano.Ledger.Dijkstra.Imp as Imp
 import Test.Cardano.Ledger.Dijkstra.ImpTest ()
+import Test.Cardano.Ledger.Dijkstra.TxInfoSpec as TxInfo
 import Test.Cardano.Ledger.Shelley.JSON (roundTripJsonShelleyEraSpec)
 
 main :: IO ()
 main =
   ledgerTestMain $ do
-    describe "Dijkstra" $ do
-      ConwaySpec.spec @DijkstraEra
+    describe "Dijkstra era-generic" $ do
+      TxInfo.spec -- @DijkstraEra
+      describe "Imp" $ do
+        Imp.spec @DijkstraEra
+    describe "Dijkstra era-specific" $ do
+      -- TODO
+      pure ()
     roundTripJsonShelleyEraSpec @DijkstraEra

eras/dijkstra/testlib/Test/Cardano/Ledger/Dijkstra/Era.hs

@@ -1,20 +1,20 @@
+{-# LANGUAGE UndecidableSuperClasses #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 
-module Test.Cardano.Ledger.Dijkstra.Era () where
+module Test.Cardano.Ledger.Dijkstra.Era (
+  module Test.Cardano.Ledger.Conway.Era,
+  DijkstraEraTest,
+) where
 
 import Cardano.Ledger.Dijkstra (DijkstraEra)
-import Test.Cardano.Ledger.Conway.Era (
-  AllegraEraTest,
-  AlonzoEraTest,
-  BabbageEraTest,
-  ConwayEraTest,
-  EraTest,
-  MaryEraTest,
-  ShelleyEraTest,
- )
+import Test.Cardano.Ledger.Conway.Era
 import Test.Cardano.Ledger.Dijkstra.Arbitrary ()
 import Test.Cardano.Ledger.Dijkstra.TreeDiff ()
 
+class
+  ConwayEraTest era =>
+  DijkstraEraTest era
+
 instance EraTest DijkstraEra
 
 instance ShelleyEraTest DijkstraEra
@@ -28,3 +28,5 @@ instance AlonzoEraTest DijkstraEra
 instance BabbageEraTest DijkstraEra
 
 instance ConwayEraTest DijkstraEra
+
+instance DijkstraEraTest DijkstraEra

eras/dijkstra/testlib/Test/Cardano/Ledger/Dijkstra/Imp.hs

@@ -0,0 +1,63 @@
+{-# LANGUAGE AllowAmbiguousTypes #-}
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE TypeOperators #-}
+
+module Test.Cardano.Ledger.Dijkstra.Imp where
+
+import Cardano.Ledger.Alonzo.Plutus.Context
+import Cardano.Ledger.Alonzo.Rules
+import Cardano.Ledger.Babbage.Rules
+import Cardano.Ledger.Babbage.TxInfo
+import Cardano.Ledger.BaseTypes
+import Cardano.Ledger.Conway.Rules
+import Cardano.Ledger.Conway.TxInfo
+import Cardano.Ledger.Dijkstra.Core
+import Cardano.Ledger.Plutus
+import Cardano.Ledger.Shelley.API
+import Cardano.Ledger.Shelley.Rules
+import Data.Typeable (Typeable)
+import Test.Cardano.Ledger.Common
+import Test.Cardano.Ledger.Conway.Imp as ConwayImp
+import Test.Cardano.Ledger.Dijkstra.ImpTest
+import Test.Cardano.Ledger.Imp.Common
+
+spec ::
+  forall era.
+  ( DijkstraEraImp era
+  , EraPlutusTxInfo 'PlutusV2 era
+  , Inject (BabbageContextError era) (ContextError era)
+  , Inject (ConwayContextError era) (ContextError era)
+  , InjectRuleFailure "LEDGER" ConwayGovPredFailure era
+  , InjectRuleFailure "LEDGER" ConwayCertsPredFailure era
+  , InjectRuleFailure "LEDGER" BabbageUtxoPredFailure era
+  , InjectRuleFailure "LEDGER" BabbageUtxowPredFailure era
+  , InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure era
+  , InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure era
+  , InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure era
+  , InjectRuleFailure "LEDGER" ShelleyDelegPredFailure era
+  , InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure era
+  , InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure era
+  , InjectRuleFailure "LEDGER" ConwayDelegPredFailure era
+  , InjectRuleFailure "LEDGER" ConwayGovCertPredFailure era
+  , InjectRuleFailure "LEDGER" ConwayLedgerPredFailure era
+  , InjectRuleFailure "LEDGER" ConwayUtxoPredFailure era
+  , InjectRuleFailure "BBODY" ConwayBbodyPredFailure era
+  , InjectRuleEvent "TICK" ConwayEpochEvent era
+  , Event (EraRule "EPOCH" era) ~ ConwayEpochEvent era
+  , Event (EraRule "NEWEPOCH" era) ~ ConwayNewEpochEvent era
+  , Event (EraRule "HARDFORK" era) ~ ConwayHardForkEvent era
+  , ApplyTx era
+  , NFData (Event (EraRule "ENACT" era))
+  , ToExpr (Event (EraRule "ENACT" era))
+  , Eq (Event (EraRule "ENACT" era))
+  , Typeable (Event (EraRule "ENACT" era))
+  ) =>
+  Spec
+spec = do
+  ConwayImp.spec @era
+  withImpInit @(LedgerSpec era) $ do
+    -- TODO
+    pure ()

eras/dijkstra/testlib/Test/Cardano/Ledger/Dijkstra/ImpTest.hs

@@ -2,9 +2,13 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE UndecidableSuperClasses #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 
-module Test.Cardano.Ledger.Dijkstra.ImpTest () where
+module Test.Cardano.Ledger.Dijkstra.ImpTest (
+  module Test.Cardano.Ledger.Conway.ImpTest,
+  DijkstraEraImp,
+) where
 
 import Cardano.Ledger.BaseTypes (EpochInterval (..), addEpochInterval)
 import Cardano.Ledger.Conway.Governance (ConwayEraGov (..), committeeMembersL)
@@ -23,7 +27,7 @@ import Cardano.Ledger.Shelley.Rules (ShelleyDelegPredFailure)
 import qualified Cardano.Ledger.Shelley.Rules as Shelley
 import Lens.Micro ((%~), (&))
 import Test.Cardano.Ledger.Conway.ImpTest
-import Test.Cardano.Ledger.Dijkstra.Era ()
+import Test.Cardano.Ledger.Dijkstra.Era
 
 instance ShelleyEraImp DijkstraEra where
   initGenesis = pure DijkstraGenesis
@@ -53,6 +57,14 @@ instance AlonzoEraImp DijkstraEra where
 
 instance ConwayEraImp DijkstraEra
 
+class
+  ( ConwayEraImp era
+  , DijkstraEraTest era
+  ) =>
+  DijkstraEraImp era
+
+instance DijkstraEraImp DijkstraEra
+
 -- Partial implementation used for checking predicate failures
 instance InjectRuleFailure "LEDGER" ShelleyDelegPredFailure DijkstraEra where
   injectFailure = ConwayCertsFailure . injectFailure