scala.util.parsing.combinator.Parsers.NoSuccess
See theNoSuccess companion class
object NoSuccess
An extractor so case NoSuccess(msg, next)
can be used in matches.
Note: On Scala 2.13, using this extractor leads to an exhaustivity warning:
def m(r: ParseResult[Int]) = r match {
case Success(i) => ...
case NoSuccess(msg, _) => ... // "warning: match may not be exhaustive"
To eliminate this warning, use the irrefutable NoSuccess.I
extractor. Due to binary compatibility, NoSuccess
itself cannot be changed.
Attributes
Members list
In this article