Propagate Dijkstra era

Author: Jimbo4350

cardano-api/src/Cardano/Api/Certificate/Internal.hs

@@ -234,6 +234,7 @@ certificateToTxCert c =
     ConwayCertificate eon cert ->
       case eon of
         ConwayEraOnwardsConway -> cert
+        ConwayEraOnwardsDijkstra -> cert
 
 -- ----------------------------------------------------------------------------
 -- Stake pool parameters
@@ -576,6 +577,7 @@ filterUnRegCreds =
         Ledger.RetirePoolTxCert _ _ -> Nothing
         Ledger.MirTxCert _ -> Nothing
         Ledger.GenesisDelegTxCert{} -> Nothing
+        _ -> error "dijkstra"
     ConwayCertificate cEra conwayCert -> conwayEraOnwardsConstraints cEra $
       case conwayCert of
         Ledger.RegPoolTxCert _ -> Nothing
@@ -593,6 +595,7 @@ filterUnRegCreds =
         Ledger.RegTxCert _ -> Nothing
         -- stake cred deregistration w/o deposit
         Ledger.UnRegTxCert cred -> Just cred
+        _ -> error "dijkstra"
 
 filterUnRegDRepCreds
   :: Certificate era -> Maybe (Ledger.Credential Ledger.DRepRole)
@@ -615,6 +618,7 @@ filterUnRegDRepCreds = \case
       Ledger.RegTxCert _ -> Nothing
       -- stake cred deregistration w/o deposit
       Ledger.UnRegTxCert _ -> Nothing
+      _ -> error "dijkstra"
 
 -- ----------------------------------------------------------------------------
 -- Internal conversion functions
@@ -803,6 +807,7 @@ getAnchorDataFromCertificate c =
           Ledger.RetirePoolTxCert _ _ -> return Nothing
           Ledger.GenesisDelegTxCert{} -> return Nothing
           Ledger.MirTxCert _ -> return Nothing
+          _ -> error "dijkstra"
     ConwayCertificate ceo ccert ->
       conwayEraOnwardsConstraints ceo $
         case ccert of
@@ -819,6 +824,7 @@ getAnchorDataFromCertificate c =
           Ledger.UpdateDRepTxCert _ mAnchor -> return $ Ledger.strictMaybeToMaybe mAnchor
           Ledger.AuthCommitteeHotKeyTxCert _ _ -> return Nothing
           Ledger.ResignCommitteeColdTxCert _ mAnchor -> return $ Ledger.strictMaybeToMaybe mAnchor
+          _ -> error "dijkstra"
  where
   anchorDataFromPoolMetadata
     :: MonadError AnchorDataFromCertificateError m

cardano-api/src/Cardano/Api/Experimental/Era.hs

@@ -295,6 +295,7 @@ type EraCommonConstraints era =
   , L.AlonzoEraTx (LedgerEra era)
   , L.BabbageEraPParams (LedgerEra era)
   , L.BabbageEraTxBody (LedgerEra era)
+  , L.ConwayEraTxBody (LedgerEra era)
   , L.ConwayEraTxCert (LedgerEra era)
   , L.TxCert (LedgerEra era) ~ L.ConwayTxCert (LedgerEra era)
   , L.Era (LedgerEra era)

cardano-api/src/Cardano/Api/Experimental/Plutus/Internal/IndexedPlutusScriptWitness.hs

@@ -211,3 +211,4 @@ obtainAlonzoScriptPurposeConstraints v =
     AlonzoEraOnwardsAlonzo -> id
     AlonzoEraOnwardsBabbage -> id
     AlonzoEraOnwardsConway -> id
+    AlonzoEraOnwardsDijkstra -> id

cardano-api/src/Cardano/Api/Experimental/Tx/Internal/TxScriptWitnessRequirements.hs

@@ -61,6 +61,13 @@ instance Semigroup (TxScriptWitnessRequirements L.ConwayEra) where
 instance Monoid (TxScriptWitnessRequirements L.ConwayEra) where
   mempty = TxScriptWitnessRequirements mempty mempty mempty mempty
 
+instance Semigroup (TxScriptWitnessRequirements L.DijkstraEra) where
+  (<>) (TxScriptWitnessRequirements l1 s1 d1 r1) (TxScriptWitnessRequirements l2 s2 d2 r2) =
+    TxScriptWitnessRequirements (l1 <> l2) (s1 <> s2) (d1 <> d2) (r1 <> r2)
+
+instance Monoid (TxScriptWitnessRequirements L.DijkstraEra) where
+  mempty = TxScriptWitnessRequirements mempty mempty mempty mempty
+
 getTxScriptWitnessRequirements
   :: AlonzoEraOnwards era
   -> [(Witnessable witnessable (ShelleyLedgerEra era), AnyWitness (ShelleyLedgerEra era))]
@@ -93,6 +100,7 @@ obtainMonoidConstraint eon = case eon of
   AlonzoEraOnwardsAlonzo -> id
   AlonzoEraOnwardsBabbage -> id
   AlonzoEraOnwardsConway -> id
+  AlonzoEraOnwardsDijkstra -> id
 
 extractExecutionUnits :: TxScriptWitnessRequirements era -> [ExecutionUnits]
 extractExecutionUnits (TxScriptWitnessRequirements _ _ _ redeemers) =

cardano-api/src/Cardano/Api/LedgerState.hs

@@ -1290,6 +1290,11 @@ getNewEpochState era x = do
         ConwayLedgerState conwayCurrent ->
           pure $ Shelley.shelleyLedgerState $ unFlip $ currentState conwayCurrent
         _ -> Left err
+    ShelleyBasedEraDijkstra ->
+      case tip of
+        DijkstraLedgerState dijkstraCurrent ->
+          pure $ Shelley.shelleyLedgerState $ unFlip $ currentState dijkstraCurrent
+        _ -> Left err
 
 {-# COMPLETE
   ShelleyLedgerState
@@ -1360,6 +1365,16 @@ pattern ConwayLedgerState
   -> NS (Current (Flip Consensus.LedgerState mk)) (Consensus.CardanoEras Consensus.StandardCrypto)
 pattern ConwayLedgerState x = S (S (S (S (S (S (Z x))))))
 
+pattern DijkstraLedgerState
+  :: Current
+       (Flip Consensus.LedgerState mk)
+       ( Shelley.ShelleyBlock
+           (Praos.Praos Ledger.StandardCrypto)
+           Consensus.DijkstraEra
+       )
+  -> NS (Current (Flip Consensus.LedgerState mk)) (Consensus.CardanoEras Consensus.StandardCrypto)
+pattern DijkstraLedgerState x = S (S (S (S (S (S (S (Z x)))))))
+
 encodeLedgerState :: LedgerState -> CBOR.Encoding
 encodeLedgerState (LedgerState hst@(HFC.HardForkLedgerState st) tbs) =
   mconcat
@@ -2267,6 +2282,7 @@ getLedgerTablesUTxOValues sbe tbs =
       ShelleyBasedEraAlonzo -> ejectTables (IS (IS (IS (IS IZ))))
       ShelleyBasedEraBabbage -> ejectTables (IS (IS (IS (IS (IS IZ)))))
       ShelleyBasedEraConway -> ejectTables (IS (IS (IS (IS (IS (IS IZ))))))
+      ShelleyBasedEraDijkstra -> ejectTables (IS (IS (IS (IS (IS (IS (IS IZ)))))))
 
 -- | Reconstructs the ledger's new epoch state and applies a supplied condition to it for every block. This
 -- function only terminates if the condition is met or we have reached the termination epoch. We need to

cardano-api/src/Cardano/Api/Tx/Internal/Sign.hs

@@ -179,6 +179,10 @@ instance Show (Tx era) where
     showParen (p >= 11) $
       showString "ShelleyTx ShelleyBasedEraConway "
         . showsPrec 11 tx
+  showsPrec p (ShelleyTx ShelleyBasedEraDijkstra tx) =
+    showParen (p >= 11) $
+      showString "ShelleyTx ShelleyBasedEraDijkstra "
+        . showsPrec 11 tx
 
 instance HasTypeProxy era => HasTypeProxy (Tx era) where
   data AsType (Tx era) = AsTx (AsType era)
@@ -277,6 +281,7 @@ instance IsShelleyBasedEra era => HasTextEnvelope (Tx era) where
       ShelleyBasedEraAlonzo -> "Tx AlonzoEra"
       ShelleyBasedEraBabbage -> "Tx BabbageEra"
       ShelleyBasedEraConway -> "Tx ConwayEra"
+      ShelleyBasedEraDijkstra -> "Tx DijkstraEra"
 
 -- ----------------------------------------------------------------------------
 -- Transaction bodies
@@ -472,6 +477,29 @@ instance Show (TxBody era) where
             . showChar ' '
             . showsPrec 11 scriptValidity
         )
+  showsPrec
+    p
+    ( ShelleyTxBody
+        ShelleyBasedEraDijkstra
+        txbody
+        txscripts
+        redeemers
+        txmetadata
+        scriptValidity
+      ) =
+      showParen
+        (p >= 11)
+        ( showString "ShelleyTxBody ShelleyBasedEraDijkstra "
+            . showsPrec 11 txbody
+            . showChar ' '
+            . showsPrec 11 txscripts
+            . showChar ' '
+            . showsPrec 11 redeemers
+            . showChar ' '
+            . showsPrec 11 txmetadata
+            . showChar ' '
+            . showsPrec 11 scriptValidity
+        )
 
 instance HasTypeProxy era => HasTypeProxy (TxBody era) where
   data AsType (TxBody era) = AsTxBody (AsType era)
@@ -513,6 +541,7 @@ instance IsShelleyBasedEra era => HasTextEnvelope (TxBody era) where
       ShelleyBasedEraAlonzo -> "TxBodyAlonzo"
       ShelleyBasedEraBabbage -> "TxBodyBabbage"
       ShelleyBasedEraConway -> "TxBodyConway"
+      ShelleyBasedEraDijkstra -> "TxBodyDijkstra"
 
 data TxBodyScriptData era where
   TxBodyNoScriptData :: TxBodyScriptData era
@@ -531,7 +560,7 @@ selectTxDatums
   :: TxBodyScriptData era
   -> Map L.DataHash (L.Data (ShelleyLedgerEra era))
 selectTxDatums TxBodyNoScriptData = Map.empty
-selectTxDatums (TxBodyScriptData _ (Alonzo.TxDats' datums) _) = datums
+selectTxDatums (TxBodyScriptData _ (Alonzo.TxDats datums) _) = datums
 
 -- | Indicates whether a script is expected to fail or pass validation.
 data ScriptValidity
@@ -642,6 +671,10 @@ instance Show (KeyWitness era) where
     showParen (p >= 11) $
       showString "ShelleyBootstrapWitness ShelleyBasedEraConway "
         . showsPrec 11 tx
+  showsPrec p (ShelleyBootstrapWitness ShelleyBasedEraDijkstra tx) =
+    showParen (p >= 11) $
+      showString "ShelleyBootstrapWitness ShelleyBasedEraDijkstra "
+        . showsPrec 11 tx
   showsPrec p (ShelleyKeyWitness ShelleyBasedEraShelley tx) =
     showParen (p >= 11) $
       showString "ShelleyKeyWitness ShelleyBasedEraShelley "
@@ -666,6 +699,10 @@ instance Show (KeyWitness era) where
     showParen (p >= 11) $
       showString "ShelleyKeyWitness ShelleyBasedEraConway "
         . showsPrec 11 tx
+  showsPrec p (ShelleyKeyWitness ShelleyBasedEraDijkstra tx) =
+    showParen (p >= 11) $
+      showString "ShelleyKeyWitness ShelleyBasedEraDijkstra "
+        . showsPrec 11 tx
 
 instance HasTypeProxy era => HasTypeProxy (KeyWitness era) where
   data AsType (KeyWitness era) = AsKeyWitness (AsType era)
@@ -707,6 +744,7 @@ instance IsCardanoEra era => SerialiseAsCBOR (KeyWitness era) where
       AlonzoEra -> decodeShelleyBasedWitness ShelleyBasedEraAlonzo bs
       BabbageEra -> decodeShelleyBasedWitness ShelleyBasedEraBabbage bs
       ConwayEra -> decodeShelleyBasedWitness ShelleyBasedEraConway bs
+      DijkstraEra -> decodeShelleyBasedWitness ShelleyBasedEraDijkstra bs
 
 encodeShelleyBasedKeyWitness :: CBOR.EncCBOR w => w -> CBOR.Encoding
 encodeShelleyBasedKeyWitness wit =
@@ -752,6 +790,7 @@ instance IsCardanoEra era => HasTextEnvelope (KeyWitness era) where
       AlonzoEra -> "TxWitness AlonzoEra"
       BabbageEra -> "TxWitness BabbageEra"
       ConwayEra -> "TxWitness ConwayEra"
+      DijkstraEra -> "TxWitness DijkstraEra"
 
 getTxBodyAndWitnesses :: Tx era -> (TxBody era, [KeyWitness era])
 getTxBodyAndWitnesses tx = (getTxBody tx, getTxWitnesses tx)
@@ -905,6 +944,7 @@ makeSignedTransaction
       ShelleyBasedEraAlonzo -> alonzoSignedTransaction
       ShelleyBasedEraBabbage -> alonzoSignedTransaction
       ShelleyBasedEraConway -> alonzoSignedTransaction
+      ShelleyBasedEraDijkstra -> alonzoSignedTransaction
    where
     txCommon
       :: forall ledgerera
@@ -1025,7 +1065,7 @@ makeShelleyBasedBootstrapWitness sbe nwOrAddr txbody (ByronSigningKey sk) =
     -- Byron era witnesses were weird. This reveals all that weirdness.
     Shelley.BootstrapWitness
       { Shelley.bwKey = vk
-      , Shelley.bwSig = signature
+      , Shelley.bwSignature = signature
       , Shelley.bwChainCode = chainCode
       , Shelley.bwAttributes = attributes
       }

cardano-api/test/cardano-api-test/Test/Cardano/Api/Transaction/Autobalance.hs

@@ -651,6 +651,7 @@ loadPlutusWitness ceo = do
     H.leftFail $ deserialiseFromTextEnvelopeAnyOf textEnvTypes envelope
   let scriptLangInEra = case ceo of
         ConwayEraOnwardsConway -> PlutusScriptV3InConway
+        ConwayEraOnwardsDijkstra -> PlutusScriptV3InDijkstra
   pure
     ( hashScript s
     , PlutusScriptWitness