将 \/[A, B] 提升到 EitherT[Future, A, B]

Question

如何使用 point/liftM 语法将 \/[Error, Int] 提升到 EitherT[Future, Error, Int] 以便提升在右侧？

我有以下场景

for {
  r1 <- f1: EitherT[Future, Error, Int]
  r2 <- v: \/[Error, Int]
  r3 <- f2: EitherT[Future, Error, Int]
} yield r3

我可以像这样应用使 v 适合

for {
  r1 <- f1
  r2 <- EitherT.fromDisjunction[Future](v)
  r3 <- f2
} yield r3

或者干脆

for {
  r1 <- f1
  r2 <- EitherT(Future(v))
  r3 <- f2
} yield r3

但是我正在尝试将提升魔法移动到 v 的右侧，就像这样

for {
  r1 <- f1
  r2 <- v.point[Future].liftM[EitherT] // something approximately like this
  r3 <- f2
} yield r3

我试过了

type Result[F[_], A] = EitherT[F, Error, A]
v.point[Future].liftM[Result]

和

v.point[({ type L[x] = EitherT[Future, Error, x] })#L]

建议 here and ，但是此类型为

EitherT[Future, Error, Error \/ Int]

虽然我需要

EitherT[Future, Error, Int]

将提升移动到右侧只是为了美观，因为 EitherT.fromDisjunction[Future] 效果很好。

Answer 1

我不确定 scalaz 中是否存在。析取没有toEitherT[F]。然而，添加新语法是微不足道的：

  implicit class EitherLiftSyntax[A, B](val self: A \/ B) extends AnyVal {
    def liftT[M[_]]: EitherT[M, A, B] = EitherT.fromDisjunction[M](self)
  }

只要你在范围内，你就可以说 v.liftT[Future]

Answer 2

只是

r2 <- v.eitherT[Future, Error, Int]

和

import scalaz.{EitherT, \/}
import scalaz.std.scalaFuture._
import scalaz.syntax.eithert._
import scala.concurrent.Future
import scala.concurrent.ExecutionContext.Implicits.global
import scala.language.higherKinds

将 \/[A, B] 提升到 EitherT[Future, A, B]

Lift \/[A, B] into EitherT[Future, A, B]

scala

monad-transformers

scalaz