Copyright | License : BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | None |
Language | Haskell98 |
Documentation
runArgParser :: IO [Opt] Source #
pureArgParser :: [String] -> [Opt] Source #
parseFlags :: Parser [Opt] Source #
parseVersion :: Parser (a -> a) Source #
parseCodegen :: String -> Codegen Source #
parseConsoleWidth :: Monad m => String -> m ConsoleWidth Source #
integerReader :: ReadP Int Source #