Scala解析器組合器：如何在與「into」結合時返回中間解析器的內容？

Question

這裏就是我想要做：

def parser = parser_a >> { 
    case a => val c = compute(a) ; parser_b(c) 
} ^^ { 
    case a ~ b => (a, b) 
} 

當然它不會工作，因爲^^操作後的功能只獲取的parser_b結果。我如何保留parser_a的結果？

Answer 1

您可以使用一個事實，即解析器單子寫這個如下：

val parser = for { 
    a <- parser_a 
    b <- parser_b(compute(a)) 
} yield (a, b) 

或者你可以改變你的解決方案下面的行（注意success這裏只是一個一般的少特定版本monadic return）。

case a => val c = compute(a) ; success(a) ~ parser_b(c) 

雖然我個人發現for -comprehension在這種情況下更清楚一點。