Control.Effects.IO

Documentation

data LiftIO a

The functor representing the effect. You shouldn't need to create this manually, just use liftIO.

Constructors

forall r . LiftIO (IO r) (r -> a)

Instances

Functor LiftIO

Typeable (* -> *) LiftIO

liftIO :: Member LiftIO r => IO a -> Eff r a

Lift an existing IO action into the effect monad.

ioHandler :: Handler LiftIO [] a (IO a)

Handle by converting back to IO. Note that it is required that the effect stack is otherwise empty - this handler would not typecheck otherwise.