Interpret Error effect using exceptions

hasura / eff

🚧 a work in progress effect system for Haskell 🚧

ISC License

551 stars 18 forks source link

Interpret Error effect using exceptions #9

Open poscat0x04 opened 4 years ago

poscat0x04 commented 4 years ago

Would it be possible to interpret the Error effect using exceptions instead of Eithers like polysemy's errorToIOFinal?

lexi-lambda commented 4 years ago

Not right now, but it will be possible before the library is released. Currently it isn’t possible to handle Catch in a way that catches IO exceptions, but that will be added as part of a broader API for interacting with the IO subsystem. See also https://github.com/hasura/eff/issues/7#issuecomment-647106614 for some additional details.