diff options
Diffstat (limited to 'parzival.lisp')
| -rw-r--r-- | parzival.lisp | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/parzival.lisp b/parzival.lisp index 85a6632..35d6304 100644 --- a/parzival.lisp +++ b/parzival.lisp @@ -176,7 +176,7 @@ in then. If the parse fails the combinator else is run instead." (defun <<and (parser1 parser2 &rest parsers) - "Just like <<AND-THEN but where parse results are ignored. I.e. Applies each + "Just like <<BIND but where parse results are ignored. I.e. Applies each parser in sequence, ignoring any intermediate results. The result (<<AND P1 P2 ... PN) is the result of PN." (if parsers @@ -184,6 +184,16 @@ in then. If the parse fails the combinator else is run instead." (<<bind parser1 (returning parser2)))) +(defun <<first (parser other &rest others-still) + "A bit like <<AND in reverse. Returns the parse result of the first parser, + but only if the other parsers all succeed." + (<<bind parser + (lambda (first) + (apply #'<<and (append (list other) + others-still + (list (<<result first))))))) + + (defun <<ending (parser) "Creates a parser that succeeds if PARSER succeeds and the end of the input has been reached." (<<bind parser |