11{-# LANGUAGE AllowAmbiguousTypes #-}
22{-# LANGUAGE RankNTypes #-}
3+ {-# OPTIONS_GHC -Wno-orphans #-}
34
45module BotPlutusInterface.Contract (runContract , handleContract ) where
56
@@ -34,7 +35,7 @@ import Control.Lens (preview, (^.))
3435import Control.Monad (join , void , when )
3536import Control.Monad.Freer (Eff , Member , interpret , reinterpret , runM , subsume , type (~> ))
3637import Control.Monad.Freer.Error (runError )
37- import Control.Monad.Freer.Extras.Log (handleLogIgnore )
38+ import Control.Monad.Freer.Extras.Log (handleLogTrace )
3839import Control.Monad.Freer.Extras.Modify (raiseEnd )
3940import Control.Monad.Freer.Writer (Writer (Tell ))
4041import Control.Monad.Trans.Class (lift )
@@ -71,6 +72,8 @@ import Plutus.Contract.Types (Contract (..), ContractEffs)
7172import PlutusTx.Builtins (fromBuiltin )
7273import Wallet.Emulator.Error (WalletAPIError (.. ))
7374import Prelude
75+ import Prettyprinter
76+ import Data.String (fromString )
7477
7578runContract ::
7679 forall (w :: Type ) (s :: Row Type ) (e :: Type ) (a :: Type ).
@@ -92,10 +95,13 @@ handleContract contractEnv =
9295 . handleResumable contractEnv
9396 . handleCheckpointIgnore
9497 . handleWriter
95- . handleLogIgnore @ Value
98+ . handleLogTrace
9699 . runError
97100 . raiseEnd
98101
102+ instance Pretty Value where
103+ pretty = fromString . show
104+
99105handleWriter ::
100106 forall (w :: Type ) (effs :: [Type -> Type ]).
101107 (ToJSON w , Monoid w ) =>
0 commit comments