How can I view the definition of a function in Haskell/GHCi?

Solution 1:

Not currently.

The closest command to what you want is :info

:info name ...

Displays information about the given name(s). For example, if name is a class, then the class methods and their types will be printed; if name is a type constructor, then its definition will be printed; if name is a function, then its type will be printed. If name has been loaded from a source file, then GHCi will also display the location of its definition in the source.

For types and classes, GHCi also summarises instances that mention them. To avoid showing irrelevant information, an instance is shown only if (a) its head mentions name, and (b) all the other things mentioned in the instance are in scope (either qualified or otherwise) as a result of a :load or :module commands.

like so:

Prelude> :info ($)
($) :: (a -> b) -> a -> b   -- Defined in GHC.Base
infixr 0 $

You can though, see the source for identifiers generated by the haddock tool, on Hackage.

1. Look up the module on Hackage
2. Click on the source link

Note that "?src" is a valid command in lambdabot, on the #haskell IRC channel, and does what you'd expect.

> ?src ($)
> f $ x = f x

Solution 2:

Nope, can't do that. Some fun things you, the Haskell beginner, can do:

• On the HTML haddock documents, click on "source"... study the source.
• :browse to find all of the definitions exported by a module
• Use :help for the obvious result
• use the web interface of hoogle to search for functions, or install hoogle locally!
• ?
• Profit!

Solution 3:

I don't think so. You can use :i for a little bit more information (more useful for infix operators and data constructions, etc.), but not the definition:

ghci> :i repeat
repeat :: a -> [a]       -- Defined in GHC.List

You can use hoogle to quickly find the documentation for a standard library function, which on the right has a link to go to the source. It's still a few clicks away though.