haskell - 查看 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

原子地 $ readTVar 检查 执行您想要的操作。 GHCi REPL 会自动执行您指定的任何 IO 操作。