CmdLineParser

Synopsis

• processArgs :: Monad m => [Flag m] -> [Located String] -> FlagSafety -> Bool -> m ([Located String], [Located String], [Located String])
• data OptKind m
  • = NoArg (EwM m ())
  • | HasArg (String -> EwM m ())
  • | SepArg (String -> EwM m ())
  • | Prefix (String -> EwM m ())
  • | OptPrefix (String -> EwM m ())
  • | OptIntSuffix (Maybe Int -> EwM m ())
  • | IntSuffix (Int -> EwM m ())
  • | PassFlag (String -> EwM m ())
  • | AnySuffix (String -> EwM m ())
  • | PrefixPred (String -> Bool) (String -> EwM m ())
  • | AnySuffixPred (String -> Bool) (String -> EwM m ())
• newtype CmdLineP s a = CmdLineP {
  • runCmdLine :: s -> (a, s)
  }
• getCmdLineState :: CmdLineP s s
• putCmdLineState :: s -> CmdLineP s ()
• data Flag m = Flag {
  • flagName :: String
  • flagSafety :: FlagSafety
  • flagOptKind :: OptKind m
  }
• data FlagSafety
  • = EnablesSafe
  • | AlwaysAllowed
  • | RestrictedFunction
  • | CmdLineOnly
  • | NeverAllowed
• flagA, flagN, flagC, flagR :: String -> OptKind m -> Flag m
• errorsToGhcException :: [Located String] -> GhcException
• determineSafeLevel :: Bool -> FlagSafety
• data EwM m a
• addErr :: Monad m => String -> EwM m ()
• addWarn :: Monad m => String -> EwM m ()
• getArg :: Monad m => EwM m String
• liftEwM :: Monad m => m a -> EwM m a
• deprecate :: Monad m => String -> EwM m ()

Documentation