Succeeds if the given parsers succeeds and the given function is defined at the parse result.
Matches exactly one char, no matter which.
Runs the given parser on the given input.
Either returns the XML escape sequence for the given char or null.
Escapes the given char for XML.
Looks if the preceding char was one of the given chars.
Accepts a unix newline and returns a string containing a single newline.
Matches one of the given char keys in the map.
Matches one of the chars in the given set.
accepts zero or more spaces or tabs returns the matched whitespace
Matches one char in the given range, returns the matched char.
(Changed in version 2.9.0) The
p0 call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.
Matches everything in the parsed string up to the end.
Whitespace is sometimes important in markdown parsing, we handle it manually.
Returns a verbose description of a char (printed char & hex code).
accepts one or more spaces or tabs returns the matched whitespace
Parses an XML Attribute with simplified value handling like xmlAttrVal.
Parses a Simplified xml attribute: everything between quotes ("foo") everything between the quotes is run through the escape handling That way you can omit xml escaping when writing inline XML in markdown.
Parses closing xml tags.
Parses an XML name (tag or attribute name)
Parses an XML name char according to W3C spec except that range #x10000 to #xEFFFF is excluded
Parser for one char that starts an XML name.
Parses an xml start or empty tag, attribute values are escaped.