eof package:polyparse

Fail if end of input is not reached
Succeed if the end of file/input has been reached, fail otherwise.
Succeed if the end of file/input has been reached, fail otherwise.
Succeed if the end of file/input has been reached, fail otherwise.
Succeed if the end of file/input has been reached, fail otherwise.
Accept a complete parse of the input only, no partial parses.
Parse the first alternative in the list that succeeds.
Parse the first alternative that succeeds, but if none succeed, report only the severe errors, and if none of those, then report all the soft errors.