Add SlotConfig to PABConfig

Author: gege251

src/BotPlutusInterface/Contract.hs

@@ -23,7 +23,6 @@ import Control.Monad.Freer.Extras.Log (handleLogIgnore)
 import Control.Monad.Freer.Extras.Modify (raiseEnd)
 import Control.Monad.Freer.Writer (Writer (Tell))
 import Data.Aeson (ToJSON, Value)
-import Data.Default (Default (def))
 import Data.Kind (Type)
 import Data.Map qualified as Map
 import Data.Row (Row)
@@ -245,4 +244,4 @@ currentTime ::
   ContractEnvironment w ->
   Eff effs POSIXTime
 currentTime contractEnv =
-  slotToEndPOSIXTime def <$> currentSlot @w contractEnv
+  slotToEndPOSIXTime contractEnv.cePABConfig.pcSlotConfig <$> currentSlot @w contractEnv

src/BotPlutusInterface/PreBalance.hs

@@ -14,7 +14,6 @@ import Control.Monad (foldM, void, zipWithM)
 import Control.Monad.Freer (Eff, Member)
 import Control.Monad.Trans.Class (lift)
 import Control.Monad.Trans.Either (EitherT, hoistEither, newEitherT, runEitherT)
-import Data.Default (Default (def))
 import Data.Either.Combinators (maybeToRight, rightToMaybe)
 import Data.Kind (Type)
 import Data.List (partition, (\\))
@@ -77,6 +76,7 @@ preBalanceTxIO pabConf ownPkh unbalancedTx =
       tx <-
         hoistEither $
           addValidRange
+            pabConf
             (unBalancedTxValidityTimeRange unbalancedTx)
             (unBalancedTxTx unbalancedTx)
 
@@ -272,10 +272,10 @@ addSignatories ownPkh privKeys pkhs tx =
     tx
     (ownPkh : pkhs)
 
-addValidRange :: POSIXTimeRange -> Tx -> Either Text Tx
-addValidRange timeRange tx =
+addValidRange :: PABConfig -> POSIXTimeRange -> Tx -> Either Text Tx
+addValidRange pabConf timeRange tx =
   if validateRange timeRange
-    then Right $ tx {txValidRange = posixTimeRangeToContainedSlotRange def timeRange}
+    then Right $ tx {txValidRange = posixTimeRangeToContainedSlotRange pabConf.pcSlotConfig timeRange}
     else Left "Invalid validity interval."
 
 validateRange :: forall (a :: Type). Ord a => Interval a -> Bool

src/BotPlutusInterface/Types.hs

@@ -26,6 +26,7 @@ import Data.Map (Map)
 import Data.Text (Text)
 import GHC.Generics (Generic)
 import Ledger (PubKeyHash)
+import Ledger.TimeSlot (SlotConfig)
 import Network.Wai.Handler.Warp (Port)
 import Plutus.PAB.Core.ContractInstance.STM (Activity)
 import Plutus.PAB.Effects.Contract.Builtin (
@@ -43,6 +44,7 @@ data PABConfig = PABConfig
   , pcChainIndexUrl :: !BaseUrl
   , pcNetwork :: !NetworkId
   , pcProtocolParams :: !ProtocolParameters
+  , pcSlotConfig :: !SlotConfig
   , -- | Directory name of the script and data files
     pcScriptFileDir :: !Text
   , -- | Directory name of the signing key files
@@ -107,6 +109,7 @@ instance Default PABConfig where
       , pcChainIndexUrl = BaseUrl Http "localhost" 9083 ""
       , pcNetwork = Testnet (NetworkMagic 42)
       , pcProtocolParams = def
+      , pcSlotConfig = def
       , pcScriptFileDir = "./result-scripts"
       , pcSigningKeyFileDir = "./signing-keys"
       , pcTxFileDir = "./txs"