Use decSharePlusLensCBOR instead of explicitly modifying the interns

Author: teodanciu

libs/cardano-ledger-core/src/Cardano/Ledger/State/CertState.hs

@@ -64,7 +64,6 @@ import Cardano.Ledger.Binary (
   decodeRecordNamed,
   decodeRecordNamedT,
   encodeListLen,
-  internsFromMap,
   internsFromSet,
   toMemptyLens,
  )
@@ -80,7 +79,6 @@ import Cardano.Ledger.State.Account
 import Cardano.Ledger.State.StakePool (StakePoolState (..))
 import Control.DeepSeq (NFData (..))
 import Control.Monad.Trans
-import Control.Monad.Trans.State.Strict (get, put)
 import Data.Aeson (ToJSON (..), object, (.=))
 import Data.Default (Default (def))
 import qualified Data.Foldable as F
@@ -252,18 +250,10 @@ instance DecShareCBOR (PState era) where
   type Share (PState era) = (Interns (VRFVerKeyHash 'StakePoolVRF), Interns (KeyHash 'StakePool))
 
   decSharePlusCBOR = decodeRecordNamedT "PState" (const 4) $ do
-    (vrfKh, kh) <- get
-    psVRFKeyHashes <- lift $ decShareCBOR (vrfKh, mempty)
-    psStakePools <- lift $ decShareCBOR (kh, mempty)
-    psFutureStakePools <- lift $ decShareCBOR (kh, mempty)
-    psRetiring <- lift $ decShareCBOR (kh, mempty)
-    put
-      ( internsFromMap psVRFKeyHashes <> vrfKh
-      , internsFromMap psStakePools
-          <> internsFromMap psFutureStakePools
-          <> internsFromMap psRetiring
-          <> kh
-      )
+    psVRFKeyHashes <- decSharePlusLensCBOR (toMemptyLens _1 _1)
+    psStakePools <- decSharePlusLensCBOR (toMemptyLens _1 _2)
+    psFutureStakePools <- decSharePlusLensCBOR (toMemptyLens _1 _2)
+    psRetiring <- decSharePlusLensCBOR (toMemptyLens _1 _2)
     pure PState {psVRFKeyHashes, psStakePools, psFutureStakePools, psRetiring}
 
 instance (Era era, DecShareCBOR (PState era)) => DecCBOR (PState era) where