Merge pull request #94 from mlabs-haskell/sam/contract-check

Add contract exists endpoint

Author: samuelWilliams99

src/BotPlutusInterface/Contract.hs

@@ -185,6 +185,7 @@ awaitTxStatusChange contractEnv txId = do
   case mTx of
     Nothing -> pure Unknown
     Just txState -> do
+      printLog @w Debug $ "Found transaction in node, waiting " ++ show chainConstant ++ " blocks for it to settle."
       awaitNBlocks @w contractEnv (chainConstant + 1)
       -- Check if the tx is still present in chain-index, in case of a rollback
       -- we might not find it anymore.

src/BotPlutusInterface/Server.hs

@@ -86,7 +86,7 @@ initState :: IO AppState
 initState = AppState <$> newTVarIO Map.empty
 
 -- | Mock API Schema, stripped endpoints that we don't use in this project
-type API a = WebSocketEndpoint :<|> ActivateContractEndpoint a :<|> RawTxEndpoint
+type API a = WebSocketEndpoint :<|> ActivateContractEndpoint a :<|> ContractLookupEndpoint :<|> RawTxEndpoint
 
 -- Endpoints are split up so it is easier to test them. In particular servant-client
 -- can not generate a client for the WebSocketEndpoint; this allows us to still
@@ -101,6 +101,13 @@ type ActivateContractEndpoint a =
     :> ReqBody '[JSON] (ContractActivationArgs a)
     :> Post '[JSON] ContractInstanceId -- Start a new instance.
 
+type ContractLookupEndpoint =
+  "api"
+    :> "contract"
+    :> "exists"
+    :> ReqBody '[JSON] ContractInstanceId
+    :> Post '[JSON] Bool
+
 type RawTxEndpoint =
   "raw-tx"
     :> Capture "tx-id" TxIdCapture
@@ -131,6 +138,7 @@ server :: HasDefinitions t => PABConfig -> AppState -> Server (API t)
 server pabConfig state =
   websocketHandler state
     :<|> activateContractHandler pabConfig state
+    :<|> contractLookupHandler state
     :<|> rawTxHandler pabConfig
 
 apiProxy :: forall (t :: Type). Proxy (API t)
@@ -239,6 +247,14 @@ activateContractHandler pabConf state (ContractActivationArgs cardMessage _) =
   case getContract cardMessage of
     SomeBuiltin contract -> handleContract pabConf state contract
 
+contractLookupHandler ::
+  AppState ->
+  ContractInstanceId ->
+  Handler Bool
+contractLookupHandler (AppState s) contractInstanceId = liftIO . atomically $ do
+  instances <- readTVar s
+  return $ Map.member contractInstanceId instances
+
 handleContract ::
   forall
     (w :: Type)