generated at
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モナド変換子を生成する