Whitespace consists of spacing characters used to separate values or format structured text. In the PNM image format, it includes spaces, newlines, carriage returns, form feeds, vertical tabs, and tabs. section 12.2.2
A parser handles whitespace by:
- Testing each character with satisfy and discarding the result with void. section 12.2.2
- Using skipMany1 when at least one whitespace character must occur. section 12.2.2
- Skipping whitespace repeatedly between PNM header fields. section 12.2.2
Skipping whitespace and comments
A PNM header can ignore either comments or one-or-more whitespace characters, recursively continuing until the next meaningful value.


