IO.Effects.Lift

Documentation

data Lift n m a where

Constructors

Lift :: n a -> Lift n m a

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

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

Orphan instances

Member (Lift IO :: (Type -> Type) -> Type -> Type) es => MonadIO (Program es)

Methods

liftIO :: IO a -> Program es a