| Safe Haskell | None |
|---|
Idris.Help
Documentation
Constructors
| ExprArg | The command takes an expression |
| NameArg | The command takes a name |
| FileArg | The command takes a file |
| ModuleArg | The command takes a module 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 |