AllegraTxbody, allegratxbodyraw

Author: teodanciu

eras/allegra/impl/src/Cardano/Ledger/Allegra/TxBody.hs

@@ -42,7 +42,7 @@ import Cardano.Ledger.Allegra.Scripts (ValidityInterval (..))
 import Cardano.Ledger.Allegra.TxCert ()
 import Cardano.Ledger.Allegra.TxOut ()
 import Cardano.Ledger.BaseTypes (SlotNo, StrictMaybe (SJust, SNothing))
-import Cardano.Ledger.Binary (DecCBOR (..), EncCBOR (..), ToCBOR)
+import Cardano.Ledger.Binary (Annotator, DecCBOR (..), EncCBOR (..), ToCBOR)
 import Cardano.Ledger.Binary.Coders (
   Decode (..),
   Encode (..),
@@ -59,6 +59,7 @@ import Cardano.Ledger.Coin (Coin (..))
 import Cardano.Ledger.Core
 import Cardano.Ledger.MemoBytes (
   EqRaw,
+  Mem,
   MemoBytes,
   MemoHashIndex,
   Memoized (RawType),
@@ -124,6 +125,12 @@ instance (DecCBOR ma, Monoid ma, AllegraEraTxBody era) => DecCBOR (AllegraTxBody
           [(0, "atbrInputs"), (1, "atbrOutputs"), (2, "atbrFee")]
       )
 
+instance
+  (DecCBOR m, Monoid m, AllegraEraTxBody era) =>
+  DecCBOR (Annotator (AllegraTxBodyRaw m era))
+  where
+  decCBOR = pure <$> decCBOR
+
 -- Sparse encodings of AllegraTxBodyRaw, the key values are fixed by backward compatibility
 -- concerns as we want the ShelleyTxBody to deserialise as AllegraTxBody.
 -- txXparse and bodyFields should be Duals, visual inspection helps ensure this.
@@ -196,6 +203,11 @@ emptyAllegraTxBodyRaw =
 instance Memoized (TxBody AllegraEra) where
   type RawType (TxBody AllegraEra) = AllegraTxBodyRaw () AllegraEra
 
+deriving via
+  Mem (AllegraTxBodyRaw () AllegraEra)
+  instance
+    DecCBOR (Annotator (TxBody AllegraEra))
+
 deriving instance Eq (TxBody AllegraEra)
 
 deriving instance Show (TxBody AllegraEra)