StateT
Stateモナド
の
モナド変換子
型表記
runStateT :: StateT s m a -> s -> m (a,s)
StateTから内部関数を取り出す
m
は任意のモナド
例えば、
m
をIOモナドだとすると、StateTにrunstateTを作用させると、IOモナドが返ってくる
StateT :: (s -> m (a,s)) -> StateT s m a
関数からStateTモナド変換子を生成する