EvEff icon indicating copy to clipboard operation
EvEff copied to clipboard

runEffIO :: Eff (IOEff) a -> IO a

Open kamoii opened this issue 3 years ago • 14 comments

Hi, thanks for this interesting library.

Currently, we can only handle effects purely since we can't use IO inside hander. Can we have IO-like effect at the bottom of effect stack, and a runner like runEffIO :: Eff (IOEff) a -> IO a ? (or maybe I'm missing something and this is already possible?).

kamoii avatar Mar 11 '21 17:03 kamoii