看GHCi中TVar的價值

Question

通過Simon Peyton Jones並發示例，我有以下代碼：

import Control.Concurrent.STM
import Control.Concurrent.STM.TVar

deposit account amount = do
    bal <- readTVar account
    writeTVar account (bal+amount)

我試圖在GHCi REPL中測試這個

*Main> checking <- atomically $ newTVar 100
*Main> atomically $ deposit checking 10

如何驗證我的支票余額是110美元？

我試過了

*Main> checking
*Main> readTVar checking
*Main> balance <- readTVar checking

Answer 1

atomically $ readTVar checking做你想要的。 GHCi REPL自動執行您提供的任何IO操作。