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.