The parser's output
The parser's remaining input
Returns string formatted according to given format string.
Returns string formatted according to given format string.
Format strings are as for String.format
(@see java.lang.String.format).
Returns the embedded result.
Returns the embedded result.
Functional composition of ParseResults.
Functional composition of ParseResults.
the function to be lifted over this result
f applied to the result of this ParseResult, packaged up as a new ParseResult
Partial functional composition of ParseResults.
Partial functional composition of ParseResults.
the partial function to be lifted over this result
a function that takes the same argument as f and
produces an error message to explain why f wasn't applicable
(it is called when this is the case)
if f f is defined at the result in this ParseResult, f
applied to the result of this ParseResult, packaged up as
a new ParseResult. If f is not defined, Failure.
The parser's remaining input
The parser's remaining input
The parser's output
The toString method of a Success.
The toString method of a Success.
The success case of
ParseResult: contains the result and the remaining input.The parser's output
The parser's remaining input