From 15e3a96876ca9e8bd67c7408ebcc123c35a1e447 Mon Sep 17 00:00:00 2001 From: Matthew Hall Date: Thu, 9 Mar 2023 15:39:01 +1300 Subject: Implement Many and Some --- src/parcom.cr | 31 +++++++++++++++++++++++++++++-- 1 file changed, 29 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/parcom.cr b/src/parcom.cr index 760a450..8d7c754 100644 --- a/src/parcom.cr +++ b/src/parcom.cr @@ -246,10 +246,37 @@ module Parcom end end - class Many + class Many(T, V) < Parser(T, Array(V)) + def initialize(@p : Parser(T, V)) + end + + def parse(tokens : TokenStream(T)) : Result(T, Array(V)) + parsed = [] of V + + loop do + result = @p.parse?(tokens) + if result.nil? + break + else + parsed << result.value + tokens = result.tokens + end + end + + Result.new(tokens, parsed) + end end - class Some + class Some(T, V) < Parser(T, Array(V)) + @p : Assert(T, Array(V)) + + def initialize(p : Parser(T, V)) + @p = Many.new(p).assert { |arr| !arr.empty? } + end + + def parse(tokens : TokenStream(T)) : Result(T, Array(V)) + @p.parse(tokens) + end end class Exactly -- cgit v1.2.1