gallais / idris-tparsec

TParsec - Total Parser Combinators in Idris
https://gallais.github.io/idris-tparsec/
GNU General Public License v3.0
93 stars 9 forks source link

add transformers for Result and TParsecT, monadic combinators #17

Closed clayrat closed 5 years ago

clayrat commented 5 years ago

These are the some additions I found useful if you want your parser to sit on top of some monad (State in my case). Out of the new combinators I've only used randbindm (to store the parse result) - not sure if landbindm would ever be useful as well, maybe just for side effects?