From 9b12ebcf003e46fa45af7798ef4fb749c8478766 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Fri, 24 Jan 2025 22:17:58 -0500
Subject: [PATCH] core: Add replaceError method

---
 src/Parser/Interface.md | 6 ++++++
 1 file changed, 6 insertions(+)

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