Closed gallais closed 6 years ago
I can't find good names for these in Idris: the m is already taken by the Maybe-tainted combinators.
m
Maybe
I was thinking to rename the existing ones to ..f for "failure", what do you think?
..f
I think of it as saying that one parser is optional rather than failure. So maybe opt?
optional
failure
opt
Added in https://github.com/gallais/idris-tparsec/commit/1432b6243384c139f4d4be6601a64f081ac24b0d (renaming done in https://github.com/gallais/idris-tparsec/commit/dc306d6a8171ab94e3572d7014eab182afe4050f)
Perfect!
I can't find good names for these in Idris: the
m
is already taken by theMaybe
-tainted combinators.