whitespace -package:cases

Parses any white space. White space consists of zero or more occurrences of a space, a line comment or a block (multi line) comment. Block comments may be nested. How comments are started and ended is defined in the LanguageDef that is passed to makeTokenParser.

Skip zero or more bytes worth of white space. More complex parsers are free to consider comments as white space.

Parse 0 or more whitespace characters (including comments) This corresponds to the whsp rule in the official grammar

Parses zero or more whitespace characters.

Generates any whitespace character, including new lines.

Parses one or more whitespace Toks.

Recognize white space.

>>> prove $ \c -> c `match` whiteSpace .=> isSpaceL1 c
Q.E.D.

Split string on whitespace. This is just a wrapper for Data.List.words

Optional whitespace.

Build a lexer with the given whitespace recognizer and no (i.e. mempty) token recognizer. whitespace is a monoid homomorphism:

whitespace a <> whitespace b = whitespace (a <> b)

Parses whitespace and return a Space element.

Append a constant whitespace string to a format string.

Match white space: a space or a comment (# character and anything following it up to to a new line).

Not on Stackage, so not searched. Whitespace, an esoteric programming language.

White space

The parser here never returns this