search

gallais / idris-tparsec

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

Add JSON parser #35

Closed clayrat closed 4 years ago

clayrat commented 4 years ago

It's so ubiquitous it probably makes sense to have an implementation out of the box.

gallais commented 4 years ago

What should the output format be? A Map String String? Or should we have a more structured representation that allows users to specify sub-parsers? In which case it would become a bit similar to https://github.com/gallais/agdARGS, I think.

clayrat commented 4 years ago

I guess the simplest way would be to re-use https://github.com/idris-lang/Idris-dev/blob/master/libs/contrib/Language/JSON/Data.idr (although I'm not sure if that would carry over to Idris2).