哈斯克爾MonadState工具把與修改

Question

我想實現把與修改

put :: s -> m() 
    modify :: (s -> s) m s 

當我這樣做

put s = modify $ const((), s) 

我得到的錯誤，
預期類型：M（）
實際類型：m（（），s）
我試過類似的東西

modify $ const((), s) >>= \x -> return (fst x) 

獲得預期的M型（）
但這種方法行不通

可能有人向我解釋如何通過使用修改工具放？
謝謝你的時間和幫助。

Answer 1

modify具有類型

modify :: (MonadState s m) => (s -> s) -> m() 

第一個參數是一個純s -> s函數修改的狀態。所以，當你試圖使用const在正確的軌道上，你不必把狀態在一個元組：

put s = modify $ const s 

---

需要注意的是，當你可以在modify來定義put ，這意味着您將無法給出modify的一般定義;相反，您必須爲每個具體的monad（MonadState的實例）執行此操作。這解釋了爲什麼在Control.Monad.State,get和put是MonadState的類方法：您如何實現它們取決於特定的狀態monad。然後，根據get和put來定義。