Scalaz StateT，无法获取/修改/放置？

Question

在scalaz中，有一种方法可以访问：

blah: StateT[Future, state, result] = {
    _ <- StateT.get[state] 
    _ ...
}

似乎仅为get而不是modify定义了State StateT等。我可以在源代码中找到对StateT的引用，但是我找不到一种导入它们的方法。如果我切换到猫，则可以访问StateT.get，但是我在使用scalaz的项目中。

谢谢

Answer 1

IIRC在Scalaz中使用这些操作的方法是提取MonadState的实例并直接对其调用方法：

val S = MonadState[StateT[Future, State, ?], State]

val blah = for {
  state <- S.get
...

（此代码段使用kind-projector语法）