Added missing translations

Author: Soupstraw

eras/conway/impl/src/Cardano/Ledger/Conway/Governance.hs

@@ -164,6 +164,7 @@ module Cardano.Ledger.Conway.Governance (
   reCommitteeStateL,
   DefaultVote (..),
   defaultStakePoolVote,
+  translateProposals,
 
   -- * Exported for testing
   pparamsUpdateThreshold,

eras/dijkstra/src/Cardano/Ledger/Dijkstra/Translation.hs

@@ -2,6 +2,7 @@
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE RecordWildCards #-}
 {-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 
@@ -16,10 +17,21 @@ import Cardano.Ledger.Binary (DecoderError)
 import Cardano.Ledger.Conway (ConwayEra)
 import Cardano.Ledger.Conway.Governance (
   ConwayGovState (..),
+  DRepPulsingState (..),
+  EnactState (..),
+  GovAction (..),
+  GovActionState (..),
+  ProposalProcedure (..),
+  Proposals,
+  PulsingSnapshot,
+  RatifyState (..),
+  finishDRepPulser,
   mkEnactState,
   rsEnactStateL,
-  setCompleteDRepPulsingState, Proposals, DRepPulsingState,
+  setCompleteDRepPulsingState,
+  translateProposals,
  )
+import Cardano.Ledger.Conway.Governance.DRepPulser (PulsingSnapshot (..))
 import Cardano.Ledger.Conway.State (ConwayInstantStake (..), EraCertState (..))
 import Cardano.Ledger.Core (
   EraTx (auxDataTxL, bodyTxL, witsTxL),
@@ -51,10 +63,10 @@ import Cardano.Ledger.Shelley.LedgerState (
   lsUTxOStateL,
  )
 import qualified Cardano.Ledger.UMap as UM
+import Data.Coerce (coerce)
 import Data.Default (Default (..))
 import qualified Data.Map.Strict as Map
 import Lens.Micro ((&), (.~), (^.))
-import Data.Coerce (coerce)
 
 type instance TranslationContext DijkstraEra = ()
 
@@ -150,11 +162,80 @@ translateCertState ctx scert =
     & certDStateL .~ translateEra' ctx (scert ^. certDStateL)
     & certPStateL .~ translateEra' ctx (scert ^. certPStateL)
 
+instance TranslateEra DijkstraEra GovAction where
+  translateEra _ =
+    pure . \case
+      ParameterChange x y z -> ParameterChange (coerce x) (coerce y) z
+      HardForkInitiation x y -> HardForkInitiation (coerce x) y
+      TreasuryWithdrawals x y -> TreasuryWithdrawals x y
+      NoConfidence x -> NoConfidence x
+      UpdateCommittee x y z w -> UpdateCommittee x y z w
+      NewConstitution x y -> NewConstitution x (coerce y)
+      InfoAction -> InfoAction
+
+instance TranslateEra DijkstraEra ProposalProcedure where
+  translateEra ctxt ProposalProcedure {..} =
+    pure $
+      ProposalProcedure
+        { pProcDeposit = pProcDeposit
+        , pProcReturnAddr = pProcReturnAddr
+        , pProcGovAction = translateEra' ctxt pProcGovAction
+        , pProcAnchor = pProcAnchor
+        }
+
+instance TranslateEra DijkstraEra GovActionState where
+  translateEra ctxt GovActionState {..} =
+    pure $
+      GovActionState
+        { gasId = gasId
+        , gasCommitteeVotes = gasCommitteeVotes
+        , gasDRepVotes = gasDRepVotes
+        , gasStakePoolVotes = gasStakePoolVotes
+        , gasProposalProcedure = translateEra' ctxt gasProposalProcedure
+        , gasProposedIn = gasProposedIn
+        , gasExpiresAfter = gasExpiresAfter
+        }
+
 instance TranslateEra DijkstraEra Proposals where
-  translateEra _ _ = undefined
+  translateEra ctxt = pure . translateProposals @DijkstraEra ctxt
+
+instance TranslateEra DijkstraEra PulsingSnapshot where
+  translateEra ctxt PulsingSnapshot {..} =
+    pure $
+      PulsingSnapshot
+        { psProposals = translateEra' ctxt <$> psProposals
+        , psDRepDistr = psDRepDistr
+        , psDRepState = psDRepState
+        , psPoolDistr = psPoolDistr
+        }
+
+instance TranslateEra DijkstraEra EnactState where
+  translateEra _ EnactState {..} =
+    pure $
+      EnactState
+        { ensCommittee = coerce ensCommittee
+        , ensConstitution = coerce ensConstitution
+        , ensCurPParams = coerce ensCurPParams
+        , ensPrevPParams = coerce ensPrevPParams
+        , ensTreasury = ensTreasury
+        , ensWithdrawals = ensWithdrawals
+        , ensPrevGovActionIds = ensPrevGovActionIds
+        }
+
+instance TranslateEra DijkstraEra RatifyState where
+  translateEra ctxt RatifyState {..} =
+    pure $
+      RatifyState
+        { rsEnactState = translateEra' ctxt rsEnactState
+        , rsEnacted = translateEra' ctxt <$> rsEnacted
+        , rsExpired = rsExpired
+        , rsDelayed = rsDelayed
+        }
 
 instance TranslateEra DijkstraEra DRepPulsingState where
-  translateEra _ _ = undefined
+  translateEra ctxt dps = pure $ DRComplete (translateEra' ctxt x) (translateEra' ctxt y)
+    where
+      (x, y) = finishDRepPulser dps
 
 instance TranslateEra DijkstraEra ConwayGovState where
   translateEra ctxt ConwayGovState {..} =