How to migrate to fp-ts do notation from fp-ts-contrib Do

[edalex-ian]

Hey There,

I've watched the solidification of do notation within fp-ts continue, and I'm now wondering how I can move my old usage of fp-ts-contrib Do to use the (let's call it) native implementation.

The first blocker I have is to find the equivalent of Do.do (and Do.doL). Because all the functions (referring to fp-ts Either.Do ) seem to require a name so that the result can be added to scope. I currently use Do.do to undertake validation steps before getting into the binds etc.

Also, I'm not sure what to do about the missing done and return but I'm hoping that'll be obvious once I figure out the rest.

Any help appreciated, maybe I'll be able to figure out how to provide some doco back. 🤔

Thanks.