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