如何结合Kleisli[M，A，C]和Kleisli[M，B，C]

Question

我遵循优秀书籍Reactive的设计，我需要将Kleisli与不同类型混合起来：

object CombinedKleisli {
  type User = String
  type Project = String

  trait UserRepo
  trait ProjectRepo
  trait UserService {
    def findByUserId : Kleisli[Future, UserRepo, User]
  }
  trait ProjectService {
    def findProjectById : Kleisli[Future, ProjectRepo, Project]
  }
  trait ComposedService extends UserService with ProjectService {
    for {
      user <- findByUserId
      project <- findProjectById
    } yield (user, project)
  }

}

由于类型不对齐，我得到以下编译错误

Error:(28, 15) type mismatch;
 found   : scalaz.Kleisli[scala.concurrent.Future,domain.service.ServiceTest.ProjectRepo,(domain.service.ServiceTest.User, domain.service.ServiceTest.Project)]
    (which expands to)  scalaz.Kleisli[scala.concurrent.Future,domain.service.ServiceTest.ProjectRepo,(String, String)]
 required: scalaz.Kleisli[scala.concurrent.Future,domain.service.ServiceTest.UserRepo,?]
      project <- findProjectById
              ^

修复该问题的最佳方法是创建一个

trait Context {
  def userRepo
  def projectRepo
}

用它污染UserService和ProjectService？

Answer 1

您需要想出一些方法将输入类型组合成单个类型。其中一种方法是继承--您将拥有一个类型UserRepo with ProjectRepo，它是UserRepo和ProjectRepo的子类。另一种方法是组合，这里有一个元组(UserRepo, ProjectRepo)。

在这两种情况下，通常都会使用local“展开”每个箭头的输入类型，以便在for-comprehension中组合它们：

for {
  user <- findByUserId.local[(UserRepo, ProjectRepo)](_._1)
  project <- findProjectById.local[(UserRepo, ProjectRepo)](_._2)
} yield (user, project)

这里，(UserRepo, ProjectRepo)类型参数参数指定新的输入类型，值参数(例如，_._1)指定如何从新的输入类型获取原始箭头的输入类型。