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在这种情况下更清楚一点。