11

組み合わせライブラリからパーサーを作成しました。任意のサイズのネスト〜をリストに変換する総称関数が必要です。これを行う方法 ?

これが私が使用するパーサーの例です(私の実際のパーサーは非常に長いチェーンを持っているので、以下のコメントにある現在のソリューションを避けたいと思います)。

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)
  }
}
4

2 に答える 2

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 ~ BParseResult[T]ここAで、、BおよびTFlattenインスタンスが存在するすべての型です)、

// 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)

そして今、私たちは行く準備ができています、

val testChar = "abc"
val output = parseAll(content, testChar)
println(output)          // ((a~b)~c) but I want List(a, b, c)

val flattenedOutput = flatten(output)
println(flattenedOutput) // List(a, b, c)
于 2012-03-07T10:50:44.677 に答える
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))
于 2012-11-15T13:57:14.560 に答える