読者です 読者をやめる 読者になる 読者になる

IT練習ノート

IT関連で調べたこと(実際は嵌ったこと)を書いています。

Stateモナドのモジュール名

Lazyの有無に関係ないようですね。

Prelude> :i Control.Monad.State.State
type Control.Monad.Trans.State.Lazy.State s =
  Control.Monad.Trans.State.Lazy.StateT
    s Data.Functor.Identity.Identity
    -- Defined in `Control.Monad.Trans.State.Lazy'

https://hackage.haskell.org/package/mtl-1.1.0.2/docs/src/Control-Monad-State.html#State

Prelude> :i Control.Monad.State.Lazy.State
type Control.Monad.Trans.State.Lazy.State s =
  Control.Monad.Trans.State.Lazy.StateT
    s Data.Functor.Identity.Identity
    -- Defined in `Control.Monad.Trans.State.Lazy'

https://hackage.haskell.org/package/mtl-1.1.0.2/docs/src/Control-Monad-State-Lazy.html#State