Hackage :: [Package]

typalyze: Analyzes Haskell source files and dumps info in parsable format

[ bsd3, development, program ] [ Propose Tags ] [ Report a vulnerability ]

A tool to assist developers of IDEs and other code analyzing programs. Processes Haskell source files and outputs information about types in an efficient machine-readable format.

[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.0.1, 0.0.2, 0.0.3, 0.1.1
Dependencies base, filepath, ghc, process [details]
License BSD-3-Clause
Author Matthew Danish <mrd@debian.org>
Maintainer mrd@debian.org
Uploaded by MatthewDanish at 2008-03-08T18:50:11Z
Category Development
Home page http://www.decidable.org/haskell/typalyze
Reverse Dependencies 1 direct, 0 indirect [details]
Executables typalyze
Downloads 3187 total (16 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2017-01-03 [all 7 reports]

Readme for typalyze-0.0.2

[back to package description] 
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.

typalyze.el
~~~~~~~~~~~

Interacts with the typalyze program, which aides Haskell development.

C-c C-a C-c   Analyze current buffer.
C-c C-a C-t   Show type of thing at point.

Also, typalyzes buffer whenever it is saved.