haskell - putの代わりにwithStateを使用する

Question

私はinorderでナンバリングツリーを書いています。ご覧のとおり、putを使用しました。ここでwithStateを使用できますか？

renumberTree2Inorder :: Tree a -> StateT Int Identity (Tree Int) 
renumberTree2Inorder Empty = return Empty 
renumberTree2Inorder (Node _ l r) = (renumberTree2Inorder l) >>= (\l' -> 
     get >>= (\i -> put (i + 1) >>= (\_ -> renumberTree2Inorder r) >>= (\r' -> return (Node i l' r')))) 



renumberTree2Inorder' :: Tree a -> Tree Int 
renumberTree2Inorder' t = evalState (renumberTree2Inorder t) 0 

Answer 1

はい。ここでwithStateは次のようになります。

renumberTree2Inorder :: Tree a -> StateT Int Identity (Tree Int) 
renumberTree2Inorder Empty = 
    return Empty 
renumberTree2Inorder (Node _ l r) = do 
    l' <- renumberTree2Inorder l 
    i <- get 
    withState (+ 1) $ do 
    r' <- renumberTree2Inorder r 
    return (Node i l' r') 

あなたはまだあなたが最後にNodeを構築することができi <- getを必要としています。