Question

我有这种情况（剥离到基本部分）

class Foo[L <: HList](columns: L) {

  class toRecord(row: Row) extends Poly1 {
    implicit def caseColumn[T] = at[Column[T]] { /* map to a record field */ }
  }

  def asRecord = {
    val resultSet: Stream[Row] = // computation to get result set
    resultSet.map { row =>        
      val m = new toRecord(row) // this can't work
      columns.map(m)
    }
  }

}

这不起作用，因为map想要一个稳定的标识符而m不是。Poly1 singleton objects。所以我需要在结果集中拥有尽可能多的fold行。

这是与此处讨论的问题相同：https://groups.google.com/forum/#!topic/shapeless-dev/P5DXRgnzqkY，但我无法找到使其发挥作用的方法。

在链接的讨论中，Miles Sabin提出了Poly2 map而不是Poly1 {{1}}，但我无法确定如何使用在我的案例中这个建议。

Answer 1

好的，我最终设法使用Poly2和foldRight来模拟参数化地图。

这是一个获得想法的例子

object toRecord extends Poly2 {
  implicit def caseColumn[A, B] = at[Column[A], (Row, B)] {
    case (col, (row, acc)) => 
      val field = doMyThingy(row, col) // "map" `col` to a recordField using `row` as parameter 
      (row, field :: acc)
  }
}

def asRecord[L <: HList, O <: HList](
  implicit folder: RightFolder[L, (Row, HNil.type), toRecord.type, (Row, O)]
): Stream[O] = {
  val resultSet: Stream[Row] = // computation to get result set
  resultSet.map { row => columns.foldRight((row, HNil))(toRecord)._2 }
}

所以＆＃34;技巧＆＃34;这里是将参数作为折叠的初始值传递，并在计算过程中随身携带。

在计算中，我们使用row作为参数（我们的＆＃34;参数化映射＆＃34;）对每个元素应用转换，然后我们将它简单地附加到累加器。

当我们完成后，我们最终会得到一个包含row和映射HList的元组：我们可以简单地丢弃前者（._2），我们就可以了。很高兴去。

在无形状中动态参数化Poly1函数

1 个答案: