Skip to content

Commit 5398649

Browse files
committed
draft: return budgets in case of fail too
1 parent 4387df4 commit 5398649

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

src/BotPlutusInterface/Contract.hs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@ import Plutus.Contract.Types (Contract (..), ContractEffs)
6464
import PlutusTx.Builtins (fromBuiltin)
6565
import Wallet.Emulator.Error (WalletAPIError (..))
6666
import Prelude
67-
import Control.Concurrent.STM (newTVarIO, TVar, readTVarIO)
67+
import Control.Concurrent.STM (newTVarIO, readTVarIO)
6868
import Data.Map (Map)
6969

7070
runContract ::
@@ -74,19 +74,19 @@ runContract ::
7474
Contract w s e a ->
7575
IO (Either e a)
7676
runContract contractEnv contract =
77-
fmap fst <$> runContract' contractEnv contract
77+
fst <$> runContract' contractEnv contract
7878

7979
runContract' ::
8080
forall (w :: Type) (s :: Row Type) (e :: Type) (a :: Type).
8181
(ToJSON w, Monoid w) =>
8282
ContractEnvironment w ->
8383
Contract w s e a ->
84-
IO (Either e (a, Map Text TxBudget))
84+
IO (Either e a, Map Text TxBudget)
8585
runContract' contractEnv (Contract effs) = do
8686
emptyBudgets :: Budgets <- newTVarIO mempty
8787
res <- runM $ handlePABEffect @w contractEnv emptyBudgets $ raiseEnd $ handleContract contractEnv effs
8888
budgets <- readTVarIO emptyBudgets
89-
return $ (,budgets) <$> res
89+
return (res,budgets)
9090

9191
handleContract ::
9292
forall (w :: Type) (e :: Type) (a :: Type).

0 commit comments

Comments
 (0)