wip - allegra: remove from testlib, empty module

Author: teodanciu

eras/allegra/impl/cardano-ledger-allegra.cabal

@@ -113,7 +113,6 @@ library testlib
     base,
     bytestring,
     cardano-ledger-allegra,
-    cardano-ledger-binary,
     cardano-ledger-core:{cardano-ledger-core, testlib},
     cardano-ledger-shelley:{cardano-ledger-shelley, testlib},
     cardano-strict-containers,

eras/allegra/impl/testlib/Test/Cardano/Ledger/Allegra/Binary/Annotator.hs

@@ -10,73 +10,4 @@
 {-# LANGUAGE UndecidableInstances #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 
-module Test.Cardano.Ledger.Allegra.Binary.Annotator (
-  module Test.Cardano.Ledger.Shelley.Binary.Annotator,
-) where
-
-import Cardano.Ledger.Allegra (AllegraEra)
-import Cardano.Ledger.Allegra.Scripts
-import Cardano.Ledger.Allegra.TxAuxData
-import Cardano.Ledger.Allegra.TxBody
-import Cardano.Ledger.Binary
-import Cardano.Ledger.Binary.Coders
-import Cardano.Ledger.Core
-import qualified Data.Sequence.Strict as StrictSeq
-import Test.Cardano.Ledger.Allegra.Arbitrary ()
-import Test.Cardano.Ledger.Core.Binary.Annotator
-import Test.Cardano.Ledger.Shelley.Binary.Annotator
-
-instance Era era => DecCBOR (Annotator (AllegraTxAuxDataRaw era)) where
-  decCBOR =
-    peekTokenType >>= \case
-      TypeMapLen -> decodeFromMap
-      TypeMapLen64 -> decodeFromMap
-      TypeMapLenIndef -> decodeFromMap
-      TypeListLen -> decodeFromList
-      TypeListLen64 -> decodeFromList
-      TypeListLenIndef -> decodeFromList
-      _ -> fail "Failed to decode AuxiliaryDataRaw"
-    where
-      decodeFromMap =
-        decode
-          ( Ann (Emit AllegraTxAuxDataRaw)
-              <*! Ann From
-              <*! Ann (Emit StrictSeq.empty)
-          )
-      decodeFromList =
-        decode
-          ( Ann (RecD AllegraTxAuxDataRaw)
-              <*! Ann From
-              <*! D (sequence <$> decCBOR)
-          )
-
-deriving via
-  (Mem (AllegraTxAuxDataRaw era))
-  instance
-    Era era => DecCBOR (Annotator (AllegraTxAuxData era))
-
-instance Era era => DecCBOR (Annotator (TimelockRaw era)) where
-  decCBOR = decode (Summands "TimelockRaw" decRaw)
-    where
-      decRaw :: Word -> Decode 'Open (Annotator (TimelockRaw era))
-      decRaw 0 = Ann (SumD TimelockSignature <! From)
-      decRaw 1 = Ann (SumD TimelockAllOf) <*! D (sequence <$> decCBOR)
-      decRaw 2 = Ann (SumD TimelockAnyOf) <*! D (sequence <$> decCBOR)
-      decRaw 3 = Ann (SumD TimelockMOf) <*! Ann From <*! D (sequence <$> decCBOR)
-      decRaw 4 = Ann (SumD TimelockTimeStart <! From)
-      decRaw 5 = Ann (SumD TimelockTimeExpire <! From)
-      decRaw n = Invalid n
-
-instance Era era => DecCBOR (Annotator (Timelock era)) where
-  decCBOR = fmap MkTimelock <$> decCBOR
-
-instance
-  (DecCBOR m, Monoid m, AllegraEraTxBody era) =>
-  DecCBOR (Annotator (AllegraTxBodyRaw m era))
-  where
-  decCBOR = pure <$> decCBOR
-
-deriving via
-  Mem (AllegraTxBodyRaw () AllegraEra)
-  instance
-    DecCBOR (Annotator (TxBody AllegraEra))
+module Test.Cardano.Ledger.Allegra.Binary.Annotator where