Idris/advent
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

core: Add replaceError method

Browse source
This commit is contained in:
Nathan McCarty 2025-01-24 22:17:58 -05:00
parent 5e5ede87b4
commit 9b12ebcf00
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/Parser/Interface.md
View file

@ -69,6 +69,12 @@ guardMaybe message x = do
Just x <- x Just x <- x
| _ => throwParseError message | _ => throwParseError message
pure x pure x
export
replaceError : (message : String) -> Parser (a -> Parser b)
replaceError message = do
state <- save
pure (\_ => throw $ MkParseError state message)
``` ```
## Running a parser ## Running a parser