Find definition :find <name>
The :find <name> command starts up the editor at the definition
of a type constructor or function, specified by the argument <name>,
in one of the files currently loaded into Hugs. Note that Hugs must be
configured with an appropriate editor for
this to work properly.
There are four possibilities:
- If there is a type constructor with the specified name, then
the cursor will be positioned at the first line in the definition of
that type constructor.
- If the name is defined by a function or variable binding, then
the cursor will be positioned at the first line in the definition of
the function or variable (ignoring any type declaration, if present).
- If the name is a constructor function or a selector function
associated with a particular datatype, then the cursor will be
positioned at the first line in the definition of the
corresponding datatype definition.
- If the name represents an internal Hugs function, then the
cursor will be positioned at the beginning of the standard
prelude file.
Note that names of infix operators should be given without any
enclosing them in parentheses. Thus :f !! starts an editor on the
standard prelude at the first line in the definition of (!!).
If a given name could be interpreted both as a type constructor and as
a value constructor, then the former is assumed.