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

Make runFirstIO more generic

Browse source
This commit is contained in:
Nathan McCarty 2025-01-27 19:55:35 -05:00
parent 83afb8a7c4
commit 6afe8c2a4e
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/Parser/Interface.md
View file

@ -110,7 +110,8 @@ Provide wrappers for `rundownFirst` for evaluating it in various contexts.
```idris ```idris
export export
runFirstIO : (f : Parser a) -> String -> IO (Either ParseError a) runFirstIO : HasIO io => MonadRec io =>
(f : Parser a) -> String -> io (Either ParseError a)
runFirstIO f str = do runFirstIO f str = do
Just state <- newInternalIO str Just state <- newInternalIO str
| _ => pure . Left $ BeforeParse "Empty input" | _ => pure . Left $ BeforeParse "Empty input"