Djot.Parse

Apply a parser to a bytestring with a given user state. Returns Nothing on failure, Just result on success.

Parse an ASCII character.

Parse a byte satisfying a predicate.

Skip byte satisfying a predicate.

Parse a (possibly multibyte) Char satisfying a predicate. Assumes UTF-8 encoding.

Parse any character. Assumes UTF-8 encoding.

Apply parser 0 or more times, discarding result.

Apply parser 1 or more times, discarding result.

Succeeds if no more input.

Returns current user state.

Updates user state.

Apply a parser, returning its result but not changing state or advancing.

Returns current byte as Char.

Returns previous byte as Char. Doesn't cross chunk boundaries.

Succeeds if parser fails.

Always fails.

Returns result of parse together with the bytestring consumed.

Returns bytestring consumed by parse.

Succeeds if first parser succeeds and second fails, returning first parser's value.

Apply parser but still succeed if it doesn't succeed.

Parse a bytestring.

Returns byte offset in input.

Returns the line number.

Returns the source column number. (Tab stop is computed at 4.)

Try the first parser: if it succeeds, apply the second, returning its result, otherwise the third.

Parse an end of line sequence.

Return the rest of line (including the end of line).

Skip 1 or more ASCII whitespace.

Next character is ASCII whitespace.

Followed by 0 or more spaces/tabs and endline or eof.

Skip one space or tab.

Is space, tab, `r`, or `n`.