gistfile1.hs

import Control.Monad.State

main :: IO ()
main = print $ runState f 1000 --状態の初期値を1000にしてfを実行

f :: State Int ()
f = do
  x <- sub1
  sub2 x

--状態から値を取り出して10足して返す
sub1 :: State Int Int
sub1 = do
  x <- get
  return $ x + 10

--引数を2倍して状態に代入
sub2 :: Int -> State Int ()
sub2 a = do
  x <- return 2
  put $ a * x