Description Usage Arguments See Also Examples
String is a combinator which allows us to build parsers which
recognise strings of symbols, rather than just single symbols
1 | String(string)
|
string |
is the string to be matched |
Digit, Lower, Upper,
Alpha, AlphaNum, SpaceCheck,
ident, nat,
space, token, identifier,
natural, symbol
1 | String("123")("123 abc")
|
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.