Add `raise` to weaken an effect stack.

IxpertaSolutions / freer-effects

An implementation of "Freer Monads, More Extensible Effects".

BSD 3-Clause "New" or "Revised" License

65 stars 12 forks source link

Closed isovector closed 7 years ago

isovector commented 7 years ago

This PR adds raise, which allows you to embed less-specific Eff stacks in more-specific ones.