Update libs/cardano-ledger-core/src/Cardano/Ledger/Plutus/ToPlutusData.hs

Co-authored-by: Alexey Kuleshevich <alexey.kuleshevich@iohk.io>

Author: Soupstraw

libs/cardano-ledger-core/CHANGELOG.md

@@ -2,6 +2,7 @@
 
 ## 1.18.0.0
 
+* Replaced `hkdPoolDepositL` method with `hkdPoolDepositCompactL`
 * Add `ppPoolDepositCompactL` and `ppuPoolDepositCompactL`
 * Add `standardHashSize` and `standardAddrHashSize`
 * Add `zeroCostModels` method to `EraTest`

libs/cardano-ledger-core/src/Cardano/Ledger/Core/PParams.hs

@@ -122,9 +122,9 @@ import qualified Data.Text as T
 import Data.Typeable (typeRep)
 import Data.Word (Word16, Word32)
 import GHC.Generics (Generic (..), K1 (..), M1 (..), U1, V1, type (:*:) (..))
+import GHC.Stack (HasCallStack)
 import Lens.Micro (Lens', SimpleGetter, lens, set, (^.))
 import NoThunks.Class (NoThunks)
-import GHC.Stack (HasCallStack)
 
 -- | Protocol parameters
 newtype PParams era = PParams (PParamsHKD Identity era)

libs/cardano-ledger-core/src/Cardano/Ledger/Plutus/ToPlutusData.hs

@@ -103,6 +103,8 @@ deriving instance ToPlutusData Coin
 
 instance ToPlutusData (CompactForm Coin) where
   toPlutusData = toPlutusData . fromCompact
+  fromPlutusData (I i) = toCompact (Coin i)
+  fromPlutusData _ = Nothing
 
 instance ToPlutusData Word32 where
   toPlutusData w32 = I (toInteger @Word32 w32)

libs/cardano-ledger-core/test/Test/Cardano/Ledger/PlutusSpec.hs

@@ -16,7 +16,7 @@ import Cardano.Ledger.BaseTypes (
   UnitInterval,
  )
 import Cardano.Ledger.Binary.Version (Version)
-import Cardano.Ledger.Coin (Coin)
+import Cardano.Ledger.Coin (Coin, CompactForm)
 import Cardano.Ledger.Plutus
 import Data.Map.Strict (Map)
 import Data.Word
@@ -38,6 +38,7 @@ spec = do
     roundTripPlutusDataSpec @[Word8]
     roundTripPlutusDataSpec @(Map Word Version)
     roundTripPlutusDataSpec @Coin
+    roundTripPlutusDataSpec @(CompactForm Coin)
     roundTripPlutusDataSpec @ExUnits
     roundTripPlutusDataSpec @Prices
     roundTripPlutusDataSpec @Natural