Safe Haskell	None

Idris.Help

Synopsis

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

Instances

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

extraHelp :: [([String], CmdArg, String)]Source

Use these for completion, but don't show them in :help