idris-0.9.11.1: Functional Programming Language with Dependent Types

Safe HaskellNone

Idris.Help

Synopsis

Documentation

data CmdArg Source

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

ConsoleWidthArg

The width of the console

Instances

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

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