如何在Haskell中評估IO布爾

Question

我正在嘗試編寫一個函數，該函數需要一個IO Bool並根據其內容進行處理，但是我不知道如何評估IO Bool。 我試着說do cond和do {cond==True}但是得到了錯誤Couldn't match expected type 'Bool' against inferred type 'a b' 。 有人可以指導我解決問題嗎？

Answer 1

您需要先從IO中解包布爾對象，然后才能使用它。 這是一個例子：

main = useBool trueIO

trueIO :: IO Bool
trueIO = return True

useBool :: IO Bool -> IO ()
useBool a = do
    b <- a
    putStrLn (show b)