many package:polyparse
Deliver zero or more values of a.
Deliver one or more values of a.
Parse a non-empty list of items.
manyFinally e t parses a possibly-empty sequence of
e's, terminated by a t. The final t is
discarded. Any parse failures could be due either to a badly-formed
terminator or a badly-formed element, so it raises both possible
errors.
manyFinally' is like manyFinally, except when the
terminator parser overlaps with the element parser. In manyFinally
e t, the parser t is tried only when parser e
fails, whereas in manyFinally' e t, the parser t is
always tried first, then parser e only if the terminator is
not found. For instance, manyFinally (accept "01") (accept
"0") on input "0101010" returns
["01","01","01"], whereas manyFinally' with the same
arguments and input returns [].
many1Satisfy p is a more efficient fused version of many1
(satisfy p)
manySatisfy p is a more efficient fused version of many
(satisfy p)
many1Satisfy p is a more efficient fused version of many1
(satisfy p)
manySatisfy p is a more efficient fused version of many
(satisfy p)
many1Satisfy p is a more efficient fused version of many1
(satisfy p)
manySatisfy p is a more efficient fused version of many
(satisfy p)
many1Satisfy p is a more efficient fused version of many1
(satisfy p)
manySatisfy p is a more efficient fused version of many
(satisfy p)