io-effects-0.1.0: Taming the IO monad

Safe HaskellNone
LanguageHaskell2010

IO.Effects.Lift

Contents

Synopsis

Documentation

data Lift n m a where Source #

Constructors

Lift :: n a -> Lift n m a 

run :: ProgramWithHandler (Lift IO) '[] a -> IO a Source #

Escape the Program monad when you are using 'Lift IO'.

Orphan instances

Member (Lift IO :: (Type -> Type) -> Type -> Type) es => MonadIO (Program es) Source # 
Instance details

Methods

liftIO :: IO a -> Program es a #