Text.Parsing.String.Repetition

until :: forall b a m. Monad m => ParserT a m Char -> ParserT a m b -> ParserT a m String

Consumes the current parse input with a parser p until the result of a parser q is successful. Does not consume the remaining parse input with the successful result of q.

least :: forall m a. Monad m => Int -> ParserT a m Char -> ParserT a m String

Consumes the current parse input with a parser p, with n repetitions of p. Does not check if the remaining parse input can be moreover parsed with p.

exact :: forall m a. Monad m => Int -> ParserT a m Char -> ParserT a m String

Consumes the current parse input with a parser p, with n repetitions of p. Fails if the remaining parse input can be moreover be parsed with p.

greedy :: forall m a. Monad m => ParserT a m Char -> ParserT a m (Tuple Int String)

Consumes the current input with a parser p as many times as successful. Produces a pair of the number of successful repetitions of p, and the accumulated result. Not guaranteed to be stack-safe for large input.

many :: forall m a. Monad m => ParserT a m Char -> ParserT a m String

Consumes the current input with a parser p as many times as successful. Produces the accumulated result, without the guarantee of being stack-safe for large input.

many1 :: forall m a. Monad m => ParserT a m Char -> ParserT a m String

Consumes the current input with a parser p as many times as successful, with at least once occurrence of p. Produces the accumulated result, without the guarantee of being stack-safe for large input.

most :: forall m a. Monad m => Int -> ParserT a m Char -> ParserT a m String

Consumes the current parse input with a parser p, with m greedy repetitions of p. Fails if m is greater than the constraint n passed to the function.

range :: forall m a. Monad m => Int -> Int -> ParserT a m Char -> ParserT a m String

Consumes the current parse input with a parser p, with at least min and at most max >= min repetitions of p.