cardano-rpc | Add decoded PlutusData to Datum in proto definition

Author: carbolymer

cardano-rpc/proto/utxorpc/v1alpha/cardano/cardano.proto

@@ -16,9 +16,9 @@ message AddressArray {
   repeated bytes items = 1;
 }
 
-// TODO u5c: replaced plutus_data with just bytes
 message Datum {
   bytes hash = 1; // Hash of this datum as seen on-chain
+  PlutusData payload = 2; // Parsed Plutus data payload
   bytes original_cbor = 3; // Original cbor-encoded data as seen on-chain
 }
 
@@ -37,6 +37,51 @@ message MultiAsset {
   repeated Asset assets = 2; // List of custom assets.
 }
 
+// Represents a constructor for Plutus data in Cardano.
+message Constr {
+  uint32 tag = 1;
+  uint64 any_constructor = 2;
+  repeated PlutusData fields = 3;
+}
+
+// Represents a big integer for Plutus data in Cardano.
+message BigInt {
+  oneof big_int {
+    int64 int = 1;
+    bytes big_u_int = 2;
+    bytes big_n_int = 3;
+  }
+}
+
+
+// Represents a key-value pair for Plutus data in Cardano.
+message PlutusDataPair {
+  PlutusData key = 1; // Key of the pair.
+  PlutusData value = 2; // Value of the pair.
+}
+
+// Represents a Plutus data item in Cardano.
+message PlutusData {
+  oneof plutus_data {
+    Constr constr = 2; // Constructor.
+    PlutusDataMap map = 3; // Map of Plutus data.
+    BigInt big_int = 4; // Big integer.
+    bytes bounded_bytes = 5; // Bounded bytes.
+    PlutusDataArray array = 6; // Array of Plutus data.
+  }
+}
+
+// Represents a map of Plutus data in Cardano.
+message PlutusDataMap {
+  repeated PlutusDataPair pairs = 1; // List of key-value pairs.
+}
+
+// Represents an array of Plutus data in Cardano.
+message PlutusDataArray {
+  repeated PlutusData items = 1; // List of Plutus data items.
+}
+
+
 // Represents a script in Cardano.
 // TODO u5c: removed native script representation
 message Script {

cardano-rpc/src/Cardano/Rpc/Server/Internal/Orphans.hs

@@ -1,5 +1,6 @@
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE GADTs #-}
+{-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE OverloadedLabels #-}
 {-# LANGUAGE OverloadedLists #-}
@@ -87,6 +88,28 @@ instance Inject (ReferenceScript era) (Proto UtxoRpc.Script) where
       PlutusScript PlutusScriptV3 ps ->
         defMessage & #plutusV3 .~ serialiseToRawBytes ps
 
+instance Inject ScriptData (Proto UtxoRpc.PlutusData) where
+  inject = \case
+    ScriptDataBytes bs ->
+      defMessage & #boundedBytes .~ bs
+    ScriptDataNumber int ->
+      defMessage & #bigInt . #int .~ fromIntegral int
+    ScriptDataList sds ->
+      defMessage & #array . #items .~ map inject sds
+    ScriptDataMap elements -> do
+      let pairs =
+            elements <&> \(k, v) ->
+              defMessage
+                & #key .~ inject k
+                & #value .~ inject v
+      defMessage & #map . #pairs .~ pairs
+    ScriptDataConstructor tag args -> do
+      let constr =
+            defMessage
+              & #tag .~ fromIntegral tag
+              & #fields .~ map inject args
+      defMessage & #constr .~ constr
+
 instance IsCardanoEra era => Inject (UTxO era) [Proto UtxoRpc.AnyUtxoData] where
   inject utxo =
     toList utxo <&> \(txIn, TxOut addressInEra txOutValue datum script) -> do
@@ -110,10 +133,12 @@ instance IsCardanoEra era => Inject (UTxO era) [Proto UtxoRpc.AnyUtxoData] where
             TxOutDatumHash _ scriptDataHash ->
               defMessage
                 & #hash .~ serialiseToRawBytes scriptDataHash
+                & #maybe'payload .~ Nothing -- we don't have it
                 & #originalCbor .~ mempty -- we don't have it
             TxOutDatumInline _ hashableScriptData ->
               defMessage
                 & #hash .~ serialiseToRawBytes (hashScriptDataBytes hashableScriptData)
+                & #payload .~ inject (getScriptData hashableScriptData)
                 & #originalCbor .~ getOriginalScriptDataBytes hashableScriptData
 
           protoTxOut =