Control.Effects.IO

Documentation

data LiftIO a

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

Constructors

LiftIO (IO r) (r -> a)

Instances

Functor LiftIO

Methods

fmap :: (a -> b) -> LiftIO a -> LiftIO b

(<$) :: a -> LiftIO b -> LiftIO a

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.