Add Dijkstra era to eons

cardano-api/src/Cardano/Api/Era/Internal/Case.hs

@@ -52,6 +52,7 @@ caseByronOrShelleyBasedEra l r = \case
   AlonzoEra -> r ShelleyBasedEraAlonzo
   BabbageEra -> r ShelleyBasedEraBabbage
   ConwayEra -> r ShelleyBasedEraConway
+  DijkstraEra -> r ShelleyBasedEraDijkstra
 
 -- | @caseByronToAlonzoOrBabbageEraOnwards f g era@ applies @f@ to byron, shelley, allegra, mary, and alonzo;
 -- and @g@ to babbage and later eras.
@@ -69,6 +70,7 @@ caseByronToAlonzoOrBabbageEraOnwards l r = \case
   AlonzoEra -> l ByronToAlonzoEraAlonzo
   BabbageEra -> r BabbageEraOnwardsBabbage
   ConwayEra -> r BabbageEraOnwardsConway
+  DijkstraEra -> r BabbageEraOnwardsDijkstra
 
 -- | @caseShelleyEraOnlyOrAllegraEraOnwards f g era@ applies @f@ to shelley;
 -- and applies @g@ to allegra and later eras.
@@ -85,6 +87,7 @@ caseShelleyEraOnlyOrAllegraEraOnwards l r = \case
   ShelleyBasedEraAlonzo -> r AllegraEraOnwardsAlonzo
   ShelleyBasedEraBabbage -> r AllegraEraOnwardsBabbage
   ShelleyBasedEraConway -> r AllegraEraOnwardsConway
+  ShelleyBasedEraDijkstra -> r AllegraEraOnwardsDijkstra
 
 -- | @caseShelleyToAllegraOrMaryEraOnwards f g era@ applies @f@ to shelley and allegra;
 -- and applies @g@ to mary and later eras.
@@ -101,6 +104,7 @@ caseShelleyToAllegraOrMaryEraOnwards l r = \case
   ShelleyBasedEraAlonzo -> r MaryEraOnwardsAlonzo
   ShelleyBasedEraBabbage -> r MaryEraOnwardsBabbage
   ShelleyBasedEraConway -> r MaryEraOnwardsConway
+  ShelleyBasedEraDijkstra -> r MaryEraOnwardsDijkstra
 
 -- | @caseShelleyToMaryOrAlonzoEraOnwards f g era@ applies @f@ to shelley, allegra, and mary;
 -- and applies @g@ to alonzo and later eras.
@@ -117,6 +121,7 @@ caseShelleyToMaryOrAlonzoEraOnwards l r = \case
   ShelleyBasedEraAlonzo -> r AlonzoEraOnwardsAlonzo
   ShelleyBasedEraBabbage -> r AlonzoEraOnwardsBabbage
   ShelleyBasedEraConway -> r AlonzoEraOnwardsConway
+  ShelleyBasedEraDijkstra -> r AlonzoEraOnwardsDijkstra
 
 -- | @caseShelleyToAlonzoOrBabbageEraOnwards f g era@ applies @f@ to shelley, allegra, mary, and alonzo;
 -- and applies @g@ to babbage and later eras.
@@ -133,6 +138,7 @@ caseShelleyToAlonzoOrBabbageEraOnwards l r = \case
   ShelleyBasedEraAlonzo -> l ShelleyToAlonzoEraAlonzo
   ShelleyBasedEraBabbage -> r BabbageEraOnwardsBabbage
   ShelleyBasedEraConway -> r BabbageEraOnwardsConway
+  ShelleyBasedEraDijkstra -> r BabbageEraOnwardsDijkstra
 
 -- | @caseShelleyToBabbageOrConwayEraOnwards f g era@ applies @f@ to eras before conway;
 -- and applies @g@ to conway and later eras.
@@ -149,6 +155,7 @@ caseShelleyToBabbageOrConwayEraOnwards l r = \case
   ShelleyBasedEraAlonzo -> l ShelleyToBabbageEraAlonzo
   ShelleyBasedEraBabbage -> l ShelleyToBabbageEraBabbage
   ShelleyBasedEraConway -> r ConwayEraOnwardsConway
+  ShelleyBasedEraDijkstra -> r ConwayEraOnwardsDijkstra
 
 {-# DEPRECATED shelleyToAlonzoEraToShelleyToBabbageEra "Use convert instead" #-}
 shelleyToAlonzoEraToShelleyToBabbageEra
@@ -170,6 +177,7 @@ alonzoEraOnwardsToMaryEraOnwards = \case
   AlonzoEraOnwardsAlonzo -> MaryEraOnwardsAlonzo
   AlonzoEraOnwardsBabbage -> MaryEraOnwardsBabbage
   AlonzoEraOnwardsConway -> MaryEraOnwardsConway
+  AlonzoEraOnwardsDijkstra -> MaryEraOnwardsDijkstra
 
 {-# DEPRECATED babbageEraOnwardsToMaryEraOnwards "Use convert instead" #-}
 babbageEraOnwardsToMaryEraOnwards
@@ -179,6 +187,7 @@ babbageEraOnwardsToMaryEraOnwards
 babbageEraOnwardsToMaryEraOnwards = \case
   BabbageEraOnwardsBabbage -> MaryEraOnwardsBabbage
   BabbageEraOnwardsConway -> MaryEraOnwardsConway
+  BabbageEraOnwardsDijkstra -> MaryEraOnwardsDijkstra
 
 {-# DEPRECATED babbageEraOnwardsToAlonzoEraOnwards "Use convert instead" #-}
 babbageEraOnwardsToAlonzoEraOnwards
@@ -188,3 +197,4 @@ babbageEraOnwardsToAlonzoEraOnwards
 babbageEraOnwardsToAlonzoEraOnwards = \case
   BabbageEraOnwardsBabbage -> AlonzoEraOnwardsBabbage
   BabbageEraOnwardsConway -> AlonzoEraOnwardsConway
+  BabbageEraOnwardsDijkstra -> AlonzoEraOnwardsDijkstra

cardano-api/src/Cardano/Api/Era/Internal/Eon/AllegraEraOnwards.hs

@@ -46,6 +46,7 @@ data AllegraEraOnwards era where
   AllegraEraOnwardsAlonzo :: AllegraEraOnwards AlonzoEra
   AllegraEraOnwardsBabbage :: AllegraEraOnwards BabbageEra
   AllegraEraOnwardsConway :: AllegraEraOnwards ConwayEra
+  AllegraEraOnwardsDijkstra :: AllegraEraOnwards DijkstraEra
 
 deriving instance Show (AllegraEraOnwards era)
 
@@ -60,6 +61,7 @@ instance Eon AllegraEraOnwards where
     AlonzoEra -> yes AllegraEraOnwardsAlonzo
     BabbageEra -> yes AllegraEraOnwardsBabbage
     ConwayEra -> yes AllegraEraOnwardsConway
+    DijkstraEra -> yes AllegraEraOnwardsDijkstra
 
 instance ToCardanoEra AllegraEraOnwards where
   toCardanoEra = \case
@@ -68,6 +70,7 @@ instance ToCardanoEra AllegraEraOnwards where
     AllegraEraOnwardsAlonzo -> AlonzoEra
     AllegraEraOnwardsBabbage -> BabbageEra
     AllegraEraOnwardsConway -> ConwayEra
+    AllegraEraOnwardsDijkstra -> DijkstraEra
 
 instance Convert AllegraEraOnwards CardanoEra where
   convert = toCardanoEra
@@ -79,6 +82,7 @@ instance Convert AllegraEraOnwards ShelleyBasedEra where
     AllegraEraOnwardsAlonzo -> ShelleyBasedEraAlonzo
     AllegraEraOnwardsBabbage -> ShelleyBasedEraBabbage
     AllegraEraOnwardsConway -> ShelleyBasedEraConway
+    AllegraEraOnwardsDijkstra -> ShelleyBasedEraDijkstra
 
 type AllegraEraOnwardsConstraints era =
   ( C.HashAlgorithm L.HASH
@@ -116,6 +120,7 @@ allegraEraOnwardsConstraints = \case
   AllegraEraOnwardsAlonzo -> id
   AllegraEraOnwardsBabbage -> id
   AllegraEraOnwardsConway -> id
+  AllegraEraOnwardsDijkstra -> id
 
 {-# DEPRECATED allegraEraOnwardsToShelleyBasedEra "Use 'convert' instead." #-}
 allegraEraOnwardsToShelleyBasedEra :: AllegraEraOnwards era -> ShelleyBasedEra era

cardano-api/src/Cardano/Api/Era/Internal/Eon/AlonzoEraOnwards.hs

@@ -53,6 +53,7 @@ data AlonzoEraOnwards era where
   AlonzoEraOnwardsAlonzo :: AlonzoEraOnwards AlonzoEra
   AlonzoEraOnwardsBabbage :: AlonzoEraOnwards BabbageEra
   AlonzoEraOnwardsConway :: AlonzoEraOnwards ConwayEra
+  AlonzoEraOnwardsDijkstra :: AlonzoEraOnwards DijkstraEra
 
 deriving instance Show (AlonzoEraOnwards era)
 
@@ -67,12 +68,14 @@ instance Eon AlonzoEraOnwards where
     AlonzoEra -> yes AlonzoEraOnwardsAlonzo
     BabbageEra -> yes AlonzoEraOnwardsBabbage
     ConwayEra -> yes AlonzoEraOnwardsConway
+    DijkstraEra -> yes AlonzoEraOnwardsDijkstra
 
 instance ToCardanoEra AlonzoEraOnwards where
   toCardanoEra = \case
     AlonzoEraOnwardsAlonzo -> AlonzoEra
     AlonzoEraOnwardsBabbage -> BabbageEra
     AlonzoEraOnwardsConway -> ConwayEra
+    AlonzoEraOnwardsDijkstra -> DijkstraEra
 
 instance Convert AlonzoEraOnwards CardanoEra where
   convert = toCardanoEra
@@ -82,6 +85,7 @@ instance Convert AlonzoEraOnwards ShelleyBasedEra where
     AlonzoEraOnwardsAlonzo -> ShelleyBasedEraAlonzo
     AlonzoEraOnwardsBabbage -> ShelleyBasedEraBabbage
     AlonzoEraOnwardsConway -> ShelleyBasedEraConway
+    AlonzoEraOnwardsDijkstra -> ShelleyBasedEraDijkstra
 
 type AlonzoEraOnwardsConstraints era =
   ( C.HashAlgorithm L.HASH
@@ -127,6 +131,7 @@ alonzoEraOnwardsConstraints = \case
   AlonzoEraOnwardsAlonzo -> id
   AlonzoEraOnwardsBabbage -> id
   AlonzoEraOnwardsConway -> id
+  AlonzoEraOnwardsDijkstra -> id
 
 {-# DEPRECATED alonzoEraOnwardsToShelleyBasedEra "Use 'convert' instead." #-}
 alonzoEraOnwardsToShelleyBasedEra :: AlonzoEraOnwards era -> ShelleyBasedEra era

cardano-api/src/Cardano/Api/Era/Internal/Eon/BabbageEraOnwards.hs

@@ -51,6 +51,7 @@ import Data.Typeable (Typeable)
 data BabbageEraOnwards era where
   BabbageEraOnwardsBabbage :: BabbageEraOnwards BabbageEra
   BabbageEraOnwardsConway :: BabbageEraOnwards ConwayEra
+  BabbageEraOnwardsDijkstra :: BabbageEraOnwards DijkstraEra
 
 deriving instance Show (BabbageEraOnwards era)
 
@@ -65,11 +66,13 @@ instance Eon BabbageEraOnwards where
     AlonzoEra -> no
     BabbageEra -> yes BabbageEraOnwardsBabbage
     ConwayEra -> yes BabbageEraOnwardsConway
+    DijkstraEra -> yes BabbageEraOnwardsDijkstra
 
 instance ToCardanoEra BabbageEraOnwards where
   toCardanoEra = \case
     BabbageEraOnwardsBabbage -> BabbageEra
     BabbageEraOnwardsConway -> ConwayEra
+    BabbageEraOnwardsDijkstra -> DijkstraEra
 
 instance Convert BabbageEraOnwards CardanoEra where
   convert = toCardanoEra
@@ -78,16 +81,19 @@ instance Convert BabbageEraOnwards ShelleyBasedEra where
   convert = \case
     BabbageEraOnwardsBabbage -> ShelleyBasedEraBabbage
     BabbageEraOnwardsConway -> ShelleyBasedEraConway
+    BabbageEraOnwardsDijkstra -> ShelleyBasedEraDijkstra
 
 instance Convert BabbageEraOnwards MaryEraOnwards where
   convert = \case
     BabbageEraOnwardsBabbage -> MaryEraOnwardsBabbage
     BabbageEraOnwardsConway -> MaryEraOnwardsConway
+    BabbageEraOnwardsDijkstra -> MaryEraOnwardsDijkstra
 
 instance Convert BabbageEraOnwards AlonzoEraOnwards where
   convert = \case
     BabbageEraOnwardsBabbage -> AlonzoEraOnwardsBabbage
     BabbageEraOnwardsConway -> AlonzoEraOnwardsConway
+    BabbageEraOnwardsDijkstra -> AlonzoEraOnwardsDijkstra
 
 type BabbageEraOnwardsConstraints era =
   ( C.HashAlgorithm L.HASH
@@ -131,6 +137,7 @@ babbageEraOnwardsConstraints
 babbageEraOnwardsConstraints = \case
   BabbageEraOnwardsBabbage -> id
   BabbageEraOnwardsConway -> id
+  BabbageEraOnwardsDijkstra -> id
 
 {-# DEPRECATED babbageEraOnwardsToShelleyBasedEra "Use 'convert' instead." #-}
 babbageEraOnwardsToShelleyBasedEra :: BabbageEraOnwards era -> ShelleyBasedEra era

cardano-api/src/Cardano/Api/Era/Internal/Eon/ByronToAlonzoEra.hs

@@ -40,6 +40,7 @@ instance Eon ByronToAlonzoEra where
     AlonzoEra -> yes ByronToAlonzoEraAlonzo
     BabbageEra -> no
     ConwayEra -> no
+    DijkstraEra -> no
 
 instance ToCardanoEra ByronToAlonzoEra where
   toCardanoEra = \case

cardano-api/src/Cardano/Api/Era/Internal/Eon/ConwayEraOnwards.hs

@@ -37,9 +37,9 @@ import Cardano.Ledger.Api qualified as L
 import Cardano.Ledger.BaseTypes qualified as L
 import Cardano.Ledger.Conway.Core qualified as L
 import Cardano.Ledger.Conway.Governance qualified as L
+import Cardano.Ledger.Conway.State qualified as L
 import Cardano.Ledger.Conway.TxCert qualified as L
 import Cardano.Ledger.Mary.Value qualified as L
-import Cardano.Ledger.State qualified as L
 import Cardano.Protocol.Crypto qualified as L
 import Ouroboros.Consensus.Protocol.Abstract qualified as Consensus
 import Ouroboros.Consensus.Protocol.Praos.Common qualified as Consensus
@@ -51,6 +51,7 @@ import Data.Typeable (Typeable)
 
 data ConwayEraOnwards era where
   ConwayEraOnwardsConway :: ConwayEraOnwards ConwayEra
+  ConwayEraOnwardsDijkstra :: ConwayEraOnwards DijkstraEra
 
 deriving instance Show (ConwayEraOnwards era)
 
@@ -67,28 +68,34 @@ instance Eon ConwayEraOnwards where
     AlonzoEra -> no
     BabbageEra -> no
     ConwayEra -> yes ConwayEraOnwardsConway
+    DijkstraEra -> yes ConwayEraOnwardsDijkstra
 
 instance ToCardanoEra ConwayEraOnwards where
   toCardanoEra = \case
     ConwayEraOnwardsConway -> ConwayEra
+    ConwayEraOnwardsDijkstra -> DijkstraEra
 
 instance Convert ConwayEraOnwards CardanoEra where
   convert = toCardanoEra
 
 instance Convert ConwayEraOnwards ShelleyBasedEra where
   convert = \case
     ConwayEraOnwardsConway -> ShelleyBasedEraConway
+    ConwayEraOnwardsDijkstra -> ShelleyBasedEraDijkstra
 
 instance Convert ConwayEraOnwards AllegraEraOnwards where
   convert = \case
     ConwayEraOnwardsConway -> AllegraEraOnwardsConway
+    ConwayEraOnwardsDijkstra -> AllegraEraOnwardsDijkstra
 
 instance Convert ConwayEraOnwards BabbageEraOnwards where
   convert = \case
     ConwayEraOnwardsConway -> BabbageEraOnwardsConway
+    ConwayEraOnwardsDijkstra -> BabbageEraOnwardsDijkstra
 
 type ConwayEraOnwardsConstraints era =
-  ( C.HashAlgorithm L.HASH
+  ( L.ConwayEraCertState (ShelleyLedgerEra era)
+  , C.HashAlgorithm L.HASH
   , C.Signable (L.VRF L.StandardCrypto) L.Seed
   , Consensus.PraosProtocolSupportsNode (ConsensusProtocol era)
   , Consensus.ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era
@@ -133,6 +140,7 @@ conwayEraOnwardsConstraints
   -> a
 conwayEraOnwardsConstraints = \case
   ConwayEraOnwardsConway -> id
+  ConwayEraOnwardsDijkstra -> id
 
 {-# DEPRECATED conwayEraOnwardsToShelleyBasedEra "Use 'convert' instead." #-}
 conwayEraOnwardsToShelleyBasedEra :: ConwayEraOnwards era -> ShelleyBasedEra era

cardano-api/src/Cardano/Api/Era/Internal/Eon/MaryEraOnwards.hs

@@ -48,6 +48,7 @@ data MaryEraOnwards era where
   MaryEraOnwardsAlonzo :: MaryEraOnwards AlonzoEra
   MaryEraOnwardsBabbage :: MaryEraOnwards BabbageEra
   MaryEraOnwardsConway :: MaryEraOnwards ConwayEra
+  MaryEraOnwardsDijkstra :: MaryEraOnwards DijkstraEra
 
 deriving instance Show (MaryEraOnwards era)
 
@@ -62,13 +63,15 @@ instance Eon MaryEraOnwards where
     AlonzoEra -> yes MaryEraOnwardsAlonzo
     BabbageEra -> yes MaryEraOnwardsBabbage
     ConwayEra -> yes MaryEraOnwardsConway
+    DijkstraEra -> yes MaryEraOnwardsDijkstra
 
 instance ToCardanoEra MaryEraOnwards where
   toCardanoEra = \case
     MaryEraOnwardsMary -> MaryEra
     MaryEraOnwardsAlonzo -> AlonzoEra
     MaryEraOnwardsBabbage -> BabbageEra
     MaryEraOnwardsConway -> ConwayEra
+    MaryEraOnwardsDijkstra -> DijkstraEra
 
 instance Convert MaryEraOnwards CardanoEra where
   convert = toCardanoEra
@@ -79,6 +82,7 @@ instance Convert MaryEraOnwards ShelleyBasedEra where
     MaryEraOnwardsAlonzo -> ShelleyBasedEraAlonzo
     MaryEraOnwardsBabbage -> ShelleyBasedEraBabbage
     MaryEraOnwardsConway -> ShelleyBasedEraConway
+    MaryEraOnwardsDijkstra -> ShelleyBasedEraDijkstra
 
 type MaryEraOnwardsConstraints era =
   ( C.HashAlgorithm L.HASH
@@ -117,6 +121,7 @@ maryEraOnwardsConstraints = \case
   MaryEraOnwardsAlonzo -> id
   MaryEraOnwardsBabbage -> id
   MaryEraOnwardsConway -> id
+  MaryEraOnwardsDijkstra -> id
 
 {-# DEPRECATED maryEraOnwardsToShelleyBasedEra "Use 'convert' instead." #-}
 maryEraOnwardsToShelleyBasedEra :: MaryEraOnwards era -> ShelleyBasedEra era

cardano-api/src/Cardano/Api/Era/Internal/Eon/ShelleyEraOnly.hs

@@ -57,6 +57,7 @@ instance Eon ShelleyEraOnly where
     AlonzoEra -> no
     BabbageEra -> no
     ConwayEra -> no
+    DijkstraEra -> no
 
 instance ToCardanoEra ShelleyEraOnly where
   toCardanoEra = \case

cardano-api/src/Cardano/Api/Era/Internal/Eon/ShelleyToAllegraEra.hs

@@ -59,6 +59,7 @@ instance Eon ShelleyToAllegraEra where
     AlonzoEra -> no
     BabbageEra -> no
     ConwayEra -> no
+    DijkstraEra -> no
 
 instance ToCardanoEra ShelleyToAllegraEra where
   toCardanoEra = \case

cardano-api/src/Cardano/Api/Era/Internal/Eon/ShelleyToAlonzoEra.hs

@@ -59,6 +59,7 @@ instance Eon ShelleyToAlonzoEra where
     AlonzoEra -> yes ShelleyToAlonzoEraAlonzo
     BabbageEra -> no
     ConwayEra -> no
+    DijkstraEra -> no
 
 instance ToCardanoEra ShelleyToAlonzoEra where
   toCardanoEra = \case

cardano-api/src/Cardano/Api/Era/Internal/Eon/ShelleyToBabbageEra.hs

@@ -62,6 +62,7 @@ instance Eon ShelleyToBabbageEra where
     AlonzoEra -> yes ShelleyToBabbageEraAlonzo
     BabbageEra -> yes ShelleyToBabbageEraBabbage
     ConwayEra -> no
+    DijkstraEra -> no
 
 instance ToCardanoEra ShelleyToBabbageEra where
   toCardanoEra = \case

cardano-api/src/Cardano/Api/Era/Internal/Eon/ShelleyToMaryEra.hs

@@ -59,6 +59,7 @@ instance Eon ShelleyToMaryEra where
     AlonzoEra -> no
     BabbageEra -> no
     ConwayEra -> no
+    DijkstraEra -> no
 
 instance ToCardanoEra ShelleyToMaryEra where
   toCardanoEra = \case