Support bind and bindTo for Parser monad

[CYBAI]

Hi @gcanti, while upgrading a private repo to use bind and bindTo introduced in fp-ts@2.8.1, I just noticed that parser-ts doesn't support these two methods.

I wonder if it's good to also introduce them to parser-ts? Also, with introducing bind and bindTo to Parser monad, we're able to drop the fp-ts-contrib dependency for the examples/command.ts in this repo.

Also, if this PR is acceptable, should I update the package.json version in this PR? or it will be handled while publishing?

Thank you! 🙇

[IMax153]

Hey @CYBAI!

Thank you very much for the PR!

I also find myself frequently using do notation with parser-ts since it lends itself to simpler parsing of data into data structures. From my perspective, this PR looks good 👍.

I think a larger question that will need to be addressed with @gcanti is how to handle monadic libraries within the fp-ts ecosystem that also want to make use of the pipeable do notation. That is to say, for libraries based upon fp-ts that define their own Monad typeclasses:

• Will each library need to specify their own implementation of bind and bindTo?
• Or should those helpers be made public in fp-ts/lib/function?

As for your question about bumping the version of parser-ts, I believe that @gcanti will take care of that when publishing the updated version.

[IMax153]

@gcanti - I am going to merge this PR as long as you have no objections.

I am curious to hear your thoughts on my comment above though regarding how ecosystem libraries should handle the new pipeable do notation.

[CYBAI]

I am curious to hear your thoughts on my comment above though regarding how ecosystem libraries should handle the new pipeable do notation.

I'm also curious about this and would be happy to migrate to a better solution in the future!

[gcanti]

I am going to merge this PR as long as you have no objections.

LGTM, thanks @CYBAI

I am curious to hear your thoughts on my comment above though regarding how ecosystem libraries should handle the new pipeable do notation.

Like in this PR (for the moment), I might export bind_ and bindTo_ from fp-ts/function in the future

[IMax153]

@CYBAI & @gcanti - thank you! Merged 👍