idris-0.9.20.2: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.CmdOptions

Documentation

runArgParser :: IO [Opt] Source

pureArgParser :: [String] -> [Opt] Source

parser :: Parser [Opt] Source

parseFlags :: Parser [Opt] Source

parseVersion :: Parser (a -> a) Source

preProcOpts :: [Opt] -> [Opt] -> [Opt] Source

parseCodegen :: String -> Codegen Source

parseConsoleWidth :: Monad m => String -> m ConsoleWidth Source

integerReader :: ReadP Int Source