From dafeff8d652f07fca61ad6a2f601f0ceb550ab70 Mon Sep 17 00:00:00 2001 From: Matthew Hall Date: Mon, 13 Mar 2023 13:17:03 +1300 Subject: Documentation for Many --- src/parcom/many.cr | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'src') diff --git a/src/parcom/many.cr b/src/parcom/many.cr index dbe3b13..d76fc91 100644 --- a/src/parcom/many.cr +++ b/src/parcom/many.cr @@ -1,10 +1,21 @@ require "./parser.cr" module Parcom + # `Many` is a `Parser` that repeatedly tries to parse with another parser. + # The `Many` object will collect all success values in an array, and return + # them with the final state of the input stream. If the wrapped parser ever + # fails or succeeds without parsing any input, the `Many` object will stop + # attempting to parse will will return the array of prrevious successes. + # + # `Many` will return an empty array if the parser never succeeds or consumes + # input. For cases where at least one parserr success is needed, use `Some`. class Many(T, V) < Parser(T, Array(V)) + # Accepts the parser to use. def initialize(@p : Parser(T, V)) end + # Continuously parses with the wrapped parser, returns all successes. + # Parsing stops when the parser fails, or succeeds without consuming input. def parse(tokens : Tokens(T)) : Result(T, Array(V)) parsed = [] of V -- cgit v1.2.1