Add _TxOutSupplementalDatum

j-mueller · Jan 21, 2025 · 247ae38 · 247ae38
1 parent 99ad073
commit 247ae38
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/src/optics/lib/Convex/CardanoApi/Lenses.hs b/src/optics/lib/Convex/CardanoApi/Lenses.hs
@@ -87,6 +87,7 @@ module Convex.CardanoApi.Lenses (
 
   -- * Datums
   _TxOutDatumInline,
+  _TxOutSupplementalDatum,
   _TxOutDatumHash,
   _ScriptData,
 
@@ -459,6 +460,15 @@ _TxOutDatumHash = prism' from to
   from :: C.Hash C.ScriptData -> TxOutDatum ctx era
   from h = C.TxOutDatumHash C.alonzoBasedEra h
 
+_TxOutSupplementalDatum :: forall era. (C.IsAlonzoBasedEra era) => Prism' (TxOutDatum CtxTx era) C.HashableScriptData
+_TxOutSupplementalDatum = prism' from to
+ where
+  to :: TxOutDatum CtxTx era -> Maybe C.HashableScriptData
+  to (C.TxOutSupplementalDatum _ k) = Just k
+  to _ = Nothing
+  from :: C.HashableScriptData -> TxOutDatum CtxTx era
+  from cd = C.TxOutSupplementalDatum C.alonzoBasedEra cd
+
 _TxOutDatumInline :: forall ctx era. (C.IsBabbageBasedEra era) => Prism' (TxOutDatum ctx era) C.HashableScriptData
 _TxOutDatumInline = prism' from to
  where