idris-1.3.4: Functional Programming Language with Dependent Types

License | BSD3
Maintainer | The Idris Community.
Safe Haskell | None
Language | Haskell2010

Idris.REPL.Parser

Description

# Documentation

parseCmd :: IState -> String -> String -> Either ParseError (Either String Command) #

help :: [([String], CmdArg, String)] #

allHelp :: [([String], CmdArg, String)] #

setOptions :: [(String, Opt)] #