From 247ae382ec3ad04f99a20c822f29a422d3def21c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jann=20M=C3=BCller?= Date: Tue, 21 Jan 2025 19:39:26 +0100 Subject: [PATCH] Add _TxOutSupplementalDatum --- src/optics/lib/Convex/CardanoApi/Lenses.hs | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/optics/lib/Convex/CardanoApi/Lenses.hs b/src/optics/lib/Convex/CardanoApi/Lenses.hs index f9360eb1..dd000ce6 100644 --- 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