Split `Choose` into two different effects

natefaubion / purescript-run

An extensible-effects implementation

MIT License

158 stars 14 forks source link

Open colinwahl opened 5 years ago

colinwahl commented 5 years ago

Splits Choose into two different effects called Choose and Empty.

After this gets looked at/reviewed I will go back through and update the formatting to use unicode.

This intends to close #10

artemisSystem commented 4 years ago

This looks like it could be pulled without much issue. Is something preventing it or did this just get forgotten? 😃

artemisSystem commented 4 years ago

Oh, I don't think @natefaubion gets a notification without a ping (?)

natefaubion commented 4 years ago

It's just a major breaking change. I'll look at it when I'm ready to do that, probably sometime after polykinds release when I remove FProxy.