我从组合库中编写了一些解析器。我想要一个泛型函数,将任何大小的nest变换成一个列表。这该怎么做 ?
这是我使用的解析器示例(我的真正解析器有一个很长的链〜所以我想避免我现在的解决方案,这在下面的评论中)。
object CombinatorParser extends RegexParsers {
lazy val a = "a"
lazy val b = "b"
lazy val c = "c"
lazy val content = a ~ b ~ c // ^^ {case a~b => a::b::c::Nil work but I want something more general that work for any ~ length.
}
object CombinatorTesting {
def main(args:Array[String]) {
val testChar = "abc"
val output = CombinatorParser.parseAll(CombinatorParser.content, testChar)
println(output) // ((a~b)~c) but I want List(a,b,c)
}
}
答案 0 :(得分:20)
对于shapeless中举例说明的通用编程技术,这是一个很好的(并且相当简单)的应用程序。
根据你的定义,
object CombinatorParser extends RegexParsers {
lazy val a = "a"
lazy val b = "b"
lazy val c = "c"
lazy val content = a ~ b ~ c
}
我们可以递归地定义一个类型类,它将使结果变平如下,
import CombinatorParser._
首先我们定义一个特征(抽象地)将任意匹配M
展平为List[String]
,
trait Flatten[M] extends (M => List[String]) {
def apply(m : M) : List[String]
}
然后我们为我们感兴趣的M
的所有形状提供类型类实例:在这种情况下,String
,A ~ B
和ParseResult[T]
(其中{ {1}},A
和B
都是T
个实例的类型,
Flatten
最后,我们可以定义一个便捷函数来简化应用// Flatten instance for String
implicit def flattenString = new Flatten[String] {
def apply(m : String) = List(m)
}
// Flatten instance for `A ~ B`. Requires Flatten instances for `A` and `B`.
implicit def flattenPattern[A, B]
(implicit flattenA : Flatten[A], flattenB : Flatten[B]) =
new Flatten[A ~ B] {
def apply(m : A ~ B) = m match {
case a ~ b => flattenA(a) ::: flattenB(b)
}
}
// Flatten instance for ParseResult[T]. Requires a Flatten instance for T.
implicit def flattenParseResult[T]
(implicit flattenT : Flatten[T]) = new Flatten[ParseResult[T]] {
def apply(p : ParseResult[T]) = (p map flattenT) getOrElse Nil
}
实例来解析结果,
Flatten
现在我们准备好了,
def flatten[P](p : P)(implicit flatten : Flatten[P]) = flatten(p)
答案 1 :(得分:6)
如果您更喜欢没有通用编程的解决方案......
def flatten(res: Any): List[String] = res match {
case x ~ y => flatten(x) ::: flatten(y)
case None => Nil
case Some(x) => flatten(x)
case x:String => List(x)
}
val testChar = "abc"
val output = CombinatorParser.parseAll(CombinatorParser.content, testChar).getOrElse(None)
println(flatten(output))