An iteree-based monadic parser combinator library in Idris.
A parser can be run on a list of tokens:
> runParser (token True) [True]
Right True
There are specialised versions for use with strings (where tok = Char
):
> runParserString (token 'A' *> token 'B') "AB"
Right 'B'