diff --git a/src/Parser/Interface.md b/src/Parser/Interface.md index 0867e1c..4535ee0 100644 --- a/src/Parser/Interface.md +++ b/src/Parser/Interface.md @@ -69,6 +69,12 @@ guardMaybe message x = do Just x <- x | _ => throwParseError message pure x + +export +replaceError : (message : String) -> Parser (a -> Parser b) +replaceError message = do + state <- save + pure (\_ => throw $ MkParseError state message) ``` ## Running a parser