idris-tparsec icon indicating copy to clipboard operation
idris-tparsec copied to clipboard

Published 20 hours ago • verified publisher icon gallais

Add various `parse` functions

Open gallais opened this issue 6 years ago • 2 comments

The one function in TParsec.Running is only ever useful to write down examples but not to actually use it. It'd be nice to have specialised runners for input String vs. Text and output Maybe a or List a.

gallais avatar Feb 27 '18 16:02 gallais

I made a parseMaybe function for internal use which is very similar to parse, only returning Just/Nothing instead of Singleton/Void. Not sure about returning List though. Also what do you mean by Text?

clayrat avatar Jun 14 '18 15:06 clayrat

We currently have parseMaybe, parseType, parseResults and parseResult - do you have any other useful variations in mind, or should we close this?

clayrat avatar Apr 23 '20 16:04 clayrat