州monad和gtk2hs

Question

我试图在我的GUI应用程序上保留一些状态，以便我可以从用户输入构造值列表。但我很难理解国家单子......所以...... 这里有一些测试代码来说明我想要的东西（显然它不会编译，甚至没有尝试过）：

-- // --

main :: IO ()
main = do
   initGUI
   build <- builderNew
   builderAddFromFile build "test.glade"

   mainWindow <- builderGetObject build castToWindow "mainWindow"
   mainWindow `onDestroy` mainQuit

   mQuit <- builderGetObject build castToButton "quit"
   mQuit `onClicked` mainQuit

   entry   <- builderGetObject build castToEntry "entry"
   mUpdate <- builderGetObject build castToButton "update"

   mUpdate `onClicked` do
      txt <- entryGetText entry
      runState (addToList txt) []
      return ()

   widgetShowAll mainWindow
   mainGUI

-- // --

addToList :: String -> State [String] ()
addToList ent = get >>= \x -> put $ x ++ [ent]

无论如何，我认为我应该使用StateT而不是State，但它在我的头脑中是一个完全混乱（读了这么多tutos ......）。 即使它起作用，也不会好，因为我在每个循环中给出了初始状态[]。 问题是如何编写addToList函数，以便每次按下更新按钮时，用户输入都会添加到某个状态（以前的输入列表）？

Answer 1

首先，State已经StateT

type State s = StateT s Identity

也许您需要使用StateT 1级别，如下所示：

runStateT $
put []
lift $ mUpdate `onClicked` do
   txt <- lift $ entryGetText entry
   listWas <- get  
   put $ txt : listWas   --in reverse order
   return ()