Idris.REPL.Parser
Description
parseCmd :: IState -> String -> String -> Either ParseError (Either String Command) #
help :: [([String], CmdArg, String)] #
allHelp :: [([String], CmdArg, String)] #
setOptions :: [(String, Opt)] #