idris-0.9.15.1: Functional Programming Language with Dependent Types

Safe HaskellNone

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 -> CodegenSource