“`StateT a STM b”中的Haskell IO操作

Question

我想在我的randomIO中运行StateT a STM b，但是我得到了以下错误：

Expected type: StateT Session STM Float
  Actual type: IO Float

因此，我尝试从lift'ing从Control.Monad.Trans.Class (由国家的严格模块再导出)：

Expected type: StateT Session STM Float
  Actual type: StateT Session IO Float

更近但不完全是这样。我不能liftIO，因为STM没有MonadIO实例。

如何将其编译，以便在STM中运行STM中的StateT

Answer 1

根据评论，我是在尝试一些愚蠢的事情。相反，我使用Float将需要的随机randomRs (0.0, 1.0) g列表传递给我的函数。