while package:symparsec

Run the given parser while the given character predicate succeeds.

Parse a non-empty Natural using the given base and digit parser. Only permits parsing numbers with digits exactly one Char long. Returns an error if it parses zero digits, or if the first digit fails to parse. Returns success on parsing up to EOF, or just before the first failed character parse. (Should match the behaviour of Megaparsec's number parsers.)

Take zero or more Chars for which the supplied predicate holds. May also be defined via While chPred TakeRest, but a custom implementation is more efficient.