Scalaz StateT，不能访问get / modifiy / put？

Question

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

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

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

谢谢

Answer 1

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

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

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

(此代码段使用kind-projector语法)