ScalaZ中的OptionalT和liftF

Question

我一直在看Cats与Scalaz一些例子，我试图在Scalaz复制它们。

在这里，我有一个要理解的地方：首先收到一个可选内容，我将FlatMap与OptionalT ，第二个函数返回一个Future of Employee。

这是我的代码

  //Attributes for this example
  sealed trait Employee {
    val id: String
  }

  final case class EmployeeWithoutDetails(id: String) extends Employee

  final case class EmployeeWithDetails(id: String, name: String, city: String, age: Int) extends Employee

  case class Company(companyName: String, employees: List[EmployeeWithoutDetails])

  trait HybridDBOps {
    protected def getDetails(employeeId: String): Future[EmployeeWithDetails]

    protected def getCompany(companyName: String): Option[Company]
  }

  class DbHybrid extends HybridDBOps {
    override def getDetails(employeeId: String): Future[EmployeeWithDetails] = Future {
      EmployeeWithDetails("1", "name", "city", 36)
    }

    override def getCompany(companyName: String): Option[Company] = Some(Company(companyName, List(EmployeeWithoutDetails("1"))))
  }

  def getEmployeeAgeScalaZHybrid(employeeId: String, companyName: String): Future[Option[Int]] = {
    val db = new DbHybrid
    val eventualOption = (for {
      company <- OptionT.fromOption(db.getCompany(companyName)) --> Wont compile
      if company.employees map (_.id) contains employeeId
      details <- OptionT.liftF(db.getDetails(employeeId)) --> Wont compile
    } yield details.age).run
    eventualOption
  }

该代码来自cats版本，在scalaz中不存在用于包装Option的OptionT.fromOption ，我注意到我可以做OptionT(Some(db.getCompany(companyName)) ，然后进行编译，但是现在方法的签名显示我返回的是Optional而不是Future。

还有如何在OptionT.liftF中使用ScalaZ

这里是完整的示例https://github.com/politrons/reactiveScala/blob/master/scala_features/src/main/scala/app/impl/scalaz/MonadTransformer.scala

问候。

Answer 1

这些应该可以替代：

import scalaz.std.future._
import scalaz.syntax.monad._

// instead of OptionT.fromOption(db.getCompany(companyName))
OptionT(db.getCompany(companyName).pure[Future])

// instead of OptionT.liftF(db.getDetails(employeeId))
db.getDetails(employeeId).liftM[OptionT]

但是，最好在OptionT上同时使用这两种方法。 您可以添加它们并打开拉取请求。