cleanup Share for Annotator

co-authored-by: Alexey Kuleshevich <[email protected]>
IntersectMBO · Jan 3, 2022 · 8b680a7 · 8b680a7
1 parent 0962998
commit 8b680a7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 8 deletions.
diff --git a/eras/shelley/impl/src/Cardano/Ledger/Shelley/LedgerState.hs b/eras/shelley/impl/src/Cardano/Ledger/Shelley/LedgerState.hs
@@ -531,7 +531,6 @@ decodeEpochState ::
   ( FromCBOR (Core.PParams era),
     TransValue FromCBOR era,
     FromSharedCBOR (f (LedgerState era)),
-    -- Share (f (Core.TxOut era)) ~ Interns (Credential 'Staking (Crypto era)),
     Share (f (LedgerState era)) ~ (Interns (Credential 'Staking (Crypto era)), Interns (KeyHash 'StakePool (Crypto era))),
     Applicative f
   ) =>
@@ -705,8 +704,7 @@ instance
   FromSharedCBOR (Annotator (UTxOState era))
   where
   type
-    Share (Annotator (UTxOState era)) =
-      Interns (Credential 'Staking (Crypto era))
+    Share (Annotator (UTxOState era)) = Share (UTxOState era)
   fromSharedCBOR = decodeUTxOState
 
 decodeUTxOState ::
@@ -872,9 +870,7 @@ instance
   ) =>
   FromSharedCBOR (Annotator (LedgerState era))
   where
-  type
-    Share (Annotator (LedgerState era)) =
-      (Interns (Credential 'Staking (Crypto era)), Interns (KeyHash 'StakePool (Crypto era)))
+  type Share (Annotator (LedgerState era)) = Share (LedgerState era)
   fromSharedPlusCBOR = decodeLedgerState
 
 decodeLedgerState ::

diff --git a/eras/shelley/impl/src/Cardano/Ledger/Shelley/UTxO.hs b/eras/shelley/impl/src/Cardano/Ledger/Shelley/UTxO.hs
@@ -155,8 +155,7 @@ instance
   FromSharedCBOR (Annotator (UTxO era))
   where
   type
-    Share (Annotator (UTxO era)) =
-      Interns (Credential 'Staking (Crypto era))
+    Share (Annotator (UTxO era)) = Share (UTxO era)
   fromSharedCBOR credsInterns = do
     !theMap <- decodeMap fromCBOR (fromSharedCBOR credsInterns)
     pure $ UTxO <$!> (sequenceA theMap)