garyb / purescript-indexed-monad

MIT License
21 stars 11 forks source link

Consider a `bind` export for qualified-do #15

Closed megamaddu closed 5 years ago

megamaddu commented 5 years ago

Adding an extra export of ibind as bind would allow ibind to be used with the qualified-do syntax:

import Control.Monad.Indexed as Ix

foo = Ix.do
  ...
  ...

If this seems fine I'll make a PR

garyb commented 5 years ago

Yeah, definitely 👍

It's a shame I didn't just call it bind in the class. Maybe we should make a Control.Monad.Indexed.Do for any relevant aliases? (Could have discard too).

JordanMartinez commented 5 years ago

This was closed by #19 (but I can't close this issue)