| License | BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Idris.Help
Description
Documentation
Constructors
| ExprArg | The command takes an expression |
| NameArg | The command takes a name |
| FileArg | The command takes a file |
| ShellCommandArg | The command takes a shell command name |
| ModuleArg | The command takes a module name |
| PkgArgs | The command takes a list of package names |
| NumberArg | The command takes a number |
| NamespaceArg | The command takes a namespace name |
| OptionArg | The command takes an option |
| MetaVarArg | The command takes a metavariable |
| ColourArg | The command is the colour-setting command |
| NoArg | No completion (yet!?) |
| SpecialHeaderArg | do not use |
| ConsoleWidthArg | The width of the console |
| DeclArg | An Idris declaration, as might be contained in a file |
| ManyArgs CmdArg | Zero or more of one kind of argument |
| OptionalArg CmdArg | Zero or one of one kind of argument |
| SeqArgs CmdArg CmdArg | One kind of argument followed by another |