3

因此，我试图将一系列操作从封装gremlin-scala到 an中HList，以便我可以RightFold对它们进行 a （这将允许我将 gremlin 查询构造为数据：特别是 an HListof Operations）。

这就是我的意思：通常你可以这样打电话gremlin-scala：

import gremlin.scala._
import org.apache.tinkerpop.gremlin.tinkergraph.structure.TinkerFactory

def graph = TinkerFactory.createModern.asScala
graph.V.hasLabel("person").out("created").as("creations").toList.map(_.valueMap)

---> List[Map[String,Any]] = List(Map(name -> lop, lang -> java), Map(name -> ripple, lang -> java), Map(name -> lop, lang -> java), Map(name -> lop, lang -> java))

这一切都很好，但我希望能够将查询构造为数据。我将其建模为HList这样的Operations：

sealed trait Operation

case class VertexOperation[Labels <: HList](vertex: String) extends Operation {
  def operate(graph: Graph): GremlinScala[Vertex, Labels] = {
    graph.V.hasLabel(vertex).asInstanceOf[GremlinScala[Vertex, Labels]]
  }
}

case class OutOperation[Labels <: HList](out: String) extends Operation {
  def operate(vertex: GremlinScala[Vertex, Labels]): GremlinScala[Vertex, Labels] = {
    vertex.out(out)
  }
}

然后我可以通过将它们放在这样的位置来创建查询HList：

import shapeless._

val query = OutOperation("created") :: VertexOperation("person") :: HNil

现在我在 中有了这些HList，我可以RightFold将它们一个一个地应用到图表中：

trait ApplyOperationDefault extends Poly2 {
  implicit def default[T, L <: HList] = at[T, L] ((_, acc) => acc)
}

object ApplyOperation extends ApplyOperationDefault {
  implicit def vertex[T, L <: HList, S <: HList] = at[VertexOperation[S], Graph] ((t, acc) => t.operate(acc))
  implicit def out[T, L <: HList, S <: HList] = at[OutOperation[S], GremlinScala[Vertex, S]] ((t, acc) => t.operate(acc))
}

object Operation {
  def process[Input, Output, A <: HList](operations: A, input: Input) (implicit folder: RightFolder.Aux[A, Input, ApplyOperation.type, Output]): Output = {
    operations.foldRight(input) (ApplyOperation)
  }
}

并这样称呼它：

val result = Operation.process(query, graph).toList

这一切都有效！并显示出巨大的希望。

这是我遇到问题的地方：当我尝试对操作执行此as操作时，我可以Operation编译：

case class AsOperation[A, In <: HList](step: String) extends Operation {
  def operate(g: GremlinScala[A, In]) (implicit p: Prepend[In, ::[A, HNil]]): GremlinScala[A, p.Out] = {
    g.as(step)
  }
}

（我(implicit p: Prepend[In, ::[A, HNil]])在那里添加了这一点，因为编译器正在抱怨）......但是当我尝试为这种情况以及其他情况创建隐式处理程序时，它失败了：

implicit def as[T, L <: HList, A, In <: HList] = at[AsOperation[A, In], GremlinScala[A, In]] ((t, acc) => t.operate(acc))

---> could not find implicit value for parameter p: shapeless.ops.hlist.Prepend[In,shapeless.::[A,shapeless.HNil]]

所以，这里有几个问题：

  • 这是什么隐含Prepend的，我为什么需要它？
  • Prepend为什么正常调用时能找到隐式as，但尝试RightFold覆盖时却失败了？
  • 如何创建 的隐式实例Prepend？
  • 一旦创建，我将如何将其传递给operate?
  • 这样做的正确方法是什么？

我可能还有更多问题，但这些是主要问题。我一直在阅读有关类型级编程和一般无形编程的文章，我真的很喜欢它，但这种东西令人抓狂。我知道我在这里遗漏了一些微妙的类型的东西，但很难知道从哪里开始破译遗漏的东西。

谢谢你的帮助！我真的很想爱斯卡拉和无形，希望尽快克服这个障碍。

编辑：我做了一个最小的回购在这里重现了这个问题：https ://github.com/bmeg/leprechaun

希望这会有所帮助！

4

1 回答 1

1

您的误解是使用 Prepend。编译器会自动为你生成它，你不需要手动创建它。

正如Shapeless 和 gremlin scala 中提到的：如何将调用的结果返回给 `as`？ Prepend用于保存标记步骤的类型。gremlin-scala readme.md 更深入。

编译器实际上会告诉您它需要什么： could not find implicit value for parameter p: shapeless.ops.hlist.Prepend[In,shapeless.::[A,shapeless.HNil]]

所以这就是我所做的：在范围内添加一个隐式 Prepend :) 我刚刚给你发了一个PR，它现在编译得很好。

PS：您可能想要更新您的 gremlin-scala 版本。

于 2016-11-24T00:09:23.640 回答