+ Map and Return methods to make it more F#+ friendly

[gusty]

I propose to add this overload to make it F#+ friendly.

F#+ (as many other libs) defines also <!>, <*> and >>=, but in a generic way and actually it doesn't cause any problem with <*> and >>=, but for <!> it expects a Map static member.

This is a small adjustment, backwards compatible and it doesn't cause any problem here.

Eventually if you don't agree to expose a Map static member, I can hide it with [<EditorBrowsable(EditorBrowsableState.Never)>]

EDIT: I added also Return which might be useful too when interoperating with F#+ of course it can also be hidden with the attribute.

[kurtschelfthout]

No hard objections, just wondering if some of this won't clash with Gen.map on the Gen module which has CompiledName("Map")? Or maybe F#+ can leverage that?

Also please add a comment to clarify what the intent is of these methods, i.e. to support F#+, as I doubt anyone will remember after some time and they might get removed inadvertently....

[gusty]

Hi Kurt, thanks for your feedback.

No hard objections, just wondering if some of this won't clash with Gen.map on the Gen module which has CompiledName("Map")? Or maybe F#+ can leverage that?

Let me give it a try first, in order to make sure the interaction is as smooth as possible.

[gusty]

I tried it and it works perfectly.
It's true that before applying this, type inference gets confused and shows an accessibility error mentioning a private Map implementation (possibly from IGen) which is definitely misleading, since the compiled names are not taken into account for trait-calls, but the F# ones.
It seems that the F# compiler should be adjusted in the regard.

I left Return hidden for tooling as probably could be confusing for the user, can do the same with Map if you want, as there's already a .map function.

[kurtschelfthout]

Thanks!

I left Return hidden for tooling as probably could be confusing for the user, can do the same with Map if you want, as there's already a .map function.

Yes, please.

[gusty]

Done !