WIP

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

@@ -37,7 +37,7 @@ module Cardano.Api.Script (
 
     -- * Reference scripts
     ReferenceScript(..),
-    ReferenceScriptsSupportedInEra(..),
+    ReferenceTxInsScriptsInlineDatumsSupportedInEra(..),
     referenceScriptsSupportedInEra,
     refScriptToShelleyScript,
 
@@ -1350,7 +1350,7 @@ parsePaymentKeyHash txt =
 -- has to be added to the transaction, they can now be referenced via a transaction output.
 
 data ReferenceScript era where
-     ReferenceScript :: ReferenceScriptsSupportedInEra era
+     ReferenceScript :: ReferenceTxInsScriptsInlineDatumsSupportedInEra era
                      -> ScriptInAnyLang
                      -> ReferenceScript era
 
@@ -1370,19 +1370,20 @@ instance IsCardanoEra era => FromJSON (ReferenceScript era) where
       Just refSupInEra ->
         ReferenceScript refSupInEra <$> o .: "referenceScript"
 
-data ReferenceScriptsSupportedInEra era where
-    ReferenceScriptsInBabbageEra  :: ReferenceScriptsSupportedInEra BabbageEra
+data ReferenceTxInsScriptsInlineDatumsSupportedInEra era where
+    ReferenceTxInsScriptsInlineDatumsBabbageInEra :: ReferenceTxInsScriptsInlineDatumsSupportedInEra BabbageEra
 
-deriving instance Eq (ReferenceScriptsSupportedInEra era)
-deriving instance Show (ReferenceScriptsSupportedInEra era)
+deriving instance Eq (ReferenceTxInsScriptsInlineDatumsSupportedInEra era)
+deriving instance Show (ReferenceTxInsScriptsInlineDatumsSupportedInEra era)
 
-referenceScriptsSupportedInEra :: CardanoEra era -> Maybe (ReferenceScriptsSupportedInEra era)
+referenceScriptsSupportedInEra
+  :: CardanoEra era -> Maybe (ReferenceTxInsScriptsInlineDatumsSupportedInEra era)
 referenceScriptsSupportedInEra ByronEra   = Nothing
 referenceScriptsSupportedInEra ShelleyEra = Nothing
 referenceScriptsSupportedInEra AllegraEra = Nothing
 referenceScriptsSupportedInEra MaryEra    = Nothing
 referenceScriptsSupportedInEra AlonzoEra  = Nothing
-referenceScriptsSupportedInEra BabbageEra = Just ReferenceScriptsInBabbageEra
+referenceScriptsSupportedInEra BabbageEra = Just ReferenceTxInsScriptsInlineDatumsBabbageInEra
 
 refScriptToShelleyScript
   :: CardanoEra era

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

@@ -132,7 +132,7 @@ module Cardano.Api.Shelley
 
     -- * Reference Scripts
     ReferenceScript(..),
-    ReferenceScriptsSupportedInEra(..),
+    ReferenceTxInsScriptsInlineDatumsSupportedInEra(..),
     referenceScriptsSupportedInEra,
     refScriptToShelleyScript,
 

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

@@ -1275,6 +1275,14 @@ data TxInsCollateral era where
 deriving instance Eq   (TxInsCollateral era)
 deriving instance Show (TxInsCollateral era)
 
+data TxInsReference era where
+
+     TxInsReferenceNone :: TxInsReference era
+
+     TxInsReference     :: ReferenceTxInsScriptsInlineDatumsSupportedInEra era
+                        -> [TxIn]
+                        -> TxInsReference era
+
 
 -- ----------------------------------------------------------------------------
 -- Transaction output values (era-dependent)