Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Wolfram`Parser`
ParseSucceed  |
|
| | ||||
▪
never consumes input and never fails: the parse position is left exactly where it started.
▪
It is the / of the parser — a way to lift a plain value into a parser that produces it without examining the input.
pure
return
▪
As the final branch of a , it supplies a default when none of the earlier alternatives match, so the choice cannot fail.
▪
Pair it with to inject a computed constant, or with () to splice a fixed value between matched pieces.
~~
▪
Because it consumes nothing, a top-level of alone succeeds only on the empty string; on any other input the unconsumed remainder makes report a leftover. Use , or embed it in a larger grammar, when there is input to leave behind.
Examples
(5)
Basic Examples
(1)
The constructor holds its value in a combinator:
"Succeed"
In[1]:=
 | ParseSucceed |
Out[1]=
ParserCombinator
 |
|
It succeeds on empty input, returning the constant:
In[2]:=
| Parse |
 | ParseSucceed |
Out[2]=
always
In[3]:=
| ParsePartial |
| ParseSucceed |
Out[3]=
{42,abc}
Scope
(2)
Properties & Relations
(1)
Possible Issues
(1)
 |
|
 |
|
""