If a parse succeeds for the beginning of the input, but then fails, we choose the PartialParse constructor. If the entire parse was successful, we choose CompleteParse.

This is mostly useful for testing parsers where we need to test them individually (must end with CompleteParse) and also composed together (individual parsers may end with PartialParse if they do not conclude the larger parse).

QuickCheck tests for any Parsable type. Currently this only checks parsableProp.

QuickCheck property that verifies the "round-trip law" of any type which is both Parsable and Printable.

Generator which takes two lists of predicates which specify valid characters.

• The first list is specifically for characters that start the string.
• The second list is for any subsequent characters.

This generator always creates a non-empty string.

HUnit tests for a string which should be parsed as a Parsable

Currently this checks:

• parsableAssertion

HUnit tests for a Parsable/Printable value

Currently this checks:

• parsableAssertion
• printableAssertion

The string is parsed as a Parsable/Printable value, which is then converted back to a string. This HUnit assertion verifies that the resulting string is the same as the original.

The Parsable/Printable value is converted to a string, which is then parsed. This HUnit assertion verifies that the parse result is the same as the original value.

Parses a string as the given Parsable value

Convenience function that runs checkCoverage on a Parsable parser.

Run the specified parser, then return CompleteParse if we are at eof, otherwise PartialParse.

The abstract data type ParseError represents parse errors. It provides the source position (SourcePos) of the error and a list of error messages (Message). A ParseError can be returned by the function parse. ParseError is an instance of the Show and Eq classes.