Idris.Help

Description

Synopsis

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

Instances

Show CmdArg Source #
Methods showsPrec :: Int -> CmdArg -> ShowS # show :: CmdArg -> String # showList :: [CmdArg] -> ShowS #

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