Skip to content

Latest commit

 

History

History
158 lines (123 loc) · 20.4 KB

choosing_a_combinator.md

File metadata and controls

158 lines (123 loc) · 20.4 KB

List of parsers and combinators

Note: this list is meant to provide a nicer way to find a nom parser than reading through the documentation on docs.rs. Function combinators are organized in module so they are a bit easier to find.

Links present in this document will nearly always point to complete version of the parser. Most of the parsers also have a streaming version.

Basic elements

Those are used to recognize the lowest level elements of your grammar, like, "here is a dot", or "here is an big endian integer".

combinator usage input output comment
char char('a') "abc" Ok(("bc", 'a')) Matches one character (works with non ASCII chars too)
is_a is_a("ab") "abbac" Ok(("c", "abba")) Matches a sequence of any of the characters passed as arguments
is_not is_not("cd") "ababc" Ok(("c", "abab")) Matches a sequence of none of the characters passed as arguments
one_of one_of("abc") "abc" Ok(("bc", 'a')) Matches one of the provided characters (works with non ASCII characters too)
none_of none_of("abc") "xyab" Ok(("yab", 'x')) Matches anything but the provided characters
tag tag("hello") "hello world" Ok((" world", "hello")) Recognizes a specific suite of characters or bytes
tag_no_case tag_no_case("hello") "HeLLo World" Ok((" World", "HeLLo")) Case insensitive comparison. Note that case insensitive comparison is not well defined for unicode, and that you might have bad surprises
take take(4) "hello" Ok(("o", "hell")) Takes a specific number of bytes or characters
take_while take_while(is_alphabetic) "abc123" Ok(("123", "abc")) Returns the longest list of bytes for which the provided function returns true. take_while1 does the same, but must return at least one character, while take_while_m_n must return between m and n
take_till take_till(is_alphabetic) "123abc" Ok(("abc", "123")) Returns the longest list of bytes or characters until the provided function returns true. take_till1 does the same, but must return at least one character. This is the reverse behaviour from take_while: take_till(f) is equivalent to take_while(|c| !f(c))
take_until take_until("world") "Hello world" Ok(("world", "Hello ")) Returns the longest list of bytes or characters until the provided tag is found. take_until1 does the same, but must return at least one character

Choice combinators

combinator usage input output comment
alt alt((tag("ab"), tag("cd"))) "cdef" Ok(("ef", "cd")) Try a list of parsers and return the result of the first successful one
permutation permutation((tag("ab"), tag("cd"), tag("12"))) "cd12abc" Ok(("c", ("ab", "cd", "12")) Succeeds when all its child parser have succeeded, whatever the order

Sequence combinators

combinator usage input output comment
delimited delimited(char('('), take(2), char(')')) "(ab)cd" Ok(("cd", "ab"))
preceded preceded(tag("ab"), tag("XY")) "abXYZ" Ok(("Z", "XY"))
terminated terminated(tag("ab"), tag("XY")) "abXYZ" Ok(("Z", "ab"))
pair pair(tag("ab"), tag("XY")) "abXYZ" Ok(("Z", ("ab", "XY")))
separated_pair separated_pair(tag("hello"), char(','), tag("world")) "hello,world!" Ok(("!", ("hello", "world")))
tuple tuple((tag("ab"), tag("XY"), take(1))) "abXYZ!" Ok(("!", ("ab", "XY", "Z"))) Chains parsers and assemble the sub results in a tuple. You can use as many child parsers as you can put elements in a tuple

Applying a parser multiple times

combinator usage input output comment
count count(take(2), 3) "abcdefgh" Ok(("gh", vec!["ab", "cd", "ef"])) Applies the child parser a specified number of times
many0 many0(tag("ab")) "abababc" Ok(("c", vec!["ab", "ab", "ab"])) Applies the parser 0 or more times and returns the list of results in a Vec. many1 does the same operation but must return at least one element
many0_count many0_count(tag("ab")) "abababc" Ok(("c", 3)) Applies the parser 0 or more times and returns how often it was applicable. many1_count does the same operation but the parser must apply at least once
many_m_n many_m_n(1, 3, tag("ab")) "ababc" Ok(("c", vec!["ab", "ab"])) Applies the parser between m and n times (n included) and returns the list of results in a Vec
many_till many_till(tag( "ab" ), tag( "ef" )) "ababefg" Ok(("g", (vec!["ab", "ab"], "ef"))) Applies the first parser until the second applies. Returns a tuple containing the list of results from the first in a Vec and the result of the second
separated_list0 separated_list0(tag(","), tag("ab")) "ab,ab,ab." Ok((".", vec!["ab", "ab", "ab"])) separated_list1 works like separated_list0 but must returns at least one element
fold_many0 fold_many0(be_u8, || 0, |acc, item| acc + item) [1, 2, 3] Ok(([], 6)) Applies the parser 0 or more times and folds the list of return values. The fold_many1 version must apply the child parser at least one time
fold_many_m_n fold_many_m_n(1, 2, be_u8, || 0, |acc, item| acc + item) [1, 2, 3] Ok(([3], 3)) Applies the parser between m and n times (n included) and folds the list of return value
length_count length_count(number, tag("ab")) "2ababab" Ok(("ab", vec!["ab", "ab"])) Gets a number from the first parser, then applies the second parser that many times

Integers

Parsing integers from binary formats can be done in two ways: With parser functions, or combinators with configurable endianness.

The following parsers could be found on docs.rs number section.

Streaming related

  • eof: Returns its input if it is at the end of input data
  • complete: Replaces an Incomplete returned by the child parser with an Error

Modifiers

  • Parser::and: method to create a parser by applying the supplied parser to the rest of the input after applying self, returning their results as a tuple (like sequence::tuple but only takes one parser)
  • Parser::and_then: method to create a parser from applying another parser to the output of self
  • map_parser: function variant of Parser::and_then
  • Parser::map: method to map a function on the output of self
  • map: function variant of Parser::map
  • Parser::flat_map: method to create a parser which will map a parser returning function (such as take or something which returns a parser) on the output of self, then apply that parser over the rest of the input. That is, this method accepts a parser-returning function which consumes the output of self, the resulting parser gets applied to the rest of the input
  • flat_map: function variant of Parser::flat_map
  • cond: Conditional combinator. Wraps another parser and calls it if the condition is met
  • map_opt: Maps a function returning an Option on the output of a parser
  • map_res: Maps a function returning a Result on the output of a parser
  • into: Converts the child parser's result to another type
  • not: Returns a result only if the embedded parser returns Error or Incomplete. Does not consume the input
  • opt: Make the underlying parser optional
  • cut: Transform recoverable error into unrecoverable failure (commitment to current branch)
  • peek: Returns a result without consuming the input
  • recognize: If the child parser was successful, return the consumed input as the produced value
  • consumed: If the child parser was successful, return a tuple of the consumed input and the produced output.
  • verify: Returns the result of the child parser if it satisfies a verification function
  • value: Returns a provided value if the child parser was successful
  • all_consuming: Returns the result of the child parser only if it consumed all the input

Error management and debugging

  • dbg_dmp: Prints a message and the input if the parser fails

Text parsing

  • escaped: Matches a byte string with escaped characters
  • escaped_transform: Matches a byte string with escaped characters, and returns a new string with the escaped characters replaced

Binary format parsing

  • length_data: Gets a number from the first parser, then takes a subslice of the input of that size, and returns that subslice
  • length_value: Gets a number from the first parser, takes a subslice of the input of that size, then applies the second parser on that subslice. If the second parser returns Incomplete, length_value will return an error

Bit stream parsing

  • bits: Transforms the current input type (byte slice &[u8]) to a bit stream on which bit specific parsers and more general combinators can be applied
  • bytes: Transforms its bits stream input back into a byte slice for the underlying parser

Remaining combinators

  • success: Returns a value without consuming any input, always succeeds
  • fail: Inversion of success. Always fails.

Character test functions

Use these functions with a combinator like take_while:

Alternatively there are ready to use functions:

  • alpha0: Recognizes zero or more lowercase and uppercase alphabetic characters: [a-zA-Z]. alpha1 does the same but returns at least one character
  • alphanumeric0: Recognizes zero or more numerical and alphabetic characters: [0-9a-zA-Z]. alphanumeric1 does the same but returns at least one character
  • anychar: Matches one byte as a character
  • crlf: Recognizes the string \r\n
  • digit0: Recognizes zero or more numerical characters: [0-9]. digit1 does the same but returns at least one character
  • double: Recognizes floating point number in a byte string and returns a f64
  • float: Recognizes floating point number in a byte string and returns a f32
  • hex_digit0: Recognizes zero or more hexadecimal numerical characters: [0-9A-Fa-f]. hex_digit1 does the same but returns at least one character
  • hex_u32: Recognizes a hex-encoded integer
  • line_ending: Recognizes an end of line (both \n and \r\n)
  • multispace0: Recognizes zero or more spaces, tabs, carriage returns and line feeds. multispace1 does the same but returns at least one character
  • newline: Matches a newline character \n
  • not_line_ending: Recognizes a string of any char except \r or \n
  • oct_digit0: Recognizes zero or more octal characters: [0-7]. oct_digit1 does the same but returns at least one character
  • bin_digit0: Recognizes zero or more binary characters: [0-1]. bin_digit1 does the same but returns at least one character
  • rest: Return the remaining input
  • rest_len: Return the length of the remaining input
  • space0: Recognizes zero or more spaces and tabs. space1 does the same but returns at least one character
  • tab: Matches a tab character \t