Question

给定一组具有两个不同子集的Adts 例如：

sealed trait Domain[Y]
sealed trait Command[Y] extends Domain[Y]
sealed trait Query[Y] extends Domain[Y]

case class Add(value:String) extends Command[Ack]
case class Remove(value:String) extends Command[Ack]
case class Exists(value:String) extends Query[Boolean]
case object List extends Query[List[String]]

现在假设我有两个自然变换，对于一些任意的Monad M [_]：

val commandHandler:Command ~> M
val queryExecutor:Query ~> M

我希望以某种方式将这两种自然变换合并为一个转换：

val service:Domain ~> M = union(commandHandler, queryExecutor)

然而，我们正在努力摆脱较高的副产品。在这个阶段，即使是正确方向的一点也会有所帮助。

Answer 1

好的，这是一个非常古老的问题，但现在，猫在NaturalTransformation上提供Coproduct和方法or：

trait NaturalTransformation[F[_], G[_]] extends Serializable { self =>
  def or[H[_]](h: H ~> G): Coproduct[F, H, ?] ~> G = ???
}

所以你可以用它来做（使用kind-projector作为类型lambda ?）

val combine: Coproduct[Command,Query,?] ~> M = commandHandler.or(queryExecutor)

编辑：以下是一个完整示例，它还定义了union（使用Id代替M进行类型检查）：

import cats._
import cats.data._

trait Ack
sealed trait Domain[Y]
sealed trait Command[Y] extends Domain[Y]
sealed trait Query[Y] extends Domain[Y]

case class Add(value:String) extends Command[Ack]
case class Remove(value:String) extends Command[Ack]
case class Exists(value:String) extends Query[Boolean]
case object List extends Query[List[String]]

def commandHandler:Command ~> Id = ???
def queryExecutor:Query ~> Id = ???

def union: Domain ~> Coproduct[Command,Query,?] = new (Domain ~> Coproduct[Command,Query,?]) {
  def apply[A](fa: Domain[A]): Coproduct[Command,Query,A] = fa match {
    case command: Command[A] => Coproduct.left(command)
    case query: Query[A] => Coproduct.right(query)
  }
}

def result: Domain ~> Id = commandHandler.or(queryExecutor).compose(union)

或者如果您想避开中间Coproduct：

def unionDirect[M[_]](cmd: Command ~> M, qry: Query ~> M): Domain ~> M =
  new (Domain ~> M) {
    def apply[A](fa: Domain[A]): M[A] = fa match {
      case command: Command[A] => cmd(command)
      case query: Query[A] => qry(query)
    }
}

def resultDirect: Domain ~> Id = unionDirect(commandHandler,queryExecutor)

Scala使用无形结合较高的kinded副产品而不是自然转化

1 个答案: