Moduleghc-10.0.0.20260917GHC2024

GHC.Driver.CmdLine

Command-line parser

This is an abstract command-line parser used by DynFlags.

valueprocessArgs

valueparseResponseFile :: MonadIO m => FilePath -> EwM m [Located String]

Parse a response file into arguments.

datadata OptKind (m :: Type -> Type)

datadata GhcFlagMode

GHC flag modes describing when a flag has an effect.

datadata Flag (m :: Type -> Type)

valuedefFlag :: String -> OptKind m -> Flag m

valuedefGhcFlag :: String -> OptKind m -> Flag m

valuedefGhciFlag :: String -> OptKind m -> Flag m

valuedefHiddenFlag :: String -> OptKind m -> Flag m

valuehoistFlag :: (forall a. m a -> n a) -> Flag m -> Flag n

valueerrorsToGhcException :: [(String, String)] -> GhcException

newtypenewtype Err

A command-line error message

typetype Warn = Located DriverMessage

A command-line warning message and the reason it arose

This used to be own type, but now it's just MsgEnvelope DriverMessage.

valuewarnsToMessages :: DiagOpts -> [Warn] -> Messages DriverMessage

newtypenewtype EwM (m :: Type -> Type) a

Instances4Monad, Functor, Applicative, MonadIO

Monad m => Monad (EwM m)Defined in ghc-10.0.0.20260917 · GHC.Driver.CmdLine
Functor m => Functor (EwM m)Defined in ghc-10.0.0.20260917 · GHC.Driver.CmdLine
Monad m => Applicative (EwM m)Defined in ghc-10.0.0.20260917 · GHC.Driver.CmdLine
MonadIO m => MonadIO (EwM m)Defined in ghc-10.0.0.20260917 · GHC.Driver.CmdLine

valuerunEwM :: EwM m a -> m (Errs, Warns, a)

valueaddErr :: Monad m => String -> EwM m ()

valueaddWarn :: Monad m => String -> EwM m ()

valueaddFlagWarn :: Monad m => DriverMessage -> EwM m ()

valuegetArg :: Monad m => EwM m String

valuegetCurLoc :: Monad m => EwM m SrcSpan

valueliftEwM :: Monad m => m a -> EwM m a