add new search type GreedyPruning

Author: IAmPara0x

.envrc

@@ -1,2 +1,3 @@
 nix-user-chroot ~/.nix zsh -l
+
 use flake

examples/debug/src/SomeDebugContract.hs

@@ -2,11 +2,9 @@
 
 module SomeDebugContract where
 
-import Data.Aeson.Extras (encodeByteString)
 import Data.Map (size)
 import Data.Map qualified as M
 import Data.Text (Text)
-import Data.Void (Void)
 import Debug.Trace (traceM)
 import Ledger (Address (Address), PaymentPubKeyHash (PaymentPubKeyHash), getCardanoTxId)
 import Ledger qualified

examples/debug/src/TestRun.hs

@@ -1,7 +1,17 @@
 module TestRun (testnetRun, main) where
 
 import BotPlutusInterface.Contract qualified as BPI
-import BotPlutusInterface.Types
+import BotPlutusInterface.Types (
+  CLILocation (Local),
+  CollateralVar (CollateralVar, unCollateralVar),
+  ContractEnvironment (..),
+  ContractState (ContractState),
+  ContractStats (ContractStats),
+  LogLevel (Notice),
+  LogsList (LogsList),
+  PABConfig (..),
+  TxStatusPolling (TxStatusPolling),
+ )
 import Cardano.Api (NetworkId (Mainnet))
 import Cardano.Api.Shelley (ProtocolParameters)
 import Control.Concurrent.STM (newTVarIO, readTVarIO)
@@ -11,7 +21,7 @@ import Data.Text (Text)
 
 import Data.Text qualified as Text
 import Data.UUID.V4 qualified as UUID
-import GHC.IO.Encoding
+import GHC.IO.Encoding (setLocaleEncoding, utf8)
 import Ledger (PubKeyHash)
 import Plutus.PAB.Core.ContractInstance.STM (Activity (Active))
 import Servant.Client (BaseUrl (BaseUrl), Scheme (Http))
@@ -20,7 +30,7 @@ import System.Directory (listDirectory)
 import System.Environment (getArgs, getEnv, setEnv)
 import System.FilePath ((</>))
 import TimeDebugContract qualified
-import Tools
+import Tools (pkhFromHash)
 import Wallet.Types (ContractInstanceId (ContractInstanceId))
 import Prelude
 

examples/debug/src/Tools.hs

@@ -1,39 +1,31 @@
 module Tools where
 
 import Cardano.Api qualified as CAPI
-import Data.Aeson ((.=))
-import Data.Aeson qualified as JSON
+import Data.String (fromString)
 import Data.Text (Text)
-import GHC.Natural (Natural)
+import GHC.Word (Word32)
 import Ledger (Address (Address), PubKeyHash)
 import Ledger.Tx.CardanoAPI (toCardanoAddress)
 import Plutus.V1.Ledger.Api (Credential (PubKeyCredential))
 import Prelude
 
 pkhFromHash :: String -> PubKeyHash
-pkhFromHash key =
-  let res = JSON.fromJSON $ JSON.object ["getPubKeyHash" .= key]
-   in case res of
-        JSON.Success pkh -> pkh
-        _ -> error "failed to parse pkh"
+pkhFromHash = fromString
 
 pkToAddr :: PubKeyHash -> Address
 pkToAddr = flip Address Nothing . PubKeyCredential
 
-addrToCapiAddr :: Natural -> Address -> Text
+addrToCapiAddr :: Word32 -> Address -> Text
 addrToCapiAddr nId addr =
   let networkId = getNetId nId
       capiAddr = toCardanoAddress networkId addr
    in CAPI.serialiseAddress
         . either (error . show) id
         $ capiAddr
 
-getNetId :: Natural -> CAPI.NetworkId
+getNetId :: Word32 -> CAPI.NetworkId
 getNetId = \case
   0 -> CAPI.Mainnet
   n ->
-    CAPI.Testnet
-      . CAPI.NetworkMagic
-      . fromInteger
-      . toInteger
-      $ n
+    CAPI.Testnet $
+      CAPI.NetworkMagic n