WIP

Author: Soupstraw

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

@@ -1,14 +1,17 @@
 {-# LANGUAGE DataKinds #-}
+{-# LANGUAGE DeriveGeneric #-}
 {-# LANGUAGE DerivingStrategies #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE LambdaCase #-}
+{-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 
 module Cardano.Ledger.Dijkstra.Scripts (PlutusScript (..)) where
 
+import Cardano.Ledger.Address (RewardAccount)
 import Cardano.Ledger.Allegra.Scripts (
   AllegraEraScript (..),
   Timelock,
@@ -33,30 +36,45 @@ import Cardano.Ledger.Alonzo.Scripts (
   AsIx (..),
   alonzoScriptPrefixTag,
  )
-import Cardano.Ledger.Conway (ConwayEra)
+import Cardano.Ledger.Conway.Governance (ProposalProcedure, Voter)
 import Cardano.Ledger.Conway.Scripts (
   ConwayEraScript (..),
   ConwayPlutusPurpose (..),
   PlutusScript (..),
  )
-import Cardano.Ledger.Core (EraScript (..), SafeToHash)
+import Cardano.Ledger.Core (EraScript (..), EraTxCert (..), SafeToHash (..), ScriptHash)
 import Cardano.Ledger.Dijkstra.Era (DijkstraEra)
 import Cardano.Ledger.Dijkstra.PParams ()
 import Cardano.Ledger.Dijkstra.TxCert ()
-import Cardano.Ledger.Plutus (Language (..))
+import Cardano.Ledger.Mary.Value (PolicyID)
+import Cardano.Ledger.Plutus (Language (..), Plutus, SLanguage (..), plutusSLanguage)
 import Cardano.Ledger.Shelley.Scripts (ShelleyEraScript (..))
-import Control.DeepSeq (NFData)
-import Data.MemPack (MemPack (..))
+import Cardano.Ledger.TxIn (TxIn)
+import Control.DeepSeq (NFData (..), rwhnf)
+import Data.MemPack (MemPack (..), packTagM, packedTagByteCount, unknownTagM, unpackTagM)
+import Data.Word (Word32)
 import GHC.Generics (Generic)
 import NoThunks.Class (NoThunks)
 
+data DijkstraPlutusPurpose f era
+  = DijkstraSpending !(f Word32 TxIn)
+  | DijkstraMinting !(f Word32 PolicyID)
+  | DijkstraCertifying !(f Word32 (TxCert era))
+  | DijkstraRewarding !(f Word32 RewardAccount)
+  | DijkstraVoting !(f Word32 Voter)
+  | DijkstraProposing !(f Word32 (ProposalProcedure era))
+  | DijkstraGuarding !(f Word32 ScriptHash)
+  deriving (Generic)
+
 instance EraScript DijkstraEra where
   type Script DijkstraEra = AlonzoScript DijkstraEra
   type NativeScript DijkstraEra = Timelock DijkstraEra
 
   upgradeScript = \case
     TimelockScript ts -> TimelockScript $ translateTimelock ts
-    PlutusScript ps -> PlutusScript $ MkDijkstraPlutusScript ps
+    PlutusScript (ConwayPlutusV1 s) -> PlutusScript $ DijkstraPlutusV1 s
+    PlutusScript (ConwayPlutusV2 s) -> PlutusScript $ DijkstraPlutusV2 s
+    PlutusScript (ConwayPlutusV3 s) -> PlutusScript $ DijkstraPlutusV3 s
 
   scriptPrefixTag = alonzoScriptPrefixTag