如何正确使用 MonadError？

Question

我有以下代码，未编译：

final class DbSystemEnvironment[F[_] : MonadError[F, Throwable]] private(env: Environment[F])
  extends DbSetting[F] {
  override def read(url: String, user: String, pw: String): F[DbParameter] =
    (for {
      a <- OptionT(env.get(url))
      b <- OptionT(env.get(user))
      c <- OptionT(env.get(pw))
    } yield DbParameter(a, b, c))
      .value
      .flatMap {
        case Some(v) => v.pure[F]
        case None => DbSettingError.raiseError[F, DbParameter]
      }

}

编译器抱怨：

[error] db/DbSystemEnvironment.scala:10:38: cats.MonadError[F,Throwable] does not take type parameters
[error] final class DbSystemEnvironment[F[_] : MonadError[F, Throwable]] private(env: Environment[F])
[error]                                      ^
[error] db/DbSystemEnvironment.scala:16:9: Could not find an instance of Functor for F
[error]       c <- OptionT(env.get(pw))
[error]         ^
[error] db/DbSystemEnvironment.scala:20:27: value pure is not a member of Any
[error]         case Some(v) => v.pure[F]
[error]                           ^
[error] db/DbSystemEnvironment.scala:21:37: value raiseError is not a member of object io.databaker.db.DbSettingError
[error]         case None => DbSettingError.raiseError[F, DbParameter]

看来，我没有正确使用MonadError。

其余代码：

final case class DbParameter(url: String, user: String, pw: String)

trait Environment[F[_]] {
  def get(v: String) : F[Option[String]]
}

object Environment {

  def apply[F[_]](implicit ev: Environment[F]): ev.type = ev

  def impl[F[_]: Sync]: Environment[F] = new Environment[F] {
    override def get(v: String): F[Option[String]] =
      Sync[F].delay(sys.env.get(v))
  }
}

如何编译代码？

Answer 1

这里的问题是约束语法。对于只有一个参数的类型构造函数（如Monad），可以写成class Foo[F[_]: Monad]。当你需要 "partially apply" 具有多个参数的类型构造函数时，如 MonadError，情况略有不同。

如果你使用的是kind-projector，你可以这样写：

class DbSystemEnvironment[F[_]: MonadError[*[_], Throwable]]

不过，这是非标准语法，目前未包含在 Dotty 的部分 -Ykind-projector 兼容性支持中。我建议只对隐式参数列表进行脱糖处理：

class DbSystemEnvironment[F[_]](implicit F: MonadError[F, Throwable]])

这正是您想要的，不需要额外的编译器插件，而且更适合未来。

如何正确使用 MonadError？

How to use MonadError correctly?

scala

scala-cats