effect-handlers-0.1.0.5: A library for writing extensible algebraic effects and handlers. Similar to extensible-effects but with deep handlers.
Control.Effects.IO
Synopsis
data LiftIO a Source
The functor representing the effect. You shouldn't need to create this manually, just use liftIO.
liftIO
Constructors
Instances
liftIO :: Member LiftIO r => IO a -> Eff r a Source
Lift an existing IO action into the effect monad.
IO
ioHandler :: Handler LiftIO [] a (IO a) Source
Handle by converting back to IO. Note that it is required that the effect stack is otherwise empty - this handler would not typecheck otherwise.