Haskell：如何在RWS monad中製造副作用嚴格

Question

我正在嘗試編寫一個具有FFI到C的程序。有一種方法需要在指針上調用，該指針不返回任何內容。我的指針是RWS monad中的一個狀態，但是當我嘗試更改狀態時，由於惰性，函數不會被調用。我如何確保函數被調用？

例如，在下面的代碼中，我如何顯示「創建外部monad」？

{-# LANGUAGE GeneralizedNewtypeDeriving #-} 
module Main where 

import Control.Monad.RWS.Strict 

newtype OuterMonad a = OuterMonad { 
    unwrapOuterMonad :: RWST()()() IO a 
} deriving (Monad, MonadIO) 


createOuterMonad :: OuterMonad() 
createOuterMonad = do 
    liftIO $ putStrLn "creating outer monad" 
    return() 

runOuterMonad :: OuterMonad a -> IO() 
runOuterMonad _ = putStrLn "RunOuterMonad!!" 

main :: IO() 
main = do 
    putStrLn "starting Program" 
    runOuterMonad $ do 
     createOuterMonad 

Answer 1

你應該在某些時候OuterMonad評估。例如：

runOuterMonad :: OuterMonad a -> IO() 
runOuterMonad m = do 
    evalRWST (unwrapOuterMonad m)()() 
    putStrLn "RunOuterMonad!!"