Make DepositLovelace a Natural

Author: palas

cardano-wasm/cardano-wasm.cabal

@@ -38,6 +38,7 @@ library cardano-wasi-lib
     Cardano.Wasm.Api.TypeScriptDefs
     Cardano.Wasm.Api.Wallet
     Cardano.Wasm.ExceptionHandling
+    Cardano.Wasm.NumberConversion
 
   other-modules:
     Cardano.Wasm.Internal.Api.Era

cardano-wasm/src-lib/Cardano/Wasm/Api/Certificate/StakeCertificate.hs

@@ -37,6 +37,7 @@ import Control.Monad.Catch (MonadThrow)
 import Data.ByteString.Base16 qualified as Base16
 import Data.Text qualified as Text
 import Data.Text.Encoding qualified as Text
+import Numeric.Natural (Natural)
 
 -- * Type aliases for clarity
 
@@ -47,7 +48,7 @@ type StakeKeyHashBase16 = String
 type PoolIdBase16 = String
 
 -- | Deposit amount in lovelace.
-type DepositLovelace = Integer
+type DepositLovelace = Natural
 
 -- | Certificate serialized to CBOR as a base16-encoded string.
 type CertificateCBORBase16 = String
@@ -106,7 +107,7 @@ makeStakeAddressRegistrationCertificateWrapper era skHash deposit =
     let cert :: Certificate (Exp.LedgerEra era) =
           Exp.makeStakeAddressRegistrationCertificate
             (StakeCredentialByKey skHash)
-            (Coin deposit)
+            (Coin $ toInteger deposit)
     return $ serialiseCertificateToCBOR era cert
 
 -- | Make a stake address unregistration certificate in the current era.
@@ -131,7 +132,7 @@ makeStakeAddressUnregistrationCertificateWrapper era skHash deposit =
     let cert :: Certificate (Exp.LedgerEra era) =
           Exp.makeStakeAddressUnregistrationCertificate
             (StakeCredentialByKey skHash)
-            (Coin deposit)
+            (Coin $ toInteger deposit)
     return $ serialiseCertificateToCBOR era cert
 
 serialiseCertificateToCBOR

cardano-wasm/src-lib/Cardano/Wasm/NumberConversion.hs

@@ -0,0 +1,13 @@
+module Cardano.Wasm.NumberConversion
+  ( integerToNatural
+  )
+where
+
+import Cardano.Wasm.ExceptionHandling (throwError)
+
+import Numeric.Natural (Natural)
+
+integerToNatural :: Integer -> IO Natural
+integerToNatural i
+  | i < 0 = throwError $ "Expected natural number, but got a negative value: " ++ show i
+  | otherwise = return $ fromIntegral i

cardano-wasm/src-wasi/Cardano/Wasi/Internal/Api/Certificate/StakeCertificate.hs

@@ -12,6 +12,7 @@ where
 
 import Cardano.Wasi.Internal.Conversion (cstrToInt)
 import Cardano.Wasm.Api.Certificate.StakeCertificate qualified as Wasm
+import Cardano.Wasm.NumberConversion (integerToNatural)
 
 import Control.Monad (join)
 
@@ -67,7 +68,7 @@ makeStakeAddressRegistrationCertificate stakeKeyHashCStr depositCStr =
     =<< join
       ( Wasm.makeStakeAddressRegistrationCertificateImpl
           <$> peekCString stakeKeyHashCStr
-          <*> (toInteger <$> cstrToInt "deposit" depositCStr)
+          <*> (integerToNatural =<< cstrToInt "deposit" depositCStr)
       )
 
 -- | Make a stake address registration certificate in the upcoming era.
@@ -77,7 +78,7 @@ makeStakeAddressRegistrationCertificateUpcomingEra stakeKeyHashCStr depositCStr
     =<< join
       ( Wasm.makeStakeAddressRegistrationCertificateUpcomingEraImpl
           <$> peekCString stakeKeyHashCStr
-          <*> (toInteger <$> cstrToInt "deposit" depositCStr)
+          <*> (integerToNatural =<< cstrToInt "deposit" depositCStr)
       )
 
 -- | Make a stake address unregistration certificate in the current era.
@@ -87,7 +88,7 @@ makeStakeAddressUnregistrationCertificate stakeKeyHashCStr depositCStr =
     =<< join
       ( Wasm.makeStakeAddressUnregistrationCertificateImpl
           <$> peekCString stakeKeyHashCStr
-          <*> (toInteger <$> cstrToInt "deposit" depositCStr)
+          <*> (integerToNatural =<< cstrToInt "deposit" depositCStr)
       )
 
 -- | Make a stake address unregistration certificate in the upcoming era.
@@ -97,5 +98,5 @@ makeStakeAddressUnregistrationCertificateUpcomingEra stakeKeyHashCStr depositCSt
     =<< join
       ( Wasm.makeStakeAddressUnregistrationCertificateUpcomingEraImpl
           <$> peekCString stakeKeyHashCStr
-          <*> (toInteger <$> cstrToInt "deposit" depositCStr)
+          <*> (integerToNatural =<< cstrToInt "deposit" depositCStr)
       )

cardano-wasm/src-wasm/Cardano/Wasm/Internal/JavaScript/Bridge.hs

@@ -31,6 +31,7 @@ import Cardano.Wasm.Internal.JavaScript.GRPC
   , js_submitTx
   )
 import Cardano.Wasm.Internal.JavaScript.GRPCTypes (JSGRPCClient, JSUtxos)
+import Cardano.Wasm.NumberConversion (integerToNatural)
 
 import Control.Exception (evaluate)
 import Control.Monad
@@ -446,7 +447,7 @@ makeStakeAddressRegistrationCertificate jsStakeKeyHash jsDeposit =
     =<< join
       ( Wasm.makeStakeAddressRegistrationCertificateImpl
           <$> fromJSVal jsStakeKeyHash
-          <*> (fromInteger <$> fromJSBigInt jsDeposit)
+          <*> (integerToNatural =<< fromJSBigInt jsDeposit)
       )
 
 -- | Make a stake address registration certificate in the upcoming era.
@@ -456,7 +457,7 @@ makeStakeAddressRegistrationCertificateUpcomingEra jsStakeKeyHash jsDeposit =
     =<< join
       ( Wasm.makeStakeAddressRegistrationCertificateUpcomingEraImpl
           <$> fromJSVal jsStakeKeyHash
-          <*> (fromInteger <$> fromJSBigInt jsDeposit)
+          <*> (integerToNatural =<< fromJSBigInt jsDeposit)
       )
 
 -- | Make a stake address unregistration certificate in the current era.
@@ -466,7 +467,7 @@ makeStakeAddressUnregistrationCertificate jsStakeKeyHash jsDeposit =
     =<< join
       ( Wasm.makeStakeAddressUnregistrationCertificateImpl
           <$> fromJSVal jsStakeKeyHash
-          <*> (fromInteger <$> fromJSBigInt jsDeposit)
+          <*> (integerToNatural =<< fromJSBigInt jsDeposit)
       )
 
 -- | Make a stake address unregistration certificate in the upcoming era.
@@ -476,7 +477,7 @@ makeStakeAddressUnregistrationCertificateUpcomingEra jsStakeKeyHash jsDeposit =
     =<< join
       ( Wasm.makeStakeAddressUnregistrationCertificateUpcomingEraImpl
           <$> fromJSVal jsStakeKeyHash
-          <*> (fromInteger <$> fromJSBigInt jsDeposit)
+          <*> (integerToNatural =<< fromJSBigInt jsDeposit)
       )
 
 -- | Set the transaction fee for an unsigned transaction.