search

IxpertaSolutions / freer-effects

An implementation of "Freer Monads, More Extensible Effects".
BSD 3-Clause "New" or "Revised" License
65 stars 12 forks source link

Better coroutine #25

Closed schell closed 7 years ago

schell commented 7 years ago

This provides Coroutine with a return value, which makes it more composable (and actually useful). It also provides runC' which does not strip the effect from the typelist, allowing more complicated branching schemes (like step-wise dueling coroutines).

trskop commented 7 years ago

This is related to issue #10.

trskop commented 7 years ago

Thanks for making coroutines usable. We kind of reached an impasse with it.

I've renamed runC' to interposeC. There's an issue with naming things by adding prime without having a fixed meaning for it. Hopefully this wont break any code you may possibly have.

schell commented 7 years ago

Thank you! I'm in favor of interposeC :) 👍