module Lifted.Env
( getArgs
, exitWith
, exitFailure
, exitSuccess
, die
) where
import Control.Monad.Trans (MonadIO, liftIO)
import Data.String (String)
import Prelude ((>>))
import qualified System.Environment as XIO
import System.Exit (ExitCode)
import qualified System.Exit as XIO
import System.IO (stderr)
import qualified System.IO (hPutStrLn)
getArgs :: MonadIO m => m [String]
getArgs = liftIO (XIO.getArgs)
exitWith :: MonadIO m => ExitCode -> m a
exitWith a = liftIO (XIO.exitWith a)
exitFailure :: MonadIO m => m a
exitFailure = liftIO XIO.exitFailure
exitSuccess :: MonadIO m => m a
exitSuccess = liftIO XIO.exitSuccess
die :: MonadIO m => String -> m ()
die err = liftIO (System.IO.hPutStrLn stderr err) >> exitFailure