typalyze ~~~~~~~~ Analyzes a Haskell source file and collects useful information about it, which is then output to stdout in a (hopefully) easy-to-parse format. The current incarnation just obtains information about types over source-spans. The output describes spans of text in files which GHC considers to have the given type. For example: src/Main.hs:55:49-54 forall a. a -> IO a means that on line 55 of Main.hs, from column 49-54, whatever is in that region is considered to have type "forall a. a -> IO a". typalyze tries to be smart about packages and modules, and automatically attempts to identify the GHC options which will allow the file to be parsed and typechecked successfully. However, if this fails, you can supply some options to the program to help it along. See the output of --help.