Add monadic and combinators
gallais opened this issue · 4 comments
gallais commented
I can't find good names for these in Idris: the m is already taken by the Maybe-tainted
combinators.
clayrat commented
I was thinking to rename the existing ones to ..f for "failure", what do you think?
gallais commented
I think of it as saying that one parser is optional rather than failure.
So maybe opt?
gallais commented
Perfect!