用多参数类型实现 Monad 类型类

Question

在 scala 中，我有一个带有错误案例和持有类型的容器类型：

case class Extract[E, A](runView: View => EitherT[Future, E, (A, View)]) {...}

我打算将其用作一种异步状态单子。我已经为此实现了所有map、flatMap 实用方法。

我现在想将此类型标记为 scalaz 中 Monad 类型类的成员，并且我正在努力制定语法来指定我想要类型 monadic 的类型参数是 A 类型，因为Monad 采用具有单个类型参数的类型。以下是我的错误尝试。

implicit def extractInterface[E] = new Monad[Extract[E, A]] {
    def point[A](a: => A): Extract[E, A] = {...}
    def bind[A, B](fa: Extract[E, A])(f: (A) => Extract[E, B]): Extract[E, B] = fa.flatMap(f)
}

我曾尝试查看 E \/ A 的 scalaz 实例，但它们使用 ? 类型参数，我找不到它的定义。

有什么语法技巧可以做我想做的事吗？

Answer 1

你应该使用type lambda

implicit def extractInterface[E] = new Monad[({ type λ[A] = Extract[E, A] })#λ] {
  ...
}

您也可以使用kind-projector 插件。

implicit def extractInterface[E] = new Monad[Extract[E, ?]] {
  ...
}

What is the ? type?