哈斯克爾GTK和單子變形金剛

Question

我正在與UI應用程序，我需要運行的代碼是在StateT和ReaderT在IO，我使用Graphics.UI.Gtk的UI和我有以下問題：

我需要單擊某個按鈕時，它調用具有簽名

tryAttack :: Int -> ReaderT Builder (StateT BattleState IO) Bool 

但在GTK，在clickedOn功能它需要一個IO()參數的函數：

onClicked :: ButtonClass b => b -> IO() -> IO (ConnectId b) 

我該如何讓「傻瓜」這個clickedOn函數認爲tryAttack是IO()。

attackButton builder leftTR i = do 
    moveButton <- builderGetObject builder castToButton ("move" ++ show i) 
    onClicked moveButton $ do 
     ok <- tryAttack i 
     if ok 
      then hideAndShow builder castToTable "fight" "option" 
      else return() 

---

tryAttack :: Int -> ReaderT Builder (StateT BattleState IO) Bool 
tryAttack i = return True 

顯然tryAttack代碼是暫時的。

Answer 1

你需要解開讀者單子，然後狀態單子拿到布爾結果：

(ok,newBattleState) <- runStateT (runReaderT (tryAttack i) builder) battleState